Formal methods for control of nonlinear systems
Li, Yinan
Formal methods for control of nonlinear systems - Boca Raton : C&H/CRC Press, 2023. - xviii, 253p.
Includes bibliographical references and index.
9780367219994
Engineering mathematics.
Nonlinear control theory.
Nonlinear systems.
QA 402.35 .L526 2023
Formal methods for control of nonlinear systems - Boca Raton : C&H/CRC Press, 2023. - xviii, 253p.
Includes bibliographical references and index.
9780367219994
Engineering mathematics.
Nonlinear control theory.
Nonlinear systems.
QA 402.35 .L526 2023