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 …

This paper studies a large-scale urban traffic light scheduling problem (LUTLSP). A
centralized model is developed to describe the LUTLSP, where each outgoing flow rate is …

Achieving nonblockingness in supervisory control imposes a major challenge when the
number of states of a target system is large, often owing to synchronous product of many …

A nondeterministic finite automaton (NDFA) can exhibit an uncertain behavior in modeling
and analysis, and its stabilization is viewed as an essential component of theoretical …

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

This article develops a novel compositional and abstraction-based approach to synthesize
edit functions for opacity enforcement in modular discrete event systems. Edit functions alter …

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 …

The Ramadge-Wonham supervisory control paradigm has been shown effective in dealing
with logic control. Nevertheless, time-related performance is always one of the major …

In this paper, we revise and further investigate the coordination control approach proposed
for supervisory control of distributed discrete-event systems with synchronous …

In supervisor synthesis for discrete-event systems achieving nonblockingness is a major
challenge for a large system. To overcome it we present an approach to synthesize a …