IEEE Transactions on Automatic Control · 2007 · 34 citations · 17 references
EngineeringComputer ScienceSystems EngineeringFormal MethodsProcess ControlSchedulingControl SystemsDiscrete-event System ModelingFinite State Machine ModelingFinite-state MachinesPetri NetsSupervisory ControlConsistencyDiscrete-event ModelingDiscrete-event SystemsHierarchical State MachinesHierarchical State ModelingHierarchical SystemsSupervisory Control SystemsSupervisory Control Theory
<para xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink"> This paper proposes a two-level hierarchical supervisory control scheme for a discrete event system (DES), where the low-level is represented in the standard Ramadge–Wonham framework and the high level is represented by a DES with flexible marking (DESFM). As shown, the flexibility in the definition of marking provided by a DESFM simplifies the modeling of the high-level marking behavior. This approach, when compared with other approaches, requires less events and states to model the high-level, while guaranteeing hierarchical consistency. </para>
17