This contribution deals with the synthesis of discrete supervisory control for switched linear systems. Via two successive approximation steps, this hybrid control problem is transformed into a purely discrete problem. The latter can then be solved using a slightly modified version of P. J. Ramadge’s and W. M. Wonham’s “supervisory control theory”. By embedding both approximation steps within J...

This paper presents an application of Ramadge-Wonham supervisory control theory to a patient support system for MRI scanners. The obtained controller was implemented and tested on real hardware. A distinguishing feature of the proposed application is that the evolvability of the controller is an essential requirement. By evolvability is the ability to adapt the controller to meet modified contr...

We present a hierarchical control theory for supervisory automata based on state aggregation. Conditions are determined on state partitions which ensure that the control of transitions between blocks in a high-level (i.e. aggregated) model, combined with local state-dependent controls, is eeective in the sense of achieving speciications given either for the high-level model or for the low-level...

In this chapter we discuss how Petri nets can be used in the framework of supervisory control theory. A discrete event system is defined in such a theory as a language generator: this motivates the need to start the chapter with a short but self-contained introduction to Petri net languages. We consider the monolithic supervisory design that requires to construct the concurrent composition of t...

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...

Supervisory control theory enables control system designers to specify a model of an uncontrolled system in combination with associated control requirements, and subsequently to use a synthesis algorithm for automatic controller generation. The use of supervisory control synthesis can significantly reduce development time for supervisory controllers as a result of the unambiguous specification ...

This article is a brief exposure of the process approach to a newly emerging area called "discrete event systems" in control theory and summarizes some of the recent developments in this area. Discrete event systems is an area of research that is developing within the interstices of computer, control and communication sciences. The basic direction of research addresses issues in the analysis an...

Because of their nondeterministic nature of behaviour, the supervisory control of manufacturing systems must be carried out in closed loop. This trait greatly increases the size and complexity of the Discrete-Event System (DES)-based supervisorycontrollers of manufacturing systems. Attempting to cope with this complexity, a Hybrid Supervisory Controller (HSC), that distributes operations betwee...

The use of deceptive strategies is important for an agent that attempts not to reveal his intentions in adversarial environment. We consider a setting, which supervisor provides reference policy and expects follow the perform task. may instead different achieve model environment behavior with Markov decision process, represent tasks reachability specifications, study synthesis optimal policies ...