Automatic synthesis algorithms for supervisory controllers

Marco Antoniotti, Bud 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 - 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

ASJC Scopus subject areas

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

Fingerprint Dive into the research topics of 'Automatic synthesis algorithms for supervisory controllers'. Together they form a unique fingerprint.

Cite this