Control of discrete event systems modeled as hierarchical state machines

1 January 1993

journal article
Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Automatic Control

Vol. 38 (12) , 1803-1819
https://doi.org/10.1109/9.250558

Abstract

Discrete-event systems (DESs) are systems in which state changes take place in response to events that occur discretely, asynchronously, and often nondeterministically. A class of DESs modeled as hierarchical state machines (HSMs), a special case of the statecharts formalism introduced recently, is considered. An efficient algorithm is provided for solving reachability problems in the HSM framework. It utilizes the hierarchical structure of HSMs. This efficient solution is used extensively in control applications, where controllers achieving a desired behavior are synthesized online.

Keywords

This publication has 12 references indexed in Scilit:

Reachability in discrete event systems modeled as hierarchical state machines
Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
On optimal attraction in discrete-event processes
Information Sciences, 1993
Concurrency and discrete event control
IEEE Control Systems Magazine, 1990
Synthesis of feedback control logic for a class of controlled Petri nets
IEEE Transactions on Automatic Control, 1990
Stabilization of discrete-event processes
International Journal of Control, 1990
On the control of discrete-event dynamical systems
Mathematics of Control, Signals, and Systems, 1989
Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata
IEEE Transactions on Automatic Control, 1989
Modular Feedback Logic for Discrete Event Systems
SIAM Journal on Control and Optimization, 1987
Statecharts: a visual formalism for complex systems
Science of Computer Programming, 1987
On the Supremal Controllable Sublanguage of a Given Language
SIAM Journal on Control and Optimization, 1987