E. Villani*, J.C. Pascal**, P.E. Miyagi*, R. Valette**
*Dep. Mecatrônica, EPUSP, São Paulo, Brasil
**LAAS-CNRS,
F-31077 Toulouse Cedex 4, France
Published in:
Control Engineering Practice 12 (2004) p.1279-1289
available online at
www.sciencedirect.com
This paper introduces a new approach for the modelling and verification of behaviour properties in complex industrial plants that are hybrid in nature. It is based on Petri nets to represent the discrete view and differential equations to describe the continuous part. The object-oriented concepts are used to provide modularity and handle system complexity. With the respect to the system analysis, the object-oriented structure allows a global analysis problem with a number of objects to be divided, into a set of local problems involving one or a few objects only. The proposed approach is applied to a cane sugar factory.
Hybrid systems, Petri nets, object modelling techniques, analysis