| TR#: | CIS9012 |
| Class: | CIS |
| Title: | CONTROL OF DISCRETE EVENT SYSTEMS
MODELED AS HIERARCHICAL STATE MACHINES |
| Authors: | Y. Brave and M. Heymann |
| Not 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. |
| Copyright | The 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