We propose a synthesis-centric model-based engineering framework for safe and
nonblocking coordination of distributed components of complex high-tech systems. The …

We propose a synthesis-centric model-based systems engineering framework for discrete-
event systems with general distributions. Supervisory control theory studies supervisory …

Supervisory control theory deals with automated synthesis of models of supervisory
controllers that ensure safe coordinated discrete-event behavior of a given system. To …

Today's industry trend towards agile product development cycles and the ambition to
shorten the time-to-market, represents an extremely competitive marketplace. This has …

Supervisory control theory deals with automated synthesis of models of supervisory
controllers based on the models of the unsupervised systems and the control requirements …

Pipeless chemical plants provide an alternative way for flexible, scalable, and
reconfigurable production of high valued chemical products on demand. The main feature of …

We propose a synthesis-centric approach to coordination of timed discrete-event systems
with data and unrestricted nondeterminism. We employ supervisory controllers to exercise …

We develop a process theory that can model supervisory control loops with data observation
for stochastic discrete-event systems. Supervisory controllers safely coordinate distributed …

Supervisory control theory deals with automated synthesis of models of supervisory
controllers based on the models of the unsupervised systems and the control requirements …

Supervisory control ensures safe coordination of the discrete-event behavior of the
components of a given system. Models of supervisory control software are automatically …