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.

An Intelligent Control Model Based On The Flexible Logic

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

Adaptive Sliding Mode-Like Fuzzy Logic Control for High Order Nonlinear Systems

Hybrid Model of Intelligent Control System with Fuzzy Logical Interface

On Modeling and Optimal Control of a Class of Hybrid Systems

Three-Dimensional Fuzzy Controller and Its Optimizing

Multi-Valued Logic Learning Control

Petri Net Based Supervisor For Hybrid-Logic Linear Constraints

INTELLIGENT MODELLING METHOD OF COMPLEX CONTROL SYSTEMS AND ITS APPLICATION

Modeling and optimal control based on logic methods in water industry systems

Analytical Model Of Three-Dimensional Fuzzy Logic Controller For Spatio-Temporal Processes

Application Of Intelligent Variable Structure Control To Flexible Vehicle

Satisfying Optimal Control Of Switching Multiple Models Based On Mixed Logic Dynamics

Optimal Control And Design Of Flexible Manipulators Based On H-Infinity Controller

Multi-Model Predictive Control for Nonlinear Systems Based on Mixed Logic

Model-free adaptive control based on local dynamic linearization

A design methodology for an intelligent controller using fuzzy logic and artificial neural networks

CMAC Based Self-Learning Fuzzy Logical System and Its Application to Automatic Control

Generalized Predictive Control with Flexible Inequality Constraints

MODEL PREDICTIVE CONTROL ALGORITHM FOR A CLASS OF HYBRID SYSTEM

An Improved Model-Free Adaptive Control with G Function Fuzzy Reasoning Regulation Design and Its Applications