Suspension Automata: A Decidable Class of Hybrid Automata
No abstract available.
Related papers
- Uniformity for the Decidability of Hybrid Automata SAS 1996
- Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming VMCAI 2010
- Hybridization Based CEGAR for Hybrid Automata with Affine Dynamics TACAS 2016
- Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems VMCAI 2013
- HARE: A Hybrid Abstraction Refinement Engine for Verifying Non-linear Hybrid Automata TACAS 2017
- Efficient Scenario Verification for Hybrid Automata CAV 2011
- From Duration Calculus To Linear Hybrid Automata CAV 1995
- Template-Based Unbounded Time Verification of Affine Hybrid Automata APLAS 2011