This paper surveys recent research on the application of Petri net models to the analysis and
synthesis of controllers for discrete event systems. Petri nets have been used extensively in …

The specification of reactive and real-time systems must be supported by formal,
mathematically-founded methods in order to be satisfactory and reliable. Temporal logics …

This monograph is based on the first author's lectures at the University of Toronto during the
sessions 1987–88 through 2017–18, as well as at Washington University (St. Louis) in May …

The Ramadge-Wonham framework for control of discrete event systems is augmented with
timing features by use of Ostroff's semantics for timed transition models. It is shown that the …

This book is primarily a research monograph that presents in a unified man ner some recent
research on a class of hybrid dynamical systems (HDS). The book is intended both for …

Hierarchical structure in the supervisory control of discrete-event systems is formalized in the
automaton framework of PJ Ramadge and WM Wonham (SIAM J. Cont. Optimiz., vol. 25, no …

Hybrid dynamical systems, both continuous and discrete dynamics and variables, have
attracted considerable interest recently. This emerging area is found at the interface of …

This paper presents algorithms for the symbolic synthesis of discrete and real-time
controllers. At the semantic level the controller is synthesized by finding a winning strategy …

The paper studies failure diagnosis of discrete-event systems (DESs) with linear-time
temporal logic (LTL) specifications. The LTL formulas are used for specifying failures in the …

Safety-critical computers increasingly affect nearly every aspect of our lives. Computers
control the planes we fly on, monitor our health in hospitals and do our work in hazardous …