The real-time supervisory control of an experimental manufacturing system based on a hybrid method

In this paper, the real-time supervisory control of an experimental manufacturing system is reported based on a recently proposed hybrid (mixed PN/automaton) approach. Assuming that an uncontrolled bounded Petri net (PN) model of a (plant) discrete event system (DES) and a set of forbidden state specifications are given, the proposed approach computes a maximally permissive and nonblocking closed-loop hybrid model. The method is straightforward logically, graphically and technologically. This paper particularly shows the applicability of a hybrid (mixed PN/automaton) approach to low-level real-time DES control. To do this, programmable logic controller (PLC) based real-time control of an experimental manufacturing system is considered.

[1]  Murat Uzam.  Petri-net-based supervisory control of discrete event systems and their ladder logic diagram implementations , 1998 .

[2]  Murat Uzam,et al.  Using a Petri-Net-Based Approach for the Real-Time Supervisory Control of an Experimental Manufacturing System , 2000 .

[3]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

[4]  Martin Fabian,et al.  PLC-based implementation of supervisory control for discrete event systems , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[5]  Siu O’Young,et al.  Online discrete event supervisory control of hybrid dynamical systems using embedded simulation , 2008 .

[6]  Alessandro Giua,et al.  Generalized mutual exclusion contraints on nets with uncontrollable transitions , 1992, [Proceedings] 1992 IEEE International Conference on Systems, Man, and Cybernetics.

[7]  Carlos Eduardo Pereira,et al.  Manufacturing plant control: Challenges and issues , 2007 .

[8]  W. M. Wonham,et al.  The control of discrete event systems , 1989 .

[9]  P. Ramadge,et al.  On the supermal controllable sublanguage of a given language , 1987 .

[10]  Alessandro Giua,et al.  Supervisory design using Petri nets , 1991, [1991] Proceedings of the 30th IEEE Conference on Decision and Control.

[11]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[12]  W. M. Wonham,et al.  A hybrid approach to supervisory control of discrete event systems coupling RW supervisors to Petri nets , 2006 .

[13]  Murat Uzam,et al.  Discrete event control system design using automation Petri nets and their ladder diagram implementation , 1998 .

[14]  MengChu Zhou,et al.  Ladder diagram and Petri-net-based discrete-event control design methods , 2004, IEEE Trans. Syst. Man Cybern. Part C.

[15]  Bengt Lennartson,et al.  Specification of a Batch Plant using Process Algebra and Petri Nets , 2009 .