Abstract:More and more control elements are incorporated into a single system by the information technology such as internet of things.Consequently,the scale of a control system increases quickly,and the control specification becomes more and more complicated.Any logic mistake that violates a given control specification may lead to a serious industrial failure and even security issue.Besides,there is a"state space explosion"for discrete event systems.These make a challenge for designing and debugging programs running in programmable logic controllers(PLCs)or field programmable gate arrays (FPGAs).The supervisory control theory of discrete event systems is to implement a given complicated logic specification by formal methods. The specification such as interlock,sequence,mutual exclusion,and language is expressed by a Petri net or automata.It is in turn translated into codes that can be executed by a PLC or FPGA.This paper surveys these formal methods for synthesis of logical controller,which are to shorten the costed time for control programs,to ease the reuse of them,and to increase the safety and reliability of them.

Supervisor Synthesis For A Class Of Control Problems In Discrete Event Systems

Supervisor Synthesis for a Class of Forbidden State Problems in Petri Nets

Supervisor Synthesis for Enforcing a Class of Generalized Mutual Exclusion Constraints on Petri Nets

Supervisor synthesis for a class of discrete event systems

Supervisor Synthesis for Bounded Petri Nets Based on a Transformation Function.

Control synthesis for a class of controlled Petri nets

Supervisor Synthesis for Enforcing Linear Constraints on A Class of Petri Nets with Unobservable Transitions

Supervisor Synthesis For Enforcing Gmecs On A Controlled Petri Net

Optimal monitor-based supervisor sythesis for a class of Petri nets with unobservable transitions

Constraint Function Based Hierarchical Control of Discrete Event Systems

Supervisor design for a class of generalized Petri net with uncontrollable transitions

Forbidden State Avoidance Controller Synthesis for Petri Nets

Synthesis of Petri nets controller for discrete event systems based on finite capacity places-Part 2

A synthesis approach to Petri nets with combined place marking and transition firing constraint

Synthesis of logical controllers and discrete-event systems supervisory control theory

Controller design for a class of controlled Petri nets

Combined Controller Synthesis for a Class of Discrete Event Systems

Supervisory Control Of Discrete-Event Systems Using Enabling Arc Petri Nets

Comments on “simultaneous Reduction of Petri Nets and Linear Constraints for Efficient Supervisor Synthesis”

State feedback based deadlock-free supervisor synthesis for bounded Petri nets

Supervisor Synthesis of Petri Net with Uncontrollable Transitions