A Comparative Study of Synthesis Methods for Discrete Event Controllers

The purpose of this paper is to illustrate and compare some of the existing synthesis methods for discrete event controllers. We summarize four of the well-known methodologies in the context of plant model, specification model, and controller synthesis procedure. Then, by applying the models to two working examples, we explore and compare the descriptive power of the methods and their capabilities for handling various types of specifications.

[1]  P. Antsaklis,et al.  Reduced-order controllers for continuous and discrete-time singular H ∞ control problems based on LMI , 1996 .

[2]  C. A. Petri.  Communication with automata , 1966 .

[3]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[4]  Nicholas Rescher,et al.  Temporal Logic = Library of Exact Philosophy, Vol. 3 , 1973 .

[5]  MengChu Zhou,et al.  Adaptive design of Petri net controllers for error recovery in automated manufacturing systems , 1989, IEEE Trans. Syst. Man Cybern..

[6]  Jonathan S. Ostroff,et al.  Temporal logic for real-time systems , 1989 .

[7]  Hartmann J. Genrich,et al.  The Calculus of Facts , 1976, MFCS.

[8]  Alan J. Laub,et al.  Advanced Computing Concepts and Techniques in Control Engineering , 1988, NATO ASI Series.

[9]  Jonathan S. Ostroff,et al.  Synthesis of controllers for real-time discrete event systems , 1989, Proceedings of the 28th IEEE Conference on Decision and Control,.

[10]  Bruce H. Krogh,et al.  Synthesis of feedback control logic for a class of controlled Petri nets , 1990 .

[11]  W. M. Wonham.  A control theory for discrete-event systems , 1988 .

[12]  P. Ramadge,et al.  Modular feedback logic for discrete event systems , 1987 .

[13]  H.-M. Hanisch,et al.  Synthesis of supervisory controllers based on a novel representation of condition/event systems , 1995, 1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century.

[14]  Antony Galton,et al.  Temporal logics and their applications , 1987 .

[15]  Thomas O. Boucher,et al.  Computer Automation in Manufacturing , 1995 .

[16]  B.H. Krogh,et al.  Petri Net based Models for Condition/Event Systems , 1991, 1991 American Control Conference.

[17]  Mu-Der Jeng.  Theory and applications of resource control Petri nets for automated manufacturing systems , 1992 .

[18]  Peter Radford,et al.  Petri Net Theory and the Modeling of Systems , 1982 .

[19]  Panos J. Antsaklis,et al.  Feedback control of Petri nets based on place invariants , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[20]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

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

[22]  Amir Pnueli,et al.  Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends , 1986, Current Trends in Concurrency.

[23]  H.-M. Hanisch,et al.  Net condition/event systems with multiple condition outputs , 1995, Proceedings 1995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation. ETFA'95.

[24]  Alasdair Urquhart,et al.  Temporal Logic , 1971 .

[25]  Bruce H. Krogh,et al.  On condition/event systems with discrete state realizations , 1991, Discret. Event Dyn. Syst..

[26]  H.-M. Hanisch,et al.  A Modular Modelling, Controller Synthesis and Automatic Control Code Generation Framework , 1996 .

[27]  B. H. Krogh,et al.  Boolean Condition/Event Systems: Computational Representation and Algorithms , 1993 .

[28]  Alessandro Giua,et al.  Petri nets as discrete event models for supervisory control , 1992 .