Applying temporal logic verification and synthesis to manufacturing systems

Author

Antoniotti, Marco ; Jafari, Mohsen ; Mishra, Bud

Author_Institution

Robotics Res. Lab., Courant Inst. of Math. Sci., New York, NY, USA

Volume

5

fYear

1995

fDate

22-25 Oct 1995

Firstpage

4113

Abstract

In this paper we describe an application of a prototype system that combines synthesis and verification techniques, capable of building discrete controller software for a variety of robotics and manufacturing tasks. We developed and used the CONTROL-D tool to specify the requirements of a real life example: a tray pack line built for the Combat Ration Advanced Manufacturing Technology Demonstration of Rutgers University

Keywords

computer aided production planning; discrete event systems; food processing industry; manufacturing data processing; production control; software tools; temporal logic; CONTROL-D tool; CRAMTD project; Rutgers University; discrete controller software; discrete event systems; food processing industry; manufacturing systems; robotics; temporal logic synthesis; temporal logic verification; tray packing; Application software; Automatic control; Control system synthesis; Control systems; Industrial engineering; Laboratories; Logic testing; Manufacturing systems; Service robots; Software tools;

fLanguage

English

Publisher

ieee

Conference_Titel

Systems, Man and Cybernetics, 1995. Intelligent Systems for the 21st Century., IEEE International Conference on

Conference_Location

Vancouver, BC

Print_ISBN

0-7803-2559-1

Type

conf

DOI

10.1109/ICSMC.1995.538435

Filename

538435