Comparative study of synthesis methods for discrete event controllers

L. E. Pinzon; H. M. Hanisch; M. A. Jafari; T. Boucher

doi:10.1023/A:1008740917111

Comparative study of synthesis methods for discrete event controllers

L. E. Pinzon, H. M. Hanisch, M. A. Jafari, T. Boucher

School of Engineering, Industrial Engineering

Research output: Contribution to journal › Article › peer-review

18 Scopus citations

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.

Original language	English (US)
Pages (from-to)	123-167
Number of pages	45
Journal	Formal Methods in System Design
Volume	15
Issue number	2
DOIs	https://doi.org/10.1023/A:1008740917111
State	Published - 1999

All Science Journal Classification (ASJC) codes

Software
Theoretical Computer Science
Hardware and Architecture

Access to Document

10.1023/A:1008740917111

Cite this

@article{c9312e0404d745dd8f46d8cc0052591e,

title = "Comparative study of synthesis methods for discrete event controllers",

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.",

author = "Pinzon, {L. E.} and Hanisch, {H. M.} and Jafari, {M. A.} and T. Boucher",

note = "Funding Information: We gratefully acknowledge the partial support of the DAAD (German Academic Exchange Service) through grant A/97/50303, and of the Defense Logistics Agency under CORANET Contract No. SP0103-96-D-0016, which made possible the collaboration of the authors.",

year = "1999",

doi = "10.1023/A:1008740917111",

language = "English (US)",

volume = "15",

pages = "123--167",

journal = "Formal Methods in System Design",

issn = "0925-9856",

publisher = "Springer Netherlands",

number = "2",

}

TY - JOUR

T1 - Comparative study of synthesis methods for discrete event controllers

AU - Pinzon, L. E.

AU - Hanisch, H. M.

AU - Jafari, M. A.

AU - Boucher, T.

N1 - Funding Information: We gratefully acknowledge the partial support of the DAAD (German Academic Exchange Service) through grant A/97/50303, and of the Defense Logistics Agency under CORANET Contract No. SP0103-96-D-0016, which made possible the collaboration of the authors.

PY - 1999

Y1 - 1999

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0032598033&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0032598033&partnerID=8YFLogxK

U2 - 10.1023/A:1008740917111

DO - 10.1023/A:1008740917111

M3 - Article

AN - SCOPUS:0032598033

SN - 0925-9856

VL - 15

SP - 123

EP - 167

JO - Formal Methods in System Design

JF - Formal Methods in System Design

IS - 2

ER -

Comparative study of synthesis methods for discrete event controllers

Abstract

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this