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: |
| _version_ | 1798296368632037376 |
|---|---|
| autor | Pinzon, L.E. Hanisch, H.-M. Jafari, M.A. Boucher, T. |
| autorsonst | Pinzon, L.E. Hanisch, H.-M. Jafari, M.A. Boucher, T. |
| book_url | http://dx.doi.org/10.1023/A:1008740917111 |
| datenlieferant | nat_lic_papers |
| hauptsatz | hsatz_simple |
| identnr | NLM197304877 |
| iqvoc_descriptor_keyword | iqvoc_00000159:automata iqvoc_00000191:Petri Net |
| issn | 1572-8102 |
| journal_name | Formal methods in system design |
| materialart | 1 |
| 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. |
| package_name | Springer |
| publikationsjahr_anzeige | 1999 |
| publikationsjahr_facette | 1999 |
| publikationsjahr_intervall | 8004:1995-1999 |
| publikationsjahr_sort | 1999 |
| publisher | Springer |
| reference | 15 (1999), S. 123-167 |
| schlagwort | discrete event systems automata Petri Net temporal logic net condition event systems controller synthesis |
| search_space | articles |
| shingle_author_1 | Pinzon, L.E. Hanisch, H.-M. Jafari, M.A. Boucher, T. |
| shingle_author_2 | Pinzon, L.E. Hanisch, H.-M. Jafari, M.A. Boucher, T. |
| shingle_author_3 | Pinzon, L.E. Hanisch, H.-M. Jafari, M.A. Boucher, T. |
| shingle_author_4 | Pinzon, L.E. Hanisch, H.-M. Jafari, M.A. Boucher, T. |
| shingle_catch_all_1 | Pinzon, L.E. Hanisch, H.-M. Jafari, M.A. Boucher, T. A Comparative Study of Synthesis Methods for Discrete Event Controllers discrete event systems automata Petri Net temporal logic net condition event systems controller synthesis discrete event systems automata Petri Net temporal logic net condition event systems controller synthesis 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. 1572-8102 15728102 Springer |
| shingle_catch_all_2 | Pinzon, L.E. Hanisch, H.-M. Jafari, M.A. Boucher, T. A Comparative Study of Synthesis Methods for Discrete Event Controllers discrete event systems automata Petri Net temporal logic net condition event systems controller synthesis discrete event systems automata Petri Net temporal logic net condition event systems controller synthesis 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. 1572-8102 15728102 Springer |
| shingle_catch_all_3 | Pinzon, L.E. Hanisch, H.-M. Jafari, M.A. Boucher, T. A Comparative Study of Synthesis Methods for Discrete Event Controllers discrete event systems automata Petri Net temporal logic net condition event systems controller synthesis discrete event systems automata Petri Net temporal logic net condition event systems controller synthesis 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. 1572-8102 15728102 Springer |
| shingle_catch_all_4 | Pinzon, L.E. Hanisch, H.-M. Jafari, M.A. Boucher, T. A Comparative Study of Synthesis Methods for Discrete Event Controllers discrete event systems automata Petri Net temporal logic net condition event systems controller synthesis discrete event systems automata Petri Net temporal logic net condition event systems controller synthesis 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. 1572-8102 15728102 Springer |
| shingle_title_1 | A Comparative Study of Synthesis Methods for Discrete Event Controllers |
| shingle_title_2 | A Comparative Study of Synthesis Methods for Discrete Event Controllers |
| shingle_title_3 | A Comparative Study of Synthesis Methods for Discrete Event Controllers |
| shingle_title_4 | A Comparative Study of Synthesis Methods for Discrete Event Controllers |
| sigel_instance_filter | dkfz geomar wilbert ipn albert fhp |
| source_archive | Springer Online Journal Archives 1860-2000 |
| timestamp | 2024-05-06T09:50:59.004Z |
| titel | A Comparative Study of Synthesis Methods for Discrete Event Controllers |
| titel_suche | A Comparative Study of Synthesis Methods for Discrete Event Controllers |
| topic | SQ-SU |
| uid | nat_lic_papers_NLM197304877 |