Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems

DOI10.1007/978-3-642-35873-9_6zbMath1426.68175OpenAlexW1610219453MaRDI QIDQ2926638

Sayan Mitra, Parasara Sridhar Duggirala, Pavithra Prabhakar, Mahesh Viswanathan

Publication date: 3 November 2014

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-35873-9_6

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (4)

Abstraction based verification of stability of polyhedral switched systems ⋮ Extracting counterexamples induced by safety violation in linear hybrid systems ⋮ Hybrid automata-based CEGAR for rectangular hybrid systems ⋮ Stability analysis of planar probabilistic piecewise constant derivative systems

Uses Software

• PHAVer
• HyTech
• Bebop
• d/dt
• HARE
• SpaceEx

This page was built for publication: Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems