scientific article; zbMATH DE number 1956581
From MaRDI portal
Publication:4417923
zbMATH Open1031.68078MaRDI QIDQ4417923FDOQ4417923
Authors: Ansgar Fehnker, Zhi Han, Olaf Stursberg, Michael Theobald, Edmund Clarke, Bruce H. Krogh 
Publication date: 30 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2619/26190192.htm
Title of this publication is not available (Why is that?)
Recommendations
- Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
- Counterexample-guided predicate abstraction of hybrid systems
- Abstractions of hybrid systems for verification
- Hybrid Systems: Computation and Control
- scientific article; zbMATH DE number 1956582
- Language-Based Abstraction Refinement for Hybrid System Verification
- Hybrid Systems: Computation and Control
- A compositional approach to the verification of hybrid systems
- scientific article; zbMATH DE number 2086997
Cited In (27)
- Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
- Efficient dynamic error reduction for hybrid systems reachability analysis
- Abstractions Refinement for Hybrid Systems Diagnosability Analysis
- Formal Methods in Computer-Aided Design
- Formal modelling, analysis and verification of hybrid systems
- Constraints for Continuous Reachability in the Verification of Hybrid Systems
- Language-Based Abstraction Refinement for Hybrid System Verification
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Abstract interpretation with infinitesimals. Towards scalability in nonstandard static analysis
- Abstraction and Counterexample-Guided Construction of ω-Automata for Model Checking of Step-Discrete Linear Hybrid Models
- Title not available (Why is that?)
- A compositional modelling and analysis framework for stochastic hybrid systems
- Machine learning and logic: a new frontier in artificial intelligence
- Counterexample-guided predicate abstraction of hybrid systems
- Hybrid automata-based CEGAR for rectangular hybrid systems
- Supervisory control of hybrid systems based on model abstraction and guided search
- Syntax and consistent equation semantics of hybrid Chi
- Hybridization based CEGAR for hybrid automata with affine dynamics
- Extracting counterexamples induced by safety violation in linear hybrid systems
- Abstractions of hybrid systems for verification
- Safe \& robust reachability analysis of hybrid systems
- Abstractions for hybrid systems
- Formal controller synthesis for Markov jump linear systems with uncertain dynamics
- Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking
- Automatic Verification of Hybrid Systems with Large Discrete State Space
- Safety verification for probabilistic hybrid systems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4417923)
