Falsification of combined invariance and reachability specifications in hybrid control systems

DOI10.1007/s10626-017-0241-1zbMath1379.93003OpenAlexW2604553089MaRDI QIDQ1693831

Blake C. Rawlings, B. Erik Ydstie

Publication date: 31 January 2018

Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10626-017-0241-1

zbMATH Keywords

invariancesupervisory controlhybrid systemsreachabilityfalsification

Mathematics Subject Classification ID

Hierarchical systems (93A13) Attainable sets, reachability (93B03) Temporal logic (03B44) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Uses Software

• NuSMV

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Controller synthesis for safety and reachability via approximate bisimulation
• Supervisory control and reactive synthesis: a comparative introduction
• Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems
• Falsification of temporal properties of hybrid systems using the cross-entropy method
• Falsification of LTL Safety Properties in Hybrid Systems

This page was built for publication: Falsification of combined invariance and reachability specifications in hybrid control systems