A modelling method to take into account fluctuations of continuous variables in a class of hybrid systems

Hybrid processes are the focus of research interests in recent years. In this paper, we present a study of a particular class of hybrid system: Batch processes. We propose a new modelling method, which allows to take into account the fluctuations of continuous variables due to the environment, to validate the control of the process. This method is tested on the software Design/CPN on a simple example.

[1]  V. Borkar,et al.  A unified framework for hybrid control , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[2]  Kurt Jensen.  High-Level Petri Nets , 1982, European Workshop on Applications and Theory of Petri Nets.

[3]  Thomas A. Henzinger,et al.  The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..

[4]  Albert Benveniste.  Compositional and Uniform Modelling of Hybrid Systems , 1995, Hybrid Systems.

[5]  Alessandro Giua,et al.  Hybrid Petri Nets: a , 1996 .

[6]  Bo Egardt,et al.  Controllability and Control-Law Synthesis of Linear Hybrid Systems , 1994 .