Alternative models of synthesized programs for executing condition system controllers

Jeff Ashley; Lawrence Holloway

doi:10.3182/20090603-3-RU-2001.0479

Alternative models of synthesized programs for executing condition system controllers

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

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 language	English
Title of host publication	Proceedings of the 13th IFAC Symposium on Information Control Problems in Manufacturing, INCOM'09
Pages	1435-1440
Number of pages	6
Edition	PART 1
DOIs	https://doi.org/10.3182/20090603-3-RU-2001.0479
State	Published - 2009

Publication series

Name	IFAC Proceedings Volumes (IFAC-PapersOnline)
Number	PART 1
Volume	13
ISSN (Print)	1474-6670

Bibliographical note

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

Keywords

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

ASJC Scopus subject areas

Control and Systems Engineering

Access to Document

10.3182/20090603-3-RU-2001.0479

Cite this

@inproceedings{1e47321ccb274a22941d239b9a3f6124,

title = "Alternative models of synthesized programs for executing condition system controllers",

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

keywords = "Control system synthesis, Discrete-event systems, Finite state machines, Programs, System synthesis",

author = "Jeff Ashley and Lawrence Holloway",

year = "2009",

doi = "10.3182/20090603-3-RU-2001.0479",

language = "English",

isbn = "9783902661432",

series = "IFAC Proceedings Volumes (IFAC-PapersOnline)",

number = "PART 1",

pages = "1435--1440",

booktitle = "Proceedings of the 13th IFAC Symposium on Information Control Problems in Manufacturing, INCOM'09",

edition = "PART 1",

}

Alternative models of synthesized programs for executing condition system controllers. / Ashley, Jeff; Holloway, Lawrence.
Proceedings of the 13th IFAC Symposium on Information Control Problems in Manufacturing, INCOM'09. PART 1. ed. 2009. p. 1435-1440 (IFAC Proceedings Volumes (IFAC-PapersOnline); Vol. 13, No. PART 1).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Alternative models of synthesized programs for executing condition system controllers

AU - Ashley, Jeff

AU - Holloway, Lawrence

PY - 2009

Y1 - 2009

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

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

KW - Control system synthesis

KW - Discrete-event systems

KW - Finite state machines

KW - Programs

KW - System synthesis

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

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

U2 - 10.3182/20090603-3-RU-2001.0479

DO - 10.3182/20090603-3-RU-2001.0479

M3 - Conference contribution

AN - SCOPUS:79960908733

SN - 9783902661432

T3 - IFAC Proceedings Volumes (IFAC-PapersOnline)

SP - 1435

EP - 1440

BT - Proceedings of the 13th IFAC Symposium on Information Control Problems in Manufacturing, INCOM'09

ER -

Alternative models of synthesized programs for executing condition system controllers

Abstract

Publication series

Bibliographical note

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this