Supervisory control themy is the study of discrete-event processes, such as computer systems and manufacturing systems, which require control to induce desirable behavior. Informally, a dimte-event system is a process (or set of processes) that s u n s out in some initial state and is transformed from state to state by the occurrence of discrete events. Such a system can be thought of as a set ...

In this paper, we consider an optimal control problem in which the control takes values from a discrete set and the state and control are subject to continuous inequality constraints. By introducing auxiliary controls and applying a time-scaling transformation, we transform this optimal control problem into an equivalent problem subject to additional linear and quadratic constraints. The feasib...

This paper is concerned with the problem of designing discrete-time control systems with closed-loop eigenvalues in a prescribed region of stability. First, we obtain a state feedback matrix which assigns all the eigenvalues to zero, and then by elementary similarity operations we find a state feedback which assigns the eigenvalues inside a circle with center   and radius. This new algorithm ca...

The focus of this chapter is on MPC of constrained dynamic systems, both linear and nonlin‐ ear, to illuminate the ability of MPC to handle constraints that makes it so attractive to in‐ dustry. We first give an overview of the origin of MPC and introduce the definitions, characteristics, mathematical formulation and properties underlying the MPC. Furthermore, MPC methods for linear or nonlinea...

due to the changes which may occur in their parameters, systems are usually demonstrated by some subsystems for different conditions. this paper employs modified petri nets (mpn) to model theses subsystems and makes it simple to analyze them. in this method, first, the continuous transfer function is converted to a discrete transfer function and then, by mpn, system is modeled and analyzed. all...

We formalize the notion of optimal supervisory control of discrete event dynamical systems (DEDS's) in the framework of Ramadge and Wonham. A DEDS is modeled as a state machine, and is controlled by disabling some of its transitions. We de ne two types of cost functions: a cost of control function corresponding to disabling transitions in the state machine, and a penalty of control function cor...