The control framework of hierarchical consistency of timed discrete-event systems (TDES's)
is investigated in a standard two-level hierarchy. Real-time concepts and the associated …

This thesis addresses two abstraction problems for two-level hierarchical control of discrete-
event systems (DES's). DES's are dynamic systems driven by asynchronous events evolving …

An abstract hierarchical control theory is developed for a class of timed discrete-event
systems (TDES) within the discrete-event control architectural framework proposed earlier …

In the hierarchical control of discrete event systems (DES), the hierarchical consistency
expresses the requirement that a control task is solvable within the model at a given level if it …

This paper presents an introduction to and a formal connection between synthesis problems
for discrete event systems that have been considered, largely separately, in the two research …

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 …

The TCT software package is designed for the synthesis of supervisory controls for untimed
discrete-event systems (DES). It can be downloaded from [6], where two different programs …

Hierarchical consistency is an important concept in control theory of hierarchical discrete-
event systems (DESs). In order to establish corresponding control structure in high level …

We present a hierarchical method that decomposes a system into two subsystems, and
restricts the interaction of the subsystems by means of an interface. We present a definition …

In this paper, the problem of robust supervisory control of a finite family of discrete-event
plants is studied. Each plant has a separate closed specification language. A hierarchical …