Much research has been addressed to nonblocking supervisory control of Discrete-Event Systems (DES) such as Flexible Manufacturing Systems (FMS), and a variety of approaches have been developed. One especially powerful approach, due to Chuan Ma, is based on DES representation by means of State Tree Structures (STS). Using STS, this chapter develops nonblocking supervisory control of a well-know...

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

The conventional decentralized supervisory control architectures for discrete event systems assume that default control of controllable events is static. In this paper, we propose a new decentralized supervisory control architecture using dynamic default control of controllable events. We present necessary and sufficient conditions for the existence of a decentralized supervisor in the proposed...

Public Reporting burden for this collection of information is estimated to average 1 hour per response, including the time for reviewing instructions, searching existing data sources, gathering and maintaining the data needed, and completing and reviewing the collection of information. Send comment regarding this burden estimates or any other aspect of this collection of information, including ...

A supervisor is generated with Supervisory Control Theory [3], resulting in a nonblocking and minimally restrictive controller. Time is introduced time using timed automata theory. A compact data structure is used to keep track of the time information in the timed automata: Heaps of Pieces [2]. The fastest sequence of events is found, using graph search algorithms of Dijkstra and A [1]. This is...

This report presents an application of the recently developed theory of optimal Discrete Event Supervisory (DES) control that is based on a signed real measure of regular languages. The DES control techniques are validated on an aircraft gas turbine engine simulation test bed. The test bed is implemented on a networked computer system in which two computers operate in the client-server mode. Se...

In this thesis we present a hierarchical method that decomposes a system into a high level subsystem which communicates with n ≥ 1 parallel low level subsystems through separate interfaces, which restrict the interaction of the subsystems. We first define the setting for the serial case (n = 1), and then generalise it for n ≥ 1. We present a definition for an interface, and define a set of inte...