Hybrid Systems: Computation and Control
From MaRDI portal
Publication:5898985
Recommendations
Cited in
(15)- Computational techniques for reachability analysis of Max-Plus-Linear systems
- Reachability analysis of linear systems with stepwise constant inputs
- Hybrid Systems: Computation and Control
- Approximate bisimulation relations for constrained linear systems
- Understanding deadlock and livelock behaviors in hybrid control systems
- On the complexity of bounded time and precision reachability for piecewise affine systems
- Reach set approximation through decomposition with low-dimensional sets and high-dimensional matrices
- Conservative time discretization: a comparative study
- Complexity reduction through a Schur-based decomposition for reachability analysis of linear time-invariant systems
- Reachability of Affine Systems on Polytopes
- Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version)
- Reachability analysis of continuous-time piecewise affine systems
- Reachability of weakly nonlinear systems using Carleman linearization
- Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis
- Computation of polytopic invariants for polynomial dynamical systems using linear programming
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)