Straightening out rectangular differential inclusions

DOI10.1016/S0167-6911(98)00037-1zbMath0909.93036OpenAlexW2038907388MaRDI QIDQ1274877

George J. Pappas, Shankar S. Sastry

Publication date: 12 January 1999

Published in: Systems \& Control Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0167-6911(98)00037-1

zbMATH Keywords

differential inclusionshybrid systemsformal verificationcoordinate transformationinfinite state systemsdecidable modelsstraightening out theorem

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Hybrid systems
• Manifolds, tensor analysis, and applications.
• A theory of timed automata
• Hybrid systems II. 2nd workshop, Mathematical Sciences Institute (MSI), Cornell University, Ithaka, NY, USA, October 28--30, 1994. Proceedings.

This page was built for publication: Straightening out rectangular differential inclusions