TY  - BOOK
AU  - Li, Yinan
AU  -  Liu, Jun
TI  - Formal methods for control of nonlinear systems
SN  - 9780367219994
PY  - 2023///
CY  - Boca raton 
PB  - CRC Press/T&F New york
KW  -  Basic set theory
KW  -  Continuous time dynamical systems
KW  -  Formal specification and discrete synthesis
KW  -  Interval computation
KW  - Mathematics
ER  -