Hybrid Systems: Computation and Control

DOI10.1007/11730637zbMath1178.93025OpenAlexW2478741156MaRDI QIDQ5898985

Zhi Han, Bruce H. Krogh

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

Mathematics Subject Classification ID

Attainable sets, reachability (93B03) Large-scale systems (93A15)

Related Items

Reachability analysis of linear systems with stepwise constant inputs, Conservative time discretization: a comparative study, Computational techniques for reachability analysis of Max-Plus-Linear systems, Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis, Reachability of weakly nonlinear systems using Carleman linearization, Understanding deadlock and livelock behaviors in hybrid control systems, Approximate bisimulation relations for constrained linear systems, Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version)