Straightening out rectangular differential inclusions
From MaRDI portal
Publication:1274877
DOI10.1016/S0167-6911(98)00037-1zbMath0909.93036MaRDI QIDQ1274877
George J. Pappas, Shankar S. Sastry
Publication date: 12 January 1999
Published in: Systems \& Control Letters (Search for Journal in Brave)
differential inclusions; hybrid systems; formal verification; coordinate transformation; infinite state systems; decidable models; straightening out theorem
34A60: Ordinary differential inclusions
93C30: Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)
Cites Work