Hybrid System and Control (Agile Manufacturing Systems)

 

Hybrid system models represent both Continuous and Discrete dynamical behaviour. In [1] we have extended the conventional Timed Petri by including nodes which represent parameters that control the systems. In [2] the presented paradigm is used to design control policies, via Min-plus algebras, to stop the system from presenting undesirable properties. In [5] a Hybrid system representation called Rectangular Petri nets is introduced which enhances the conventional Petri nets by including Continuous Dynamics. They key idea is to restrict firing of transitions by requiring the value of the derivatives of the Continuous variables to be within a Rectangle (Cartesian Product of Intervals). The presented formalism is used for the analysis of the Reachability properties in [4,6] and for ensuring Stability in [3] for Agile Manufacturing Systems. In Quality of Service: Modelling, Design and Analysis (Model Checking) samples of research using Time Automata, which is also a Hybrid system modelling language, is presented.

 

Selected Publications

  1. Controlled Timed Petri Nets: Equivalence Relations, Model Reduction. R. K. Boel, B. Bordbar, and G. Stremersch. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, pages 674-679, San Diego, California, USA, October 1998.

  2. A Min-plus Polynomial Approach to Forbidden State Control for General Petri Nets. R. K. Boel, B. Bordbar, and G. Stremersch. In Proceedings of the 4th International Workshop on Discrete Event Systems, pages 79-84, Cagliari, Italy, August 1998.

  3. Hybrid Sliding Mode Control for a Set of Interconnected Nonlinear. L. Giacomini, B. Bordbar, and D. J. Holding. In 39th IEEE Conference on Decision and Control, Sydney Convention & Exhibition Centre, December 2000.

  4. Hybrid Control Systems: a Design Case Study. B. Bordbar, L. Giacomini, and D. J. Holding. In IEEE CCA/CACSD, Alaska, USA, September 2000.

  5. Verification of a Hybrid Model of a Manufacturing System using Rectangular Petri Nets. B. Bordbar, L. Giacomini, and D. J. Holding. In R. Boel and G. Stremersch, Proceedings of the 6th International Workshop on Discrete Event Systems, Ghent, Belgium, August 2000.

  6. A UML-based Approach to the Modelling and Supervisory Control of Manufacturing Machinery. B. Bordbar, L. Giacomini, and D. J. Holding. In IEE Control Seminars on Model Validation for Plant Control and Condition Monitoring, pages 31-33, London, March 2000.