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.

Combined Controller Synthesis for a Class of Discrete Event Systems

Combined Controller Synthesis forMarked Graphs

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

Control synthesis for a class of controlled Petri nets

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

Constraint Function Based Hierarchical Control of Discrete Event Systems

Supervisor synthesis for a class of discrete event systems

Controller design for a class of controlled Petri nets

Normalized Cascade Structures And State Feedback Control Logic Synthesis

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

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

Forbidden State Avoidance Controller Synthesis for Petri Nets

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

Synthesis of Petri Net Controller to Enforce Conjunction of GMEC Using Observer.

Controller and Observer Design for A Class of Discrete-Time Nonlinear Switching Systems

A Unified Model for State Feedback of Discrete Event Systems II: Control Synthesis Problems

SYNTHESIS OF THE STRONGLY POSITIVE REAL CONTROLLER WITH OUTPUT FEEDBACK FOR DISCRETE-TIME SYSTEMS

State-Based Control of Discrete-Event Systems under Partial Observation

Supervisory control in discrete event systems: existence and solutions

Controller Synthesis for Constrained Discrete-Time Switched Positive Linear Systems

Controller Synthesis for One-Sided Lipschitz Markovian Jump Systems with Partially Unknown Transition Probabilities