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

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)

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)