Decision algorithm for the stability of planar switching linear systems (2008)
Daws, C.F., Langerak, R., Polderman, J.W.
This paper presents a decision algorithm for the analysis of the stability of a class of planar switched linear systems, modeled by hybrid automata. The dynamics in each location of the hybrid...
Symbolic Robustness Analysis of Timed Automata (2006)
We propose a symbolic algorithm for the analysis of the robustness of timed automata, that is the correctness of the model in presence of small drifts on the clocks or imprecision in testing guards....