Hybrid Systems: Computation and Control
From MaRDI portal
Publication:5898985
DOI10.1007/11730637zbMATH Open1178.93025OpenAlexW2478741156MaRDI QIDQ5898985FDOQ5898985
Authors: 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
Recommendations
Cited In (14)
- Reachability of Affine Systems on Polytopes
- Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version)
- Approximate bisimulation relations for constrained linear systems
- Conservative time discretization: a comparative study
- Reachability analysis of linear systems with stepwise constant inputs
- Complexity reduction through a Schur-based decomposition for reachability analysis of linear time-invariant systems
- Reachability analysis of continuous-time piecewise affine systems
- Computation of polytopic invariants for polynomial dynamical systems using linear programming
- Computational techniques for reachability analysis of Max-Plus-Linear systems
- Understanding deadlock and livelock behaviors in hybrid control systems
- Hybrid Systems: Computation and Control
- Reachability of weakly nonlinear systems using Carleman linearization
- On the complexity of bounded time and precision reachability for piecewise affine systems
- Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis
This page was built for publication: Hybrid Systems: Computation and Control
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5898985)