Compositional safety rules for inter-triggering hybrid automata

DOI10.1145/3447928.3456659OpenAlexW3138917074MaRDI QIDQ6201581FDOQ6201581

Authors Glen Chou, Necmiye Ozay

Publication date 21 February 2024

Published in Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/3447928.3456659

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Cites work

• scientific article; zbMATH DE number 1532313 (Why is no real title available?)
• scientific article; zbMATH DE number 6936882 (Why is no real title available?)
• Automated Technology for Verification and Analysis
• Compositional synthesis via a convex parameterization of assume-guarantee contracts
• Contract-Based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems
• Hybrid I/O automata.
• Inter-triggering hybrid automata
• Set invariance in control

This page was built for publication: Compositional safety rules for inter-triggering hybrid automata

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