Discrete event models + temporal logic = supervisory controller: automatic synthesis of locomotion controllers

Marco Antoniotti, Bhubaneswar Mishra

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

In this paper, we address the problem of the synthesis of controller programs for a variety of robotics and manufacturing tasks. The problem we choose for test and illustrative purposes is the standard 'Walking Machine Problem,' a representative instance of a real hybrid problem with both logical/discrete and continuous properties and strong mutual influence without any reasonable separation. We aim to produce a 'compiler technology' for this class of problems in a manner analogous to the development of the so-called 'Silicon Compilers' for the VLSI technology. To cope with the difficulties inherent to the problem, we resort to a novel approach that combines many key ideas from a variety of disciplines: namely, Discrete Event Supervisory Systems [14] Petri Nets approaches [8], [10] and Temporal Logic [5].

Original languageEnglish (US)
Title of host publicationProceedings - IEEE International Conference on Robotics and Automation
PublisherIEEE
Pages1441-1446
Number of pages6
Volume2
StatePublished - 1995
EventProceedings of the 1995 IEEE International Conference on Robotics and Automation. Part 1 (of 3) - Nagoya, Jpn
Duration: May 21 1995May 27 1995

Other

OtherProceedings of the 1995 IEEE International Conference on Robotics and Automation. Part 1 (of 3)
CityNagoya, Jpn
Period5/21/955/27/95

Fingerprint

Temporal logic
Controllers
Petri nets
Robotics
Silicon

ASJC Scopus subject areas

  • Software
  • Control and Systems Engineering

Cite this

Antoniotti, M., & Mishra, B. (1995). Discrete event models + temporal logic = supervisory controller: automatic synthesis of locomotion controllers. In Proceedings - IEEE International Conference on Robotics and Automation (Vol. 2, pp. 1441-1446). IEEE.

Discrete event models + temporal logic = supervisory controller : automatic synthesis of locomotion controllers. / Antoniotti, Marco; Mishra, Bhubaneswar.

Proceedings - IEEE International Conference on Robotics and Automation. Vol. 2 IEEE, 1995. p. 1441-1446.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Antoniotti, M & Mishra, B 1995, Discrete event models + temporal logic = supervisory controller: automatic synthesis of locomotion controllers. in Proceedings - IEEE International Conference on Robotics and Automation. vol. 2, IEEE, pp. 1441-1446, Proceedings of the 1995 IEEE International Conference on Robotics and Automation. Part 1 (of 3), Nagoya, Jpn, 5/21/95.
Antoniotti M, Mishra B. Discrete event models + temporal logic = supervisory controller: automatic synthesis of locomotion controllers. In Proceedings - IEEE International Conference on Robotics and Automation. Vol. 2. IEEE. 1995. p. 1441-1446
Antoniotti, Marco ; Mishra, Bhubaneswar. / Discrete event models + temporal logic = supervisory controller : automatic synthesis of locomotion controllers. Proceedings - IEEE International Conference on Robotics and Automation. Vol. 2 IEEE, 1995. pp. 1441-1446
@inproceedings{ea163b0766f94b5c938bc993f37b9ff7,
title = "Discrete event models + temporal logic = supervisory controller: automatic synthesis of locomotion controllers",
abstract = "In this paper, we address the problem of the synthesis of controller programs for a variety of robotics and manufacturing tasks. The problem we choose for test and illustrative purposes is the standard 'Walking Machine Problem,' a representative instance of a real hybrid problem with both logical/discrete and continuous properties and strong mutual influence without any reasonable separation. We aim to produce a 'compiler technology' for this class of problems in a manner analogous to the development of the so-called 'Silicon Compilers' for the VLSI technology. To cope with the difficulties inherent to the problem, we resort to a novel approach that combines many key ideas from a variety of disciplines: namely, Discrete Event Supervisory Systems [14] Petri Nets approaches [8], [10] and Temporal Logic [5].",
author = "Marco Antoniotti and Bhubaneswar Mishra",
year = "1995",
language = "English (US)",
volume = "2",
pages = "1441--1446",
booktitle = "Proceedings - IEEE International Conference on Robotics and Automation",
publisher = "IEEE",

}

TY - GEN

T1 - Discrete event models + temporal logic = supervisory controller

T2 - automatic synthesis of locomotion controllers

AU - Antoniotti, Marco

AU - Mishra, Bhubaneswar

PY - 1995

Y1 - 1995

N2 - In this paper, we address the problem of the synthesis of controller programs for a variety of robotics and manufacturing tasks. The problem we choose for test and illustrative purposes is the standard 'Walking Machine Problem,' a representative instance of a real hybrid problem with both logical/discrete and continuous properties and strong mutual influence without any reasonable separation. We aim to produce a 'compiler technology' for this class of problems in a manner analogous to the development of the so-called 'Silicon Compilers' for the VLSI technology. To cope with the difficulties inherent to the problem, we resort to a novel approach that combines many key ideas from a variety of disciplines: namely, Discrete Event Supervisory Systems [14] Petri Nets approaches [8], [10] and Temporal Logic [5].

AB - In this paper, we address the problem of the synthesis of controller programs for a variety of robotics and manufacturing tasks. The problem we choose for test and illustrative purposes is the standard 'Walking Machine Problem,' a representative instance of a real hybrid problem with both logical/discrete and continuous properties and strong mutual influence without any reasonable separation. We aim to produce a 'compiler technology' for this class of problems in a manner analogous to the development of the so-called 'Silicon Compilers' for the VLSI technology. To cope with the difficulties inherent to the problem, we resort to a novel approach that combines many key ideas from a variety of disciplines: namely, Discrete Event Supervisory Systems [14] Petri Nets approaches [8], [10] and Temporal Logic [5].

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

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

M3 - Conference contribution

AN - SCOPUS:0029201990

VL - 2

SP - 1441

EP - 1446

BT - Proceedings - IEEE International Conference on Robotics and Automation

PB - IEEE

ER -