Finite abstractions for hybrid systems with stable continuous dynamics
From MaRDI portal
Publication:434462
DOI10.1007/s10626-011-0119-6zbMath1242.93013OpenAlexW2052858718MaRDI QIDQ434462
Jorge L. Piovesan, Chetan Rawal, Chaouki T. Abdallah, Herbert G. Tanner, Jie Fu
Publication date: 10 July 2012
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10626-011-0119-6
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Hierarchical control system design using approximate simulation
- Computing differential invariants of hybrid systems as fixed points
- Deterministic discrete-event representations of linear continuous-variable systems
- Verification of logic controllers for continuous plants using timed condition/event-system models
- Ellipsoidal techniques for reachability analysis: Internal approximation
- Explosions near isolated unstable attractors.
- Abstractions for hybrid systems
- Constraint-Based Approach for Analysis of Hybrid Systems
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
- Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis
- Verification of Supervisory Control Software Using State Proximity and Merging
- Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems
- Discrete approximation and supervisory control of continuous systems
- Dynamical properties of hybrid automata
- Approximation Metrics for Discrete and Continuous Systems
This page was built for publication: Finite abstractions for hybrid systems with stable continuous dynamics
