Hybrid automata-based CEGAR for rectangular hybrid systems
type: Item
instance of: scholarly article
title: Hybrid automata-based CEGAR for rectangular hybrid systems
zbMATH Open document ID: 1341.68109
author: Pavithra Prabhakar
author: Parasara Sridhar Duggirala
author: Sayan Mitra
author: Mahesh Viswanathan
published in: Formal Methods in System Design
publication date: 2015-10-30T00:00:00Z
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 6502609
zbMATH Keywords: hybrid system
zbMATH Keywords: safety verification
zbMATH Keywords: abstraction refinement
zbMATH Keywords: counter-example guided abstraction refinement
zbMATH Keywords: rectangular hybrid automata
describes a project that uses: HyTech
describes a project that uses: HSolver
describes a project that uses: PHAVer
describes a project that uses: RSOLVER
describes a project that uses: d/dt
describes a project that uses: SPIN
describes a project that uses: Bandera
describes a project that uses: Bebop
describes a project that uses: HARE
describes a project that uses: SpaceEx
MaRDI profile type: Publication
full work available at URL: s10703-015-0225-4
OpenAlex ID: W1967100715
cites work: Q2754081
cites work: Q2753756
cites work: Lazy abstraction
cites work: Q4417924
cites work: Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
cites work: Q4417923
cites work: Automatic Abstraction Refinement for Timed Automata
cites work: Hybrid Systems: Computation and Control
cites work: Abstraction and Counterexample-Guided Construction of ω-Automata for Model Checking of Step-Discrete Linear Hybrid Models
cites work: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
cites work: Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction
cites work: Q4503930
cites work: HyTech: A model checker for hybrid systems
cites work: Q4806208
cites work: Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems
cites work: Formal Modeling and Analysis of Timed Systems
cites work: Q4234084
cites work: The algorithmic analysis of hybrid systems
DOI: 10.1007/S10703-015-0225-4
description: scientific article; zbMATH DE number 6502609