Comparative study of synthesis methods for discrete event controllers

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

Research output: Contribution to journalArticlepeer-review

18 Scopus citations


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 languageEnglish (US)
Pages (from-to)123-167
Number of pages45
JournalFormal Methods in System Design
Issue number2
StatePublished - 1999

All Science Journal Classification (ASJC) codes

  • Software
  • Theoretical Computer Science
  • Hardware and Architecture


Dive into the research topics of 'Comparative study of synthesis methods for discrete event controllers'. Together they form a unique fingerprint.

Cite this