Formal methods for control of nonlinear systems - Li, Yinan; Liu, Jun (Boca raton CRC Press/T&F New york, 2023)
Keywords: Basic set theory; Continuous time dynamical systems; Formal specification and discrete synthesis; Interval computation; Mathematics