Hybrid Systems: Computation and Control

DOI10.1007/b106766zbMath1078.93044MaRDI QIDQ5703940

Ruggero Lanotte, Simone Tini

Publication date: 11 November 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b106766

Mathematics Subject Classification ID

68Q45: Formal languages and automata

41A10: Approximation by polynomials

93C30: Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)

Related Items

Symbolic Model Checking of Hybrid Systems Using Template Polyhedra, Computing differential invariants of hybrid systems as fixed points, Taylor approximation for hybrid systems