Hybrid Systems: Computation and Control
From MaRDI portal
Publication:5898985
DOI10.1007/11730637zbMath1178.93025MaRDI QIDQ5898985
Publication date: 2 May 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11730637
Related Items
Reachability analysis of linear systems with stepwise constant inputs, Understanding deadlock and livelock behaviors in hybrid control systems, Approximate bisimulation relations for constrained linear systems