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).
Citazione: | 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). |
Tipo: | paper |
Carattere della pubblicazione: | Scientifica |
Presenza di un coautore afferente ad Istituzioni straniere: | Si |
Titolo: | Applying temporal logic verification and synthesis to manufacturing systems |
Autori: | Antoniotti, M; Jafari, M; Mishra, B |
Autori: | ANTONIOTTI, MARCO (Primo) |
Data di pubblicazione: | 1995 |
Lingua: | English |
Nome del convegno: | IEEE International Conference on Systems, Man and Cybernetics, 1995. Intelligent Systems for the 21st Century 22-25 October |
ISBN: | 0-7803-2560-5 |
Appare nelle tipologie: | 02 - Intervento a convegno |