Abstract | ||
---|---|---|
The concept of hybrid automata provides a powerful framework to model and analyze real-world systems. Due to the structural complexity of hybrid systems it is important to ensure the scalability of analysis algorithms. We approach this problem by providing an effective generalisation of the recently introduced notion of quasi-equal clocks to hybrid systems. For this purpose, we introduce the concept of quasi-dependent variables. Our contribution is two-fold: we demonstrate how such variables can be automatically detected, and we present a transformation leading to an abstraction with a smaller state space which, however, still retains the same properties as the original system. We demonstrate the practical applicability of our methods on a range of industrial benchmarks. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1145/2562059.2562142 | HSCC |
Keywords | Field | DocType |
quasi-equal clock,original system,hybrid system,quasi-dependent variable,analysis algorithm,effective generalisation,powerful framework,practical applicability,industrial benchmarks,hybrid automaton,abstraction,hybrid systems | Model transformation,Abstraction,Generalization,Automaton,Algorithm,Theoretical computer science,Variables,Hybrid system,State space,Mathematics,Scalability | Conference |
Citations | PageRank | References |
5 | 0.43 | 18 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Sergiy Bogomolov | 1 | 115 | 13.97 |
Christian Herrera | 2 | 18 | 2.42 |
Marco Muñiz | 3 | 54 | 5.68 |
Bernd Westphal | 4 | 43 | 8.45 |
Andreas Podelski | 5 | 2760 | 197.87 |