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
Antoniotti, M., Jafari, M., Mishra, B. (1995). Applying temporal logic verification and synthesis to manufacturing systems. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1995. Intelligent Systems for the 21st Century. (pp.4113-4118). IEEE [10.1109/ICSMC.1995.538435].
Applying temporal logic verification and synthesis to manufacturing systems
ANTONIOTTI, MARCOPrimo
;
1995
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
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
