this paper deals with the problem of forbidden states in discrete event systems modeled by petri net. to avoid the forbidden states, some constraints which are called generalized mutual exclusion constraints can be assigned to them. enforcing these constraints on the system can be performed using control places. however, when the number of these constraints is large, a large number of control p...

A quite great progress of the supervisory control theory for discrete event systems (DES) has been made in the past nearly twenty years, and now, automata, formal language and Petri nets become the main research tools. This paper focus on the Petri nets based supervisory control theory of DES. Firstly, we review the research results in this field, and claim that there generally exists a problem...

In this paper, the supervisory control synthesis of modular or distributed discreteevent systems is discussed. The coordination-control architecture proposed by Komenda and van Schuppen (2008) and studied for prefix-closed specification languages by Komenda et al. (2010a,b) is generalized to the case of non-prefix-closed global specification languages and non-prefix-closed plant languages. Nece...

This work presents a supervisory control strategy for Networked Control Systems. This shows the identification and control of a plant using fuzzy theory. The identification is perform through input-output data. The fuzzy model incorporates the delay dynamics within of fuzzy rules. The controller is composed by a nominal control and a proposed supervisory control from the fuzzy model. A system o...

Heaps models are powerful models for concurrent timed discrete event systems. They admit linear description using dioid algebras. Inspired by supervisory control of logical discrete event systems we introduce parallel composition of heap models, called synchronous product, to formally describe the action of supervisor (represented by another heap model) on the system. This additional explicit c...

In this paper, we integrate nonlinear control and supervisory control theory to design a controller of a heating, ventilating and air conditioning (HVAC) system. First we design the nonlinear controllers by Lyapunov theory and backstepping. Then we create the discrete abstraction of this system and thus derive the discrete event system model from the continuous plant. Finally we design the supe...

We present a formal connection between supervisory control theory in the field of control engineering and reactive synthesis in the field of formal methods. We focus on the case of fully-observed discrete-event systems that are controlled by a single controller/supervisor in order to achieve a safety specification and a non-blocking specification. The connection is shown by a reduction of the c...