Hybrid automata-based CEGAR for rectangular hybrid systems
DOI10.1007/S10703-015-0225-4zbMATH Open1341.68109OpenAlexW1967100715MaRDI QIDQ888464FDOQ888464
Mahesh Viswanathan, Parasara Sridhar Duggirala, Pavithra Prabhakar, Sayan Mitra
Publication date: 30 October 2015
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10703-015-0225-4
hybrid systemabstraction refinementsafety verificationrectangular hybrid automatacounter-example guided abstraction refinement
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- HyTech: A model checker for hybrid systems
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- The algorithmic analysis of hybrid systems
- Lazy abstraction
- Automatic Abstraction Refinement for Timed Automata
- Abstraction and Counterexample-Guided Construction of ω-Automata for Model Checking of Step-Discrete Linear Hybrid Models
- Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction
- Hybrid Systems: Computation and Control
- Formal Modeling and Analysis of Timed Systems
- Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
- Hybrid Systems: Computation and Control
- Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Cited In (1)
Uses Software
This page was built for publication: Hybrid automata-based CEGAR for rectangular hybrid systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q888464)
