Loading…

Applying temporal logic verification and synthesis to manufacturing systems

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...

Full description

Saved in:
Bibliographic Details
Main Authors: Antoniotti, M., Jafari, M., Mishra, B.
Format: Conference Proceeding
Language:English
Subjects:
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
DOI:10.1109/ICSMC.1995.538435