Abstract: Hybrid systems are dynamical systems consisting of interacting discrete event and continuous state subsystems. A controlled hybrid automaton is a hybrid automaton whose continuous-state dynamics are described by inhomogeneous differential equations. This paper presents a sufficient condition for the existence of global non-terminating solutions in controlled hybrid automata. The condition is based on a recursive algorithm that can always terminate after a finite number of iterations to a limit set of states, i.e. the fixed point of the recursion. If the fixed point is non-empty, then there exists a measurable control under which the hybrid automaton generates a global non-terminating solution. The more important is that this result can also be used to infer the existence of global solutions to compositions of controlled hybrid automata, thereby providing a foundation for the analysis of large scale hybrid systems. The controlled hybrid automata model can be used for robotics system modeling and control. By solving the global non-terminating solution to controlled hybrid automata, the biped robots can be guaranteed to keep the walking gait without falling down.Abstract: Hybrid systems are dynamical systems consisting of interacting discrete event and continuous state subsystems. A controlled hybrid automaton is a hybrid automaton whose continuous-state dynamics are described by inhomogeneous differential equations. This paper presents a sufficient condition for the existence of global non-terminating solutions in ...Show More
