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 …

This paper provides an overview of some well-known formal approaches for the synthesis
and implementation of logic controllers. Most of these approaches are based on the use and …

This article begins with an introduction to the modeling of discrete event systems, a class of
dynamical systems with discrete states and event-driven dynamics. It then focuses on logical …

The number of advanced driver assistance systems (ADASs) and the level of automation in
modern vehicles is increasing at a rapid pace. Moreover, multiple of these ADASs can be …

Formal methods help in coping with the growing functionality and complexity, time-to-market
and costs in cyber-physical systems (CPSs). Supervisory control synthesis (SCS) is such a …

Designing supervisory controllers for high-tech systems is becoming increasingly complex
due to demands for verified safety, higher quality and availability, and extending …

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

Despite the correct-by-construction property, one of the major drawbacks of supervisory
control synthesis is state-space explosion. Several approaches have been proposed to …

Development of high-level supervisory controllers is an important challenge in the design of
high-tech systems. It has become a significant issue due to increased complexity, combined …

This tutorial paper studies the effect of deception attacks on compromised sensors and
actuators at the supervisory control layer of cyber-physical control systems. The problem is …