Technical Report CIS9012

TR#:CIS9012
Class:CIS
Title: CONTROL OF DISCRETE EVENT SYSTEMS MODELED AS HIERARCHICAL STATE MACHINES
Authors: Y. Brave and M. Heymann
PDFNot Available
Abstract: Discrete event systems (DESs) are systems in which state changes take place in response to events that occur discretely, asynchronously and often nondeterministically. In this paper we consider a class of DECs modeled as hierarchical state machines (HSMs), a special case of the statecharts formalism introduced recently. We provide an efficient algorithm for solving reachability problems in the HSM framework that utilizes the hierarchical structure of HSMs. This efficient solution is used extensively in control applications, where controllers achieving a desired behaviour are synthesized on-line.
CopyrightThe above paper is copyright by the Technion, Author(s), or others. Please contact the author(s) for more information

Remark: Any link to this technical report should be to this page (http://www.cs.technion.ac.il/users/wwwb/cgi-bin/tr-info.cgi/1990/CIS/CIS9012), rather than to the URL of the PDF files directly. The latter URLs may change without notice.

To the list of the CIS technical reports of 1990
To the main CS technical reports page

Computer science department, Technion
admin