A distributed discrete-event system consists of an interconnection of two or more subsystems. Control of a distributed system demands a set of controllers each receiving the observation stream of a local subsystem and providing a subset of enabled events to that subsystem. Several control architectures are defined in this chapter: Distributed control, distributed control with communication, coo...

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

Hybrid dynamic systems are of major research interest nowadays due to their use as models in many applications in computer science and systems control. One of the major problems in hybrid dynamic systems is establishing their key property of stability, which also is important in controller design. The use of communication networks in supervisory control of distributed control systems introduces...

To initiate a discussion on the modeling requirements for distributed control of discrete-event systems, a partially-automated regionbased methodology is presented. The methodology is illustrated via a well-known example from distributed computing: the dining philosophers. 1 Decentralized, Asynchronous, and Distributed DES Control In this section, we explain our understanding of the gradual evo...

This paper identifies a property of delay-robustness in distributed supervisory control of discrete-event systems (DES) with communication delays. In previous work a distributed supervisory control problem has been investigated on the assumption that inter-agent communications take place with negligible delay. From an applications viewpoint it is desirable to relax this constraint and identify ...

This paper identifies a property of delay-robustness in distributed supervisory control of discrete-event systems (DES) with communication delays. In previous work a distributed supervisory control problem has been investigated on the assumption that inter-agent communications take place with negligible delay. From an applications viewpoint it is desirable to relax this constraint and identify ...