A computable and compositional semantics for hybrid automata

DOI10.1145/3365365.3382202OpenAlexW3022218457MaRDI QIDQ5146382

Sanja Živanović Gonzalez, Tiziano Villa, Luca Geretti, Davide Bresolin, Roberto Segala, Peter J. Collins

Publication date: 25 January 2021

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

Full work available at URL: https://cris.maastrichtuniversity.nl/en/publications/3239d601-48a0-4117-b566-e988f22560dc

zbMATH Keywords

hybrid automatacompositioncomputability

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)

Related Items (3)

A higher order method for input-affine uncertain systems ⋮ Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems ⋮ CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems

This page was built for publication: A computable and compositional semantics for hybrid automata