ISSN:
1572-8102
Keywords:
discrete event systems
;
automata
;
Petri Net
;
temporal logic
;
net condition event systems
;
controller synthesis
Source:
Springer Online Journal Archives 1860-2000
Topics:
Computer Science
Notes:
Abstract The purpose of this paper is to illustrate and compare some of the existing synthesis methods for discrete event controllers. We summarize four of the well-known methodologies in the context of plant model, specification model, and controller synthesis procedure. Then, by applying the models to two working examples, we explore and compare the descriptive power of the methods and their capabilities for handling various types of specifications.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1023/A:1008740917111
Permalink