Correct-by-construction synthesis is a cornerstone of the confluence of formal methods and
control theory towards designing safety-critical systems. Instead of following the time-tested …

We investigate supervisory control of networked discrete event systems with asynchronous
communication between the plant and supervisor. The observation and control may be …

This paper discusses a method to distribute a synthesized supervisor for implementation on
multiple physical controllers. Dependency structure matrices are used to determine a …

Road tunnels play an important role in the traffic infrastructure in the Netherlands, either to
bypass geological obstacles such as rivers, or to improve traffic flow and quality of life in …

We study the supervisory control of timed discrete event systems (TDESs) communicating
via unbounded FIFO channels. We model a local TDES by a finite-state automaton with a …

In this paper, we investigate the distributed networked supervisory control problem of timed
discrete-event systems (DESs). The supervisors communicate with each other over a shared …

In many cyber-physical systems, controllers and plants are located at different sites.
Communications between a controller and a plant are carried out over a wired or wireless …

Software-Defined Network (SDN) technology provides the possibility to turn the network
infrastructure into a dynamic programmable fabric capable of meeting the application needs …

This Ph. D. thesis addresses the challenging problem of networked supervisory control for
(timed) discrete event systems against delays and losses in the communication channels …

This paper presents an overview of the networked supervisory control frameworks for
discrete event systems with imperfect communication networks, which are divided into the …