We propose a new approximation technique for Hybrid Automata. Given any Hybrid Automaton H, we call Approx(H, k) the Polynomial Hybrid Automaton obtained by approximating each formula φ in H with the formulae φ k obtained by replacing the functions in φ with their Taylor polynomial of degree k. We prove that Approx(H, k) is an over-approximation of H. We study the conditions ensuring that, given any ∈ > 0, some k 0 exists such that, for all k > k0, the "distance" between any vector satisfying φk and at least one vector satisfying φ is less than e. We study also conditions ensuring that, given any ∈ > 0, some k0 exists such that, for all k > k0, the "distance" between any configuration reached by Approx(H, k) in n steps and at least one configuration reached by H in n steps is less than ∈. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Lanotte, R., & Tini, S. (2005). Taylor approximation for hybrid systems. In Lecture Notes in Computer Science (Vol. 3414, pp. 402–416). Springer Verlag. https://doi.org/10.1007/978-3-540-31954-2_26
Mendeley helps you to discover research relevant for your work.