Including control in the definition of a programming language for multi-robots

Describes a concurrent programming language, named IAda, for robot applications. IAda is based on the Ada language and includes two programming levels: the first one to perform concurrent applications with tasks or procedures written in Ada, and the second one to control the execution of the previous. To reach this second goal, the authors include, in the definition of this language, a constraint scheme whose semantic is to verify properties during the execution of the task level program. The authors describe this language and its construction to show the high portability of IAda.<<ETX>>

[1]  Zoran Ognjanovic,et al.  An approach to the modeling of the highest control level of flexible manufacturing cell , 1990, Robotica.

[2]  D. Duhaut,et al.  Integration of a Constraint Scheme in a Programming Language for Multi-Robots , 1992 .

[3]  B. Espiau,et al.  A Synchronous Approach for Control Sequencing in Robotics Application , 1990, Proceedings of the IEEE International Workshop on Intelligent Motion Control.

[4]  T. Lozano-Perez,et al.  Robot programming , 1983, Proceedings of the IEEE.

[5]  Ingemar J. Cox,et al.  Concurrent Programming and Robotics , 1989, Int. J. Robotics Res..

[6]  S. Tu,et al.  Applying Petri net reduction to support Ada-tasking deadlock detection , 1990, Proceedings.,10th International Conference on Distributed Computing Systems.