Incremental computation of succinct abstractions for hybrid systems

DOI10.1007/978-3-642-24310-3_19MaRDI QIDQ3172856zbMATH OpenOpenAlexFDO

Authors Tomáš Dzetkulič, Stefan Ratschan

Publication date 7 October 2011

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-24310-3_19

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Attainable sets, reachability (93B03)

Recommendations

• Hybrid abstractions of affine systems
• Abstractions of hybrid systems for verification
• Abstractions for hybrid systems
• Compositional abstractions of hybrid control systems
• Hybrid Systems: Computation and Control

Cites work

• scientific article; zbMATH DE number 5506101 (Why is no real title available?)
• scientific article; zbMATH DE number 1324833 (Why is no real title available?)
• Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
• Efficient solving of quantified inequality constraints over the real numbers
• Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate
• GUARANTEED TERMINATION IN THE VERIFICATION OF LTL PROPERTIES OF NON-LINEAR ROBUST DISCRETE TIME HYBRID SYSTEMS
• Logical Interpretation: Static Program Analysis Using Theorem Proving
• Safety verification of non-linear hybrid systems is quasi-semidecidable
• Sometime = always + recursion always. On the equivalence of the intermittent and invariant assertions methods for proving inevitability properties of programs
• The essence of constraint propagation

Cited in

(4)

• Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems
• Hybrid abstractions of affine systems
• Boosting Lazy Abstraction for SystemC with Partial Order Reduction
• Programming with Infinitesimals: A While-Language for Hybrid System Modeling

Describes a project that uses

Uses Software

• HSolver
• RSOLVER

This page was built for publication: Incremental computation of succinct abstractions for hybrid systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3172856)