Reduction of Timed Hybrid Systems |
| |
Authors: | S. Di Gennaro C. Horn S. R. Kulkarni P. J. Ramadge |
| |
Affiliation: | (1) Dipartimento di Ingegneria Elettrica, Università di L'Aquila, 67040 Poggio di Roio, L'Aquila, Italy;(2) Department of Electrical Engineering, Princeton University, Princeton, N.J., 08544 |
| |
Abstract: | We consider a class of hybrid dynamical systems and obtain conditions under which the behavior of these systems can be reduced to a finite state automaton. Specifically, we consider timed automata with more general enabling regions coupling the continuous and discrete dynamics than those previously considered. We provide a necessary condition for the existence of a finite state reduction, together with examples showing that this condition is not sufficient. We then give two sufficient conditions that provide a large class of systems with general enabling regions which admit finite reductions. |
| |
Keywords: | hybrid systems timed automata reduction finite state automaton |
本文献已被 SpringerLink 等数据库收录! |
|