A Comparative Study of Synthesis Methods for Discrete Event Controllers
| 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: |