Modular Verification of Interconnected Families of Uniform Linear Hybrid Automata
Authors: Matthias Horbach and Viorica Sofronie-Stokkermans
Paper Information
| Title: | Modular Verification of Interconnected Families of Uniform Linear Hybrid Automata |
| Authors: | Matthias Horbach and Viorica Sofronie-Stokkermans |
| Proceedings: | ARW-DT 2014 - Automated Reasoning Workshop/Deduktionstreffen Proceedings |
| Editor: | Manfred Kerber |
| Keywords: | hybrid automata, modular verification, parameter synthesis |
| Abstract: | ABSTRACT. We provide a mathematical model for unbounded parallel compositions of structurally similar linear hybrid automata, whose topology and flows are described using parametrized formulas. We study how the analysis of safety properties for the overall system can be performed hierarchically, using quantifier elimination to derive conditions on the parameters of individual components. |
| Pages: | 0 |
| Talk: | Jul 24 17:30 |
| Paper: |  |