A computable and compositional semantics for hybrid automata
Davide Bresolin, Pieter J. Collins, Luca Geretti, Roberto Segala, Tiziano Villa, Sanja Živanović Gonzalez · 2020
Hybrid Systems are systems having a mixed discrete and continuous behaviour that cannot be characterized faithfully using either only discrete or only continuous models. A good framework for hybrid systems should support their compositional description and analysis, since commonly systems are specified by a composition of smaller subsystems, to cope with the complexity of their monolithic representation. Moreover, since the reachability problem for hybrid systems is undecidable, one should investigate the conditions that guarantee approximate computability of composition, when only approximations to the exact problem data are available.