Control of discrete event systems modeled as hierarchical state machines

DOI10.1109/9.250558zbMath0792.93002OpenAlexW2127688117MaRDI QIDQ4281969

Yitzhak Brave, Michael Heymann

Publication date: 10 March 1994

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/9.250558

zbMATH Keywords

discrete event systemshierarchical state machines

Mathematics Subject Classification ID

General systems (93A10)

Related Items

A MATHEMATICAL THEORY OF DESIGN Modeling the Design Process (Part II) ⋮ Supervisory control of discrete event systems ⋮ Logical models of discrete even systems: a comparative exposition ⋮ Supervisory control of product and hierarchical discrete event systems ⋮ Lose fat, not muscle: an examination of supervisor reduction in discrete-event systems ⋮ Diagnosability analysis of a class of hierarchical state machines ⋮ Hierarchical control of discrete-event systems