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) [10.1109/ICSMC.1995.538435].
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) [10.1109/ICSMC.1995.538435]. | |
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 | |
Digital Object Identifier (DOI): | http://dx.doi.org/10.1109/ICSMC.1995.538435 | |
Appare nelle tipologie: | 02 - Intervento a convegno |