Abstract:Supervisory control belongs essentially to the logic level for control problems in discrete event systems (DESs) and its corresponding control task is hard. This is unlike many practical optimal control problems which belong to the performance level and whose control tasks are soft. In this paper, we present two new optimal control problems of DESs: one with cost functions for choosing control inputs, and the other for occurring events. Their performance measures are to minimize the maximal discounted total cost among all possible strings that the system generates. Since this is a nonlinear optimization problem, we model such systems by using Markov decision processes. We then present the optimality equations for both control problems and obtain their optimal solutions. When the cost functions are stationary, we show that both the optimality equations and their solutions are also stationary. We then use these equations and solutions to describe and solve uniformly the basic synthesizing problems in the two branches of the supervisory control area: those being the event feedback control and the state feedback control. Moreover, we show that the control invariant languages and the control invariant predicates with their permissive supervisors and state feedbacks not only have meanings in supervisory control of DESs, but are also the optimal solutions for some optimal control problems. This shows a link existing between the logic level and the performance level for the control of discrete event systems. Finally, a numerical example is given to illustrate some results for supervisory control of a DES.

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

Combined Controller Synthesis for a Class of Discrete Event Systems

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

Control synthesis for a class of controlled Petri nets

Normalized Cascade Structures And State Feedback Control Logic Synthesis

State feedback control of des on the finite forbidden state problem

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

Constraint Function Based Hierarchical Control of Discrete Event Systems

A New Model for Discrete Event State Feedback Systems: Framework and Weak Interaction

A Unified Model for State Feedback of Discrete Event Systems I: Framework and Maximal Permissive State Feedback

Supervisory Control Of Boolean Discrete Event Systems

Two New Optimal Models for Controlling Discrete Event Systems

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

Mixed Modular Supervisory Control of Event Feedback and State Feedback

State Feedback System Level Synthesis in Continuous Time

Automatic Control Software Synthesis for Quantized Discrete Time Hybrid Systems

Model Based Synthesis of Control Software from System Level Formal Specifications

State Feedback Controller Design for Anti‐synchronization of Boolean Control Networks: an Event‐based Idea

Feedback Control of Discrete Linear Switching Systems with Bounded State and Control Input in the Presence of Disturbances

Relationships between State Feedbacks of Completely and Partially Observable Discrete Event Systems

Supervisory Control of Discrete Event Systems with State-Dependent Controllability.