Your search returned 3 results.

Results
	1.	Formal verification of control system software/ Pierre-Loïic Garoche. by Garoche, Pierre-Loïc, 1982 Series: Princeton series in applied mathematics Publisher: Princeton, New Jersey: Princeton University Press, [2019] Availability: Items available for loan: Castorina (1)Call number: 005.12 G237f 2019 IMPA. Lists: Títulos novos. Found in Open Library: Place hold Add to cart (remove)
	2.	Impulsive and hybrid dynamical systems: stability, dissipativity, and control/ Wassim M. Haddad, VijaySekhar Chellaboina, Sergey G. Nersesov. by Haddad, Wassim M, 1961- Chellaboina, VijaySekhar, 1970- Nersesov, Sergey G, 1976- Series: Princeton series in applied mathematics Publication details: Princeton, NJ: Princeton University Press, Online access: Table of contents Publisher description Availability: Items available for loan: Castorina (1)Call number: 515.39 H126i 2006 IMPA. Found in Open Library: Place hold Add to cart (remove)
	3.	Modern anti-windup synthesis: Control augmentation for actuator saturation/ Luca Zaccarian, Andrew R. Teel by Zaccarian, Luca Teel, Andrew R, 1965 Series: Princeton series in applied mathematics Publication details: Princeton, NJ: Princeton University Press, 2011 Availability: Items available for loan: Castorina (1)Call number: 629.83 Z13m 2011 IMPA. Found in Open Library: Place hold Add to cart (remove)

Refine your search