Control of discrete event systems modeled as hierarchical state machinesThe authors examine a class of discrete event systems (DESs) modeled as asynchronous hierarchical state machines (AHSMs). For this class of DESs, they provide an efficient method for testing reachability, which is an essential step in many control synthesis procedures. This method utilizes the asynchronous nature and hierarchical structure of AHSMs, thereby illustrating the advantage of the AHSM representation as compared with its equivalent (flat) state machine representation. An application of the method is presented where an online minimally restrictive solution is proposed for the problem of maintaining a controlled AHSM within prescribed legal bounds.
Brave, Y. (Technion - Israel Inst. of Technology Haifa, United States)
Heymann, M. (Technion - Israel Inst. of Technology, Haifa; NASA, Ames Research Center Moffett Field, CA, United States)
August 15, 2013
January 1, 1991
Publication: In: IEEE Conference on Decision and Control, 30th, Brighton, United Kingdom, Dec. 11-13, 1991, Proceedings. Vol. 2 (A93-13001 02-63)