Automatic synthesis algorithms for supervisory controllers

Marco Antoniotti, Bhubaneswar Mishra

Research output: Chapter in Book/Report/Conference proceedingConference 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 languageEnglish (US)
Title of host publicationProceedings of the 4th International Conference on Computer Integrated Manufacturing and Automation Technology, CIMAT 1994
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages151-156
Number of pages6
ISBN (Electronic)0818665106, 9780818665103
DOIs
StatePublished - Jan 1 1994
Event4th International Conference on Computer Integrated Manufacturing and Automation Technology, CIMAT 1994 - Troy, United States
Duration: Oct 10 1994Oct 12 1994

Publication series

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

Conference

Conference4th International Conference on Computer Integrated Manufacturing and Automation Technology, CIMAT 1994
CountryUnited States
CityTroy
Period10/10/9410/12/94

Fingerprint

Supervisory personnel
Discrete event simulation
Trajectories
Synthesis
Controller
Controllers
Discrete Event Systems
Continuous Time
Prototype
Trajectory
Modeling

ASJC Scopus subject areas

  • Computer Science Applications
  • Industrial and Manufacturing Engineering
  • Control and Optimization

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). [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, Bhubaneswar.

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 proceedingConference 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). https://doi.org/10.1109/CIMAT.1994.389080
Antoniotti, Marco ; Mishra, Bhubaneswar. / 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{db84e00e960c4c5581c9c77bb4eae259,
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 Bhubaneswar Mishra",
year = "1994",
month = "1",
day = "1",
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, Bhubaneswar

PY - 1994/1/1

Y1 - 1994/1/1

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

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.

ER -