We consider systems composed of an unbounded number of uniformly designed linear hybrid automata, whose dynamic behavior is determined by their relation to neighboring systems. We present a class of such systems and a class of safety properties whose verification can be reduced to the verification of (small) families of “neighboring” systems of bounded size, and identify situations in which such verification problems are decidable, resp. fixed parameter tractable. We illustrate the approach with an example from coordinated vehicle guidance.
CITATION STYLE
Damm, W., Horbach, M., & Sofronie-Stokkermans, V. (2015). Decidability of verification of safety properties of spatial families of linear hybrid automata. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9322, pp. 186–202). Springer Verlag. https://doi.org/10.1007/978-3-319-24246-0_12
Mendeley helps you to discover research relevant for your work.