NTRS - NASA Technical Reports Server

Back to Results
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.
Document ID
Document Type
Conference Paper
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)
Date Acquired
August 15, 2013
Publication Date
January 1, 1991
Publication Information
Publication: In: IEEE Conference on Decision and Control, 30th, Brighton, United Kingdom, Dec. 11-13, 1991, Proceedings. Vol. 2 (A93-13001 02-63)
Subject Category
Distribution Limits