TY  - BOOK
AU  - Li, Yinan
TI  - Formal methods for control of nonlinear systems
SN  - 9780367219994
AV  -  QA 402.35 .L526 2023 
PY  - 2023///
CY  - Boca Raton
PB  - C&H/CRC Press
KW  - Engineering mathematics
KW  - Nonlinear control theory
KW  - Nonlinear systems
N1  - 

    Includes bibliographical references and index

ER  -