Central Library

Your search returned 2 results. Subscribe to this search

Unhighlight Highlight
|
Impulsive and hybrid dynamical systems : stability, dissipativity, and control / Wassim M. Haddad, VijaySekhar Chellaboina, Sergey G. Nersesov.

by Haddad, Wassim M, 1961- [author.] | Chellaboina, VijaySekhar, 1970- [author.] | Nersesov, Sergey G, 1976- [author.].

Material type: book Book; Format: available online remote; Literary form: Not fiction Publisher: Princeton, New Jersey ; Oxfordshire, England : Princeton University Press, 2006Copyright date: �2006Online access: Click here to access online Availability: No items available

Formal verification of control system software / Pierre-Lo�ic Garoche.

by Garoche, Pierre-Lo�ic, 1982- [author.].

Material type: book Book; Format: available online remote; Literary form: Not fiction Publisher: Princeton, New Jersey : Princeton University Press, [2019]Online access: Click here to access online Availability: No items available