Li, Yinan <br/><br/>
Formal methods for control of nonlinear systems 
Li, Yinan; Liu, Jun 
 - Boca raton   CRC Press/T&F New york  2023 
 - xviii,253p. ill. 
<br/><br/><label>ISBN: </label>9780367219994 
<br/><br/><label>Source: </label>Textual 
<br/><br/><label>Subjects--Topical Terms: </label><br/> Basic set theory<br/> Continuous time dynamical systems<br/> Formal specification and discrete synthesis<br/> Interval computation<br/>Mathematics