Divide and conquer: variable set separation in hybrid systems reachability analysis

DOI10.4204/EPTCS.250.1MaRDI QIDQ7021651zbMATH OpenFDO

Authors Stefan Schupp, Johanna Nellen, Erika Ábrahám

Publication date 26 February 2025

Copyright license Creative Commons Attribution 3.0 Unported

Full work available at URL https://doi.org/10.4204/EPTCS.250.1

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Attainable sets, reachability (93B03) Discrete event control/observation systems (93C65)

Cites work

• \texttt{SMT-RAT}: an open source \texttt{C++} toolbox for strategic and parallel SMT solving
• scientific article; zbMATH DE number 1303061 (Why is no real title available?)
• scientific article; zbMATH DE number 1041084 (Why is no real title available?)
• Hybrid Systems: Computation and Control
• Introduction to Interval Analysis
• Lectures on Polytopes
• Reachability analysis of linear systems using support functions

Cited in

(1)

• Quantitative aspects of programming languages and systems over the past 2⁴ years and beyond

This page was built for publication: Divide and conquer: variable set separation in hybrid systems reachability analysis

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