Finite abstractions for hybrid systems with stable continuous dynamics

DOI10.1007/S10626-011-0119-6MaRDI QIDQ434462zbMATH OpenOpenAlexFDO

Authors Herbert G. Tanner, Jie Fu, Chetan Rawal, Jorge L. Piovesan, Chaouki Abdallah

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

zbMATH Keywords

abstractionhybrid systemssymbolic control

Mathematics Subject Classification ID

Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Recommendations

• Abstractions for hybrid systems
• Approximately Bisimilar Finite Abstractions of Stable Linear Systems
• Hybrid automata with finite bisimulations
• Compositional abstractions of hybrid control systems
• Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems

Cites work

• Abstractions for hybrid systems
• Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems
• Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
• Approximation Metrics for Discrete and Continuous Systems
• Computing differential invariants of hybrid systems as fixed points
• Constraint-Based Approach for Analysis of Hybrid Systems
• Deterministic discrete-event representations of linear continuous-variable systems
• Discrete approximation and supervisory control of continuous systems
• Dynamical properties of hybrid automata
• Ellipsoidal techniques for reachability analysis: Internal approximation
• Explosions near isolated unstable attractors.
• Hierarchical control system design using approximate simulation
• scientific article; zbMATH DE number 2129143 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 1303062 (Why is no real title available?)
• scientific article; zbMATH DE number 1176642 (Why is no real title available?)
• scientific article; zbMATH DE number 1956649 (Why is no real title available?)
• Verification of logic controllers for continuous plants using timed condition/event-system models
• Verification of Supervisory Control Software Using State Proximity and Merging
• Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis

Cited in

(5)

• Conic abstractions for hybrid systems
• Abstractions for hybrid systems
• Approximately Bisimilar Finite Abstractions of Stable Linear Systems
• Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems
• Compositional abstractions of hybrid control systems

Describes a project that uses

Uses Software

• SMV
• MATISSE

This page was built for publication: Finite abstractions for hybrid systems with stable continuous dynamics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q434462)