This brief history summarizes the 'supervisory control of discrete-event systems' as it has
evolved in the period 1980–2017. Overall, the trend has been from centralized or …

In this paper, we investigate supervisory control of networked discrete event systems. Such
systems are now widely used in practice. The key feature of a networked discrete event …

We study the design of distributed control for discrete-event systems (DES) in the framework
of supervisory control theory. We view a DES as comprised of a group of agents, acting …

Increasing complexity in engineering projects raises difficult challenges in industry and
requires effective tools for correct-by-construction design or design verification. This book …

Markov decision processes (MDPs), also called stochastic dynamic programming, were first
studied in the 1960s. MDPs can be used to model and solve dynamic decision-making …

This paper develops a decentralized supervision policy for a Petri net through collaboration
between a coordinator and subnet controllers. The coordinator is chosen from the subnet …

Due to increasing system complexity, time-to-market and development costs reduction, new
engineering processes are required. Model-based engineering processes are suitable …

This paper treats the problem of existence of a controller for networked-timed discrete-event
systems. The results are new and useful for any networked discrete-event system for which it …

We investigate the relationship between decentralized fault diagnosis and decentralized
control of discrete event systems under dynamic observations. The key system-theoretic …

Decentralized decision-making requires the interaction of various local decision-makers in
order to arrive at a global decision. Limited sensing capabilities at each local site can create …