Title :
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
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;
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
DOI :
10.1109/ICSMC.1995.538435
