Title :
Propositional Logic Applied To Execution Control
Author :
Degallaix, B. ; Thibault, J. ; Ghallab, M.
Author_Institution :
L. A.A.S. - C. N.R.S.
Keywords :
Automatic control; Connectors; Control systems; Feedback; Logic; Mobile robots; Power system modeling; Robotics and automation; Safety; Surveillance;
Conference_Titel :
Intelligent Robots and Systems, 1992., Proceedings of the 1992 lEEE/RSJ International Conference on
Print_ISBN :
0-7803-0737-2
DOI :
10.1109/IROS.1992.587357
