Automatic synthesis algorithms for supervisory controllers

Marco Antoniotti; Bud Mishra

doi:10.1109/CIMAT.1994.389080

Automatic synthesis algorithms for supervisory controllers

Marco Antoniotti, Bud Mishra

Computer Science

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

Abstract

In this paper we describe our experience with a prototype system capable of synthesizing Supervisor Controller Programs based largely on the theory of discrete event systems (DES) first proposed by Ramadge and Wonham [13]. W e augment the theory by also allowing continuous time trajectories modeling transitions between events. W e illustrate our approach by an example, the discrete control of a walking machine, which poses some challenges on the applicability of the theory and finally, discuss some possible solutions.

Original language	English (US)
Title of host publication	Proceedings of the 4th International Conference on Computer Integrated Manufacturing and Automation Technology, CIMAT 1994
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	151-156
Number of pages	6
ISBN (Electronic)	0818665106, 9780818665103
DOIs	https://doi.org/10.1109/CIMAT.1994.389080
State	Published - 1994
Event	4th International Conference on Computer Integrated Manufacturing and Automation Technology, CIMAT 1994 - Troy, United States Duration: Oct 10 1994 → Oct 12 1994

Publication series

Name	Proceedings of the 4th International Conference on Computer Integrated Manufacturing and Automation Technology, CIMAT 1994

Conference

Conference	4th International Conference on Computer Integrated Manufacturing and Automation Technology, CIMAT 1994
Country/Territory	United States
City	Troy
Period	10/10/94 → 10/12/94

ASJC Scopus subject areas

Computer Science Applications
Industrial and Manufacturing Engineering
Control and Optimization

Access to Document

10.1109/CIMAT.1994.389080

Cite this

Antoniotti, M., & Mishra, B. (1994). Automatic synthesis algorithms for supervisory controllers. In Proceedings of the 4th International Conference on Computer Integrated Manufacturing and Automation Technology, CIMAT 1994 (pp. 151-156). Article 389080 (Proceedings of the 4th International Conference on Computer Integrated Manufacturing and Automation Technology, CIMAT 1994). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/CIMAT.1994.389080

Automatic synthesis algorithms for supervisory controllers. / Antoniotti, Marco; Mishra, Bud.
Proceedings of the 4th International Conference on Computer Integrated Manufacturing and Automation Technology, CIMAT 1994. Institute of Electrical and Electronics Engineers Inc., 1994. p. 151-156 389080 (Proceedings of the 4th International Conference on Computer Integrated Manufacturing and Automation Technology, CIMAT 1994).

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

Antoniotti, M & Mishra, B 1994, Automatic synthesis algorithms for supervisory controllers. in Proceedings of the 4th International Conference on Computer Integrated Manufacturing and Automation Technology, CIMAT 1994., 389080, Proceedings of the 4th International Conference on Computer Integrated Manufacturing and Automation Technology, CIMAT 1994, Institute of Electrical and Electronics Engineers Inc., pp. 151-156, 4th International Conference on Computer Integrated Manufacturing and Automation Technology, CIMAT 1994, Troy, United States, 10/10/94. https://doi.org/10.1109/CIMAT.1994.389080

Antoniotti M, Mishra B. Automatic synthesis algorithms for supervisory controllers. In Proceedings of the 4th International Conference on Computer Integrated Manufacturing and Automation Technology, CIMAT 1994. Institute of Electrical and Electronics Engineers Inc. 1994. p. 151-156. 389080. (Proceedings of the 4th International Conference on Computer Integrated Manufacturing and Automation Technology, CIMAT 1994). doi: 10.1109/CIMAT.1994.389080

Antoniotti, Marco ; Mishra, Bud. / Automatic synthesis algorithms for supervisory controllers. Proceedings of the 4th International Conference on Computer Integrated Manufacturing and Automation Technology, CIMAT 1994. Institute of Electrical and Electronics Engineers Inc., 1994. pp. 151-156 (Proceedings of the 4th International Conference on Computer Integrated Manufacturing and Automation Technology, CIMAT 1994).

@inproceedings{76b9d213e58d4c95801c6d7062ed5765,

title = "Automatic synthesis algorithms for supervisory controllers",

abstract = "In this paper we describe our experience with a prototype system capable of synthesizing Supervisor Controller Programs based largely on the theory of discrete event systems (DES) first proposed by Ramadge and Wonham [13]. W e augment the theory by also allowing continuous time trajectories modeling transitions between events. W e illustrate our approach by an example, the discrete control of a walking machine, which poses some challenges on the applicability of the theory and finally, discuss some possible solutions.",

author = "Marco Antoniotti and Bud Mishra",

note = "Publisher Copyright: {\textcopyright} 1994 IEEE.; 4th International Conference on Computer Integrated Manufacturing and Automation Technology, CIMAT 1994 ; Conference date: 10-10-1994 Through 12-10-1994",

year = "1994",

doi = "10.1109/CIMAT.1994.389080",

language = "English (US)",

series = "Proceedings of the 4th International Conference on Computer Integrated Manufacturing and Automation Technology, CIMAT 1994",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "151--156",

booktitle = "Proceedings of the 4th International Conference on Computer Integrated Manufacturing and Automation Technology, CIMAT 1994",

}

TY - GEN

T1 - Automatic synthesis algorithms for supervisory controllers

AU - Antoniotti, Marco

AU - Mishra, Bud

PY - 1994

Y1 - 1994

N2 - In this paper we describe our experience with a prototype system capable of synthesizing Supervisor Controller Programs based largely on the theory of discrete event systems (DES) first proposed by Ramadge and Wonham [13]. W e augment the theory by also allowing continuous time trajectories modeling transitions between events. W e illustrate our approach by an example, the discrete control of a walking machine, which poses some challenges on the applicability of the theory and finally, discuss some possible solutions.

AB - In this paper we describe our experience with a prototype system capable of synthesizing Supervisor Controller Programs based largely on the theory of discrete event systems (DES) first proposed by Ramadge and Wonham [13]. W e augment the theory by also allowing continuous time trajectories modeling transitions between events. W e illustrate our approach by an example, the discrete control of a walking machine, which poses some challenges on the applicability of the theory and finally, discuss some possible solutions.

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

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

U2 - 10.1109/CIMAT.1994.389080

DO - 10.1109/CIMAT.1994.389080

M3 - Conference contribution

AN - SCOPUS:0142212555

T3 - Proceedings of the 4th International Conference on Computer Integrated Manufacturing and Automation Technology, CIMAT 1994

SP - 151

EP - 156

BT - Proceedings of the 4th International Conference on Computer Integrated Manufacturing and Automation Technology, CIMAT 1994

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 4th International Conference on Computer Integrated Manufacturing and Automation Technology, CIMAT 1994

Y2 - 10 October 1994 through 12 October 1994

ER -

Automatic synthesis algorithms for supervisory controllers

Abstract

Publication series

Conference

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this