An approach for the analysis and control of hybrid systems

This paper proposes an approach for the analysis and control of hybrid systems based on the hybrid automaton model. The problem that must be solved can be formulated as follows: given a hybrid automaton how can be restricted the regions associated with the controllable transition, in a systematic way, so that all the remaining behaviors satisfy certain properties. The hybrid nature of the manufacturing system is also investigated as a case study represented by a manufacturing cell. Throughout this paper the proposed methods are illustrated using an example taken from the manufacturing domain