The Discrete Time Behaviour of Restricted Linear Hybrid Automata
From MaRDI portal
Recommendations
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- scientific article; zbMATH DE number 2085340
- scientific article; zbMATH DE number 1444359
- On reachability for hybrid automata over bounded time
- Hybrid automata: an insight into the discrete abstraction of discontinuous systems
- scientific article; zbMATH DE number 1301612
- Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction
- Time-Bounded Reachability for Initialized Hybrid Automata with Linear Differential Inclusions and Rectangular Constraints
- Verification of Bounded Discrete Horizon Hybrid Automata
Cited in
(10)- Discrete-time control for rectangular hybrid automata
- Succinct discrete time approximations of distributed hybrid automata
- Modular discrete time approximations of distributed hybrid automata
- scientific article; zbMATH DE number 1301623 (Why is no real title available?)
- Discrete-time control for rectangular hybrid automata
- scientific article; zbMATH DE number 2085321 (Why is no real title available?)
- scientific article; zbMATH DE number 2085340 (Why is no real title available?)
- Time-Bounded Reachability for Initialized Hybrid Automata with Linear Differential Inclusions and Rectangular Constraints
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
This page was built for publication: The Discrete Time Behaviour of Restricted Linear Hybrid Automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4907866)
