Alternative models of synthesized programs for executing condition system controllers

Jeff Ashley, Lawrence Holloway

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


In this paper, we consider the problem of creating synthesized programs to implement a controller automatically generated through discrete-event control synthesis techniques. The controller is represented as a set of discrete event models comparable to extended state machines, where the individual control components interact with each other and with the plant via condition signals. We discuss three alternative approaches for the synthesized program to represent these control components. We discuss benefits and drawbacks to each.

Original languageEnglish
Title of host publicationProceedings of the 13th IFAC Symposium on Information Control Problems in Manufacturing, INCOM'09
Number of pages6
EditionPART 1
StatePublished - 2009

Publication series

NameIFAC Proceedings Volumes (IFAC-PapersOnline)
NumberPART 1
ISSN (Print)1474-6670

Bibliographical note

Copyright 2021 Elsevier B.V., All rights reserved.


  • Control system synthesis
  • Discrete-event systems
  • Finite state machines
  • Programs
  • System synthesis

ASJC Scopus subject areas

  • Control and Systems Engineering


Dive into the research topics of 'Alternative models of synthesized programs for executing condition system controllers'. Together they form a unique fingerprint.

Cite this