Mission plan specification; Autonomous aerial systems; Adaptive mission plans; Aerial robotic systems
Résumé :
[en] Purpose - The main purpose of this paper is to describe the specification language TML for adaptive mission plans that we designed and implemented for the open source framework Aerostack for aerial robotics.
Approach – The TML language combines a task-based hierarchical approach together with a more flexible representation, rule-based reactive planning, to facilitate adaptability. This approach includes additional notions that abstract programming details. We built an interpreter integrated in the software framework Aerostack. The interpreter was validated with flight experiments for multi-robot missions in dynamic environments.
Findings – The experiments proved that the TML language is easy to use and expressive enough to formulate adaptive missions in dynamic environments. The experiments also showed that the TML interpreter is efficient to execute multi-robot aerial missions and reusable for different platforms. The TML interpreter is able to verify the mission plan before its execution, which increases robustness and safety, avoiding the execution of certain plans that are not feasible.
Originality – One of the main contributions of this work is the availability of a reliable solution to specify aerial mission plans, integrated in an active open-source project with periodic releases. To the best knowledge of the authors, there are not solutions similar to this in other active open-source projects. As additional contributions, TML uses an original combination of representations for adaptive mission plans (i.e., task trees with original abstract notions and rule-based reactive planning) together with the demonstration of its adequacy for aerial robotics.
Disciplines :
Sciences informatiques
Auteur, co-auteur :
Molina, Martin
Suarez-Fernandez, Ramon
Sampedro, Carlos
SANCHEZ LOPEZ, Jose Luis ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > Automation
Campoy, Pascual
Co-auteurs externes :
yes
Langue du document :
Anglais
Titre :
TML: a language to specify aerial robotic missions for the framework Aerostack
Date de publication/diffusion :
13 novembre 2017
Titre du périodique :
International Journal of Intelligent Computing and Cybernetics
Allgeuer, P. and Behnke, S. (2013), “Hierarchical and state-based architectures for robot behavior planning and control”, Proceedings of 8th Workshop on Humanoid Soccer Robots, IEEE-RAS International Conference on Humanoid Robots, Atlanta, GA, pp. 3-5.
Brooks, R. (1990), “The behavior language; user’s guide”, technical report, AI Lab, MIT, Boston, MA.
Champandard, A. (2007), “Understanding behavior trees”, AiGameDev.com, 6.
Colledanchise, M. and Ögren, P. (2014), “How behavior trees modularize ro- bustness and safety in hybrid systems”, IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2014), IEEE, pp. 1482-1488.
Doherty, P., Heintz, F. and Landén, D. (2010), “A distributed task specification language for mixed-initiative delegation”, in Desai, N., Liu, A. and Winikoff, M. (Eds), 13th International Conference, PRIMA 2010, Kollata, LNAI 7057, Springer, Berlin and Heidelberg, November, pp. 42-57.
Downs, J. and Reichgelt, H. (1991), “Integrating classical and reactive planning within an architecture for autonomous agents”, in Joachim, H. (Ed.), Proceedings of European Workshop on Planning EWSP’91, Sankt Augustin, FRG, March 18-19, Springer, Berlin and Heidelberg, pp. 13-26.
Fernández Perdomo, E., Cabrera Gámez, J., Domínguez Brito, A.C. and Hernández Sosa, D. (2010), “Mission specification in underwater robotics”, Journal of Physical Agents, Vol. 4 No. 1, pp. 25-34.
Harel, D. (1987), “Statecharts: a visual formalism for complex systems”, Science of Computer Programming, Vol. 8 No. 3, pp. 231-274.
Humphrey, L., Wolff, E. and Topcu, U. (2014), “Formal specification and synthesis of mission plans for unmanned aerial vehicles”, Proceedings of the AAAI Spring Symposium, Palo Alto, CA, March 24-26.
Isla, D. (2005), “Handling complexity in the Halo 2 AI”, Game Developers Conference, Vol. 12, San Francisco, CA, March 7-11.
Klöckner, A. (2013), “Behavior trees for UAV mission management”, in Horbach, M. (Ed.), INFORMATIK 2013 volume P-220 of GI-Edition-Lecture Notes in Informatics(LNI) Proceedings, Koblenz, September 16-20, pp. 57-68.
Klöckner, A., van der Linden, F. and Zimmer, D. (2014), “The modelica behavior trees library: mission planning in continuous-time for unmanned aircraft”, Proceedings of the 10th International Modelica Conference, The Modelica Association, No. 96, pp. 727-736, available at: https://modelica.org/events/modelica2014/proceedings
Konolige, K. (1997), “Colbert: a language for reactive control in Sapphira”, in Gerhard, B., Christopher, H. and Bernhard, N. (Eds), KI-97: Proceedings Advances in Artificial Intelligence 21st Annual German Conference on Artificial Intelligence, Freiburg, September 9-12, Springer, Berlin and Heidelberg, pp. 31-52.
Kurt, A. and Özgüner, Ü. (2013), “Hierarchical finite state machines for autonomous mobile systems”, Control Engineering Practice, Vol. 21 No. 2, pp. 184-194.
Loetzsch, M., Risler, M. and Jungel, M. (2006), “XABSL-a pragmatic approach to behavior engineering”, IEEE/RSJ International Conference on Intelligent Robots and Systems, IEEE, October, pp. 5124-5129.
MacKenzie, D. (1997), “A design methodology for the configuration of behavior-based mobile robots”, PhD dissertation, Georgia Institute of Technology, Atlanta, GA.
Marzinotto, A., Colledanchise, M., Smith, C. and Ögren, P. (2014), “Towards a unified behavior trees framework for robot control”, IEEE International Conference on Robotics and Automation (ICRA), IEEE, pp. 5420-5427.
Mateas, M. and Stern, A. (2003), “Façade: an experiment in building a fully-realized interactive drama”, Game Developers Conference, Vol. 2, San Jose, CA, March 4-8.
Molina, M., Díaz Moreno, A., Palacios, D., Suárez Fernández, R., Sánchez López, J.L., Sampedro Pérez, C., Bavle, H. and Campoy Cervera, P. (2016), “Specifying complex missions for aerial robotics in dynamic environments”, The International Micro Air Vehicle Conference and Competition (IMAV 2016), Beijing, October 17-21.
Mueller, E.T. (2004), “A tool for satisfiability-based commonsense reasoning in the event calculus”, FLAIRS Conference Vol. 4, Miami Beach, FL, May 17-19.
Mueller, E.T. (2014), Commonsense Reasoning: An Event Calculus based Approach, Morgan Kaufmann, Waltham, MA.
Nicolescu, M.N. and Matarić, M.J. (2002), “A hierarchical architecture for behavior-based robots”, Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems: Part 1, ACM, July, pp. 227-233.
Ögren, P. (2012), “Increasing modularity of UAV control systems using computer game behavior trees”, AIAA Guidance, Navigation and Control Conference, AIAA, Minneapolis, MN, August 13-16, pp. 2012-4458.
Olsson, M. (2016), “Behavior trees for decision-making in autonomous driving”, Master’s thesis, KTH Royal Institute of Technology, Stockholm.
Ridao, P., Yuh, J., Batlle, J. and Sugihara, K. (2005), “On AUV control architecture”, Proceedings of the 2000 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2000), Vol. 2, pp. 855-860.
Risler, M. (2009), “Behavior control for single and multiple autonomous agents based on hierarchical finite state machines”, PhD dissertation, Fortschritt-Berichte VDI, Technische Universitt Darmstadt, Darmstadt.
Rothwell, C., Eggert, A., Patzek, M.J., Bearden, G., Calhoun, G.L. and Humphrey, L.R. (2013), “Human-computer interface concepts for verifiable mission specification, planning, and management”, AIAA Infotech@ Aerospace (I@ A) Conference, p. 4804.
Sanchez-Lopez, J.L., Molina, M., Bavle, H., Sampedro, C., Suarez Fernandez, R.A. and Campoy, P. (2017), “A multi-layered component-based approach for the development of aerial robotic systems: the aerostack framework”, Journal of Intelligent & Robotic Systems, Vol. 88 Nos 2-4, pp. 683-709.
Sanchez-Lopez, J.L., Suarez Fernandez, R.A., Bavle, H., Sampedro, C., Molina, M., Pestana, J. and Campoy, P. (2016), “AEROSTACK: an architecture and open-source software framework for aerial robotics”, The 2016 International Conference on Unmanned Aircraft Systems ICUAS 2016, Arlington, VA.
Santamaria, E., Royo, P., Barrado, C., Pastor, E., López, J. and Prats, X. (2008), “Mission aware flight planning for unmanned aerial systems”, Proceedings of AIAA Guidance, Navigation, and Control Conference and Exhibit, Honolulu, HI, August.
Schwartz, B., Nägele, L., Angerer, A. and MacDonald, B.A. (2014), “Towards a graphical language for quadrotor missions”, Workshop on Domain-Specific Languages and models for Robotic systems, Bergamo, October.
Simmons, R. and Apfelbaum, D. (1998), “A task description language for robot control”, Proceedings 1998 IEEE/RSJ International Conference on Intelligent Robots and Systems (Vol. 3), pp. 1931-1937.
Yannakakis, M. (2000), “Hierarchical state machines”, IFIP International Conference on Theoretical Computer Science, Springer, Berlin and Heidelberg, pp. 315-330.
