The purpose of this review is three-fold. First, sketch the directions that research and
industrial applications of “intelligent systems” have taken in several areas of process …

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 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 …

A discrete event system (DES) is a dynamic system that evolves in accordance with the
abrupt occurrence, at possibly unknown irregular intervals, of physical events. Such systems …

A finite state automaton is adopted as a model for Discrete Event Dynamic Systems (DEDS).
Observations are assumed to be a subset of the event alphabet. Observability is defined as …

Temporal logic for real time systems | Guide books skip to main content ACM Digital Library
home ACM Association for Computing Machinery corporate logo Google, Inc. (search) Advanced …

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 …

The TTM/RTTL (timed transition model with real-time temporal logic) framework is presented
for modeling, specifying, and analyzing real-time discrete-event systems. TTMs are used to …

A finite-state automaton is adopted as a model for Discrete Event Dynamic Systems (DEDS),
Stabdity is defined as wslting a given set E mtinitely often. Stabilizability is defined as …

In todayOCOs fast-changing, competitive environment, having an up-to-date information
system (IS) is critical for all companies and institutions. Rather than creating a new system …