Talk amongst yourselves: getting multiple autonomous vehicles to cooperate

This paper would describe our efforts to define a common control language (CCL), its interpreter/compiler integrated with an optimization planner using kQ-search. The objectives for this language is to provide the representation of missions, real-time mission re-directs and task allocation between an operator and multiple vehicles to support cooperative autonomous behavior.

[1]  Rodney A. Brooks,et al.  Elephants don't play chess , 1990, Robotics Auton. Syst..

[2]  Michael A. Arbib,et al.  A formal model of computation for sensory-based robotics , 1989, IEEE Trans. Robotics Autom..

[3]  Davide Sangiorgi,et al.  Communicating and Mobile Systems: the π-calculus, , 2000 .

[4]  Apostolos Nikolaos Refenes,et al.  PARLE: A language for expressing parallelism and integrating symbolic and numeric computations , 1989 .

[5]  Shashi Phoha,et al.  Flexible Optimization and Evolution of Underwater Autonomous Agents , 1999, RSFDGrC.

[6]  David H. Wolpert,et al.  No free lunch theorems for optimization , 1997, IEEE Trans. Evol. Comput..

[7]  Eric Horvitz,et al.  Computational tradeoffs under bounded resources , 2001, Artif. Intell..

[8]  Peter Wegner,et al.  Turing’s Ideas and Models of Computation , 2004 .

[9]  Shlomo Zilberstein,et al.  Using Anytime Algorithms in Intelligent Systems , 1996, AI Mag..

[10]  Christiane Duarte,et al.  Defining a common control language for multiple autonomous vehicle operation , 2000, OCEANS 2000 MTS/IEEE Conference and Exhibition. Conference Proceedings (Cat. No.00CH37158).

[11]  C. Teuscher,et al.  Alan Turing: Life and Legacy of a Great Thinker , 2004, Springer Berlin Heidelberg.

[12]  Pattie Maes,et al.  Designing autonomous agents: Theory and practice from biology to engineering and back , 1990, Robotics Auton. Syst..

[13]  Barry Brian Werger,et al.  Ayllu: Distributed Port-Arbitrated Behavior-Based Control , 2000 .

[14]  E. Eberbach.  $-calculus Bounded Rationality = Process Algebra + Anytime Algorithms , 2001 .

[15]  Robin Milner,et al.  Communicating and mobile systems - the Pi-calculus , 1999 .

[16]  Andrzej Skowron,et al.  New Directions in Rough Sets, Data Mining, and Granular-Soft Computing , 1999, Lecture Notes in Computer Science.