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 …

One of the major challenges about cyber–physical systems is how to protect system integrity
from cyber attacks. There has been a large number of different types of attacks discussed in …

The current trend in the wafer production industry is to expand the production chain with
more production stations, more buffers, and robots. The goal of the present paper is to …

We identify a new observability concept, called relative observability, in supervisory control
of discrete-event systems under partial observation. A fixed, ambient language is given …

Great potentials of robotic networks have been found in numerous applications such as
environmental monitoring, battlefield surveillance, target search and rescue, oil and gas …

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

In this paper, we present a case-study on application of Ramadge-Wonham supervisory
control theory (abbreviated by SCT in the sequel) to a patient support system of a magnetic …

This survey gives an overview of the current research on compositional algorithms for
verification and synthesis of modular systems modelled as interacting finite-state machines …

This paper describes a framework for compositional supervisor synthesis, which is
applicable to all discrete event systems modeled as a set of deterministic automata …

Due to the competition for limited resources by many concurrent processes in large-scale
automated manufacturing systems (AMSs), one has to resolve any deadlock issue in order …