References

  1. Rachid Alami, Raja Chatila, Sara Fleury, Malik Ghallab & Félix Ingrand (1998): An architecture for autonomy. The International Journal of Robotics Research 17(4), pp. 315–337, doi:10.1177/027836499801700402.
  2. University of Applied Sciences Ulm (2009): SmartSoft: Component and Toolchain for Robotics. http://smart-robotics.sourceforge.net/.
  3. Algirdas Avizienis, J-C Laprie, Brian Randell & Carl Landwehr (2004): Basic concepts and taxonomy of dependable and secure computing. IEEE transactions on dependable and secure computing 1(1), pp. 11–33, doi:10.1109/TDSC.2004.2.
  4. Franz Baader (2003): Appendix: description logic terminology. The Description logic handbook: Theory, implementation, and applications, pp. 485–495.
  5. Michael Beetz, Lorenz Mösenlechner & Moritz Tenorth (2010): CRAM - A Cognitive Robot Abstract Machine for everyday manipulation in human environments. In: 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems. IEEE, pp. 1012–1017, doi:10.1109/IROS.2010.5650146.
  6. Michael Beetz, Moritz Tenorth & Jan Winkler (2015): Open-EASE. In: 2015 IEEE International Conference on Robotics and Automation (ICRA). IEEE, pp. 1983–1990, doi:10.1109/ICRA.2015.7139458.
  7. Peter Bishop & Robin Bloomfield (1998): A methodology for safety case development. In: F Redmill & T Anderson: Industrial Perspectives of Safety-critical Systems: Proceedings of the Sixth Safety-critical Systems Symposium, Birminham. Springer, pp. 1–9, doi:10.1007/978-1-4471-1534-2_14.
  8. Davide Brugali & Patrizia Scandurra (2009): Component-based robotic engineering (Part I) [Tutorial]. IEEE Robotics Automation Magazine 16(4), pp. 84–96, doi:10.1109/MRA.2009.934837.
  9. Davide Brugali & Azamat Shakhimardanov (2010): Component-Based Robotic Engineering (Part II). IEEE Robotics Automation Magazine 17(1), pp. 100–112, doi:10.1109/MRA.2010.935798.
  10. Cristiano Castelfranchi & Rino Falcone (2003): From automaticity to autonomy: the frontier of artificial agents. In: Agent autonomy. Springer, pp. 103–136, doi:10.1007/978-1-4419-9198-0_6.
  11. Michael T. Cox (2005): Metacognition in computation: A selected research review. Artificial Intelligence 169(2), pp. 104–141, doi:10.1016/j.artint.2005.10.009. Special Review Issue.
  12. Michael T Cox, Zahiduddin Mohammad, Sravya Kondrakunta, Ventaksampath Raja Gogineni, Dustin Dannenhauer & Othalia Larue (2021): Computational Metacognition. In: Proceedings of the Ninth Annual conference on Advances in Cognitive Systems, pp. 1–20, doi:10.48550/arXiv.2201.12885.
  13. Ruth A David & Maj Gen Paul Nielsen (2016): Defense science board summer study on autonomy. Technical Report. Defense Science Board Washington United States. DTIC number: AD1017790. https://dsb.cto.mil/reports.htm.
  14. Edson de Araújo Silva, Eduardo Valentin, José Reginaldo Hughes Carvalho & Raimundo da Silva Barreto (2021): A survey of Model Driven Engineering in robotics. Journal of Computer Languages 62, pp. 101021, doi:10.1016/j.cola.2020.101021. Available at https://www.sciencedirect.com/science/article/pii/S2590118420300812.
  15. Marco De Bortoli, Stalin Munoz Gutierrez & Gerald Steinbauer-Wagner (2021): Diagnosis of hidden faults in the RCLL. In: 32 International Workshop on Principle of Diagnosis, pp. 1. https://www.hsu-hh.de/imb/wp-content/uploads/sites/677/2021/09/DX-2021_paper_15.pdf.
  16. Huáscar Espinoza, Marco Mahn & Anna Principato (2020): Composable models and Software for Robotics Systems. Technical Report H2020–ICT–732410. RobMoSys – A European Union's Horizon 2020 funded project. https://robmosys.eu/wp-content/uploads/2021/04/D6.8_Final.pdf.
  17. Stan Franklin & Art Graesser (1997): Is It an agent, or just a program?: A taxonomy for autonomous agents. Berlin: Springer Verlag, doi:10.1007/BFb0013570.
  18. Alan G Ganek & Thomas A Corbi (2003): The dawning of the autonomic computing era. IBM systems Journal 42(1), pp. 5–18, doi:10.1147/sj.421.0005.
  19. David Garlan, S-W Cheng, A-C Huang, Bradley Schmerl & Peter Steenkiste (2004): Rainbow: Architecture-based self-adaptation with reusable infrastructure. Computer 37(10), pp. 46–54, doi:10.1109/ICAC.2004.1301377.
  20. Pierre-Emmanuel Hladik, Félix Ingrand, Silvano Dal Zilio & Reyyan Tekin (2021): Hippo: A Formal-Model Execution Engine to Control and Verify Critical Real-Time Systems. Journal of Systems and Software 181, pp. 111033, doi:10.1016/j.jss.2021.111033.
  21. Felix Ingrand (2014): OPRS Development Environment Version 1.1b7. Franois Flix Ingrand. https://homepages.laas.fr/felix/publis-pdf/oprs.pdf.
  22. Félix Ingrand & Malik Ghallab (2017): Deliberation for autonomous robots: A survey. Artificial Intelligence 247, pp. 10–44, doi:10.1016/j.artint.2014.11.003.
  23. Daniel Jackson, Martyn Thomas & Lynette I Millett (2007): Software for dependable systems: Sufficient evidence?. National Academies Press, doi:10.17226/11923.
  24. Stuart Kent (2002): Model driven engineering. In: International conference on integrated formal methods. Springer, pp. 286–298, doi:10.1007/3-540-47884-1_16.
  25. Iuliia Kotseruba & John K Tsotsos (2020): 40 years of cognitive architectures: core cognitive abilities and practical applications. Artificial Intelligence Review 53(1), pp. 17–94, doi:10.1007/s10462-018-9646-y.
  26. John E Laird, Christian Lebiere & Paul S Rosenbloom (2017): A standard model of the mind: Toward a common computational framework across artificial intelligence, cognitive science, neuroscience, and robotics. Ai Magazine 38(4), pp. 13–26, doi:10.1609/aimag.v38i4.2744.
  27. Jean-Claude Laprie (1985): Dependable computing and fault-tolerance. Digest of Papers FTCS-15 10(2), pp. 124, doi:10.1109/FTCSH.1995.532603.
  28. Hector J Levesque & Ronald J Brachman (1985): A fundamental tradeoff in knowledge representation and reasoning. In: Hector J Levesque & Ronald J Brachman: Readings in Knowledge Representation, chapter 4. Morgan Kaufmann, pp. 41–70.
  29. Ivano Malavolta, Grace Lewis, Bradley Schmerl, Patricia Lago & David Garlan (2020): How do you architect your robots? State of the practice and guidelines for ROS-based systems. In: 2020 IEEE/ACM 42nd international conference on software engineering: software engineering in practice (ICSE-SEIP). IEEE, pp. 31–40, doi:10.1145/3377813.3381358. https://ieeexplore.ieee.org/abstract/document/9276566.
  30. Nenad Medvidovic & Richard N Taylor (2000): A classification and comparison framework for software architecture description languages. IEEE Transactions on software engineering 26(1), pp. 70–93, doi:10.1109/32.825767.
  31. Boris Motik, Peter F Patel-Schneider, Bijan Parsia, Conrad Bock, Achille Fokoue, Peter Haase, Rinke Hoekstra, Ian Horrocks, Alan Ruttenberg & Uli Sattler (2009): OWL 2 web ontology language: Structural specification and functional-style syntax. W3C recommendation 27(65), pp. 159.
  32. Nicola Muscettola, P.Pandurang Nayak, Barney Pell & Brian C. Williams (1998): Remote Agent: to boldly go where no AI system has gone before. Artificial Intelligence 103(1), pp. 5–47, doi:10.1016/S0004-3702(98)00068-X. Available at https://www.sciencedirect.com/science/article/pii/S000437029800068X. Artificial Intelligence 40 years later.
  33. Pandurang Nayak, Douglas E Bernard, Gregory Dorais, Edward B Gamble Jr, Bob Kanefsky, James Kurien, William Millar, Nicola Muscettola, Kanna Rajan, Nicolas Rouquette, Benjamin D Smith, William Taylor & Yu wen Tung (1999): Validating the DS-1 remote agent experiment. In: Michael Perry: Proceedings of the Fifth International Symposium on Artificial Intelligence, Robotics and Automation in Space (iSAIRAS '99) 440. Noordwijk, Netherlands : European Space Agency, pp. 349–356. Bibliographic code:1999ESASP.440..349N. https://articles.adsabs.harvard.edu//full/1999ESASP.440..349N/0000349.000.html.
  34. Alberto Olivares-Alarcos, Daniel Beßler, Alaa Khamis, Paulo Gonçalves, Maki K Habib, Julita Bermejo-Alonso, Marcos Barreto, Mohammed Diab, Jan Rosell, João Quintas, Joanna Olszewska, Hirenkumar Nakawala, Edison Pignaton, Amelie Gyrard, Stefano Borgo, Guillem Alenyà, Michael Beetz & Howard Li (2019): A review and comparison of ontology-based approaches to robot autonomy. The Knowledge Engineering Review 34, doi:10.1017/S0269888919000237.
  35. Peyman Oreizy, Michael M Gorlick, Richard N Taylor, Dennis Heimhigner, Gregory Johnson, Nenad Medvidovic, Alex Quilici, David S Rosenblum & Alexander L Wolf (1999): An architecture-based approach to self-adaptive software. IEEE Intelligent Systems and Their Applications 14(3), pp. 54–62, doi:10.1109/5254.769885.
  36. Zenon W Pylyshyn (1988): Computing in cognitive science. University of Western Ontario, Centre for Cognitive Science London. http://www.cse.buffalo.edu/~rapaport/575/F01/Pylyshyn89.pdf.
  37. Morgan Quigley, Ken Conley, Brian Gerkey, Josh Faust, Tully Foote, Jeremy Leibs, Rob Wheeler & Andrew Y Ng (2009): ROS: an open-source Robot Operating System. In: ICRA workshop on open source software 3. Kobe, Japan, pp. 6. http://www.robotics.stanford.edu/~ang/papers/icraoss09-ROS.pdf.
  38. Ansgar Radermacher, Matteo Morelli, Mahmoud Hussein & Reda Nouacer (2021): Designing Drone Systems with Papyrus for Robotics. In: Proceedings of the 2021 Drone Systems Engineering and Rapid Simulation and Performance Evaluation: Methods and Tools Proceedings, DroneSE and RAPIDO '21. Association for Computing Machinery, New York, NY, USA, pp. 29–35, doi:10.1145/3444950.3444956.
  39. Raymond Reiter (2001): Knowledge in action: logical foundations for specifying and implementing dynamical systems. MIT press, doi:10.7551/mitpress/4074.001.0001.
  40. John Rushby (2008): Runtime certification. In: International Workshop on Runtime Verification. Springer, pp. 21–35, doi:10.1007/978-3-540-89247-2_2.
  41. Douglas C Schmidt (2006): Model-driven engineering. Computer-IEEE Computer Society- 39(2), pp. 25, doi:10.1109/MC.2006.58.
  42. Lawrence Shattuck (2015): Transitioning to Autonomy: A Human Systems Integration Perspective. https://human-factors.arc.nasa.gov/workshop/autonomy/download/presentations/Shaddock%20.pdf.
  43. Brian Smith (1982): Reflection and Semantics in a Procedural Language. Tech. Report MIT/LCS/TR-272. MIT, Cambridge, MA.
  44. SPARC (2020): Robotics 2020 Multi-Annual Roadmap for Robotics in Europe. Technical Report Horizon 2020 Call ICT-2017 (ICT-25, ICT-27 & ICT-28). SPARC, The Partnership for Robotics in Europe.
  45. Dennis Stampfer, Alex Lotz, Matthias Lutz & Christian Schlegel (2016): The SmartMDSD toolchain: An integrated MDSD workflow and integrated development environment (ide) for robotics software. Journal of Software Engineering for Robotics (JOSER) 7(1), pp. 3–19, doi:10.6092/JOSER_2016_07_01_p3.
  46. Andreas Steck, Alex Lotz & Christian Schlegel (2011): Model-driven engineering and run-time model-usage in service robotics. ACM SIGPLAN Notices 47(3), pp. 73–82, doi:10.1145/2189751.2047875.
  47. Gerald Steinbauer (2016): Dependability of Autonomous Systems. Faculty of Computer Science and Biomedical Engineering, Graz University of Technology. Cumulative Habilitation thesis.
  48. Gerald Steinbauer, Stefan Loigge & Clemens Mühlbacher (2016): Supervision of Hardware, Software and Behavior of Autonomous Industrial Transport Robots. In: 2016 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C), pp. 298–300, doi:10.1109/QRS-C.2016.44.
  49. Moritz Tenorth & Michael Beetz (2017): Representations for robot knowledge in the KnowRob framework. Artificial Intelligence 247, pp. 151–169, doi:10.1016/j.artint.2015.05.010. Available at https://www.sciencedirect.com/science/article/pii/S0004370215000843. Special Issue on AI and Robotics.
  50. Catherine Tessier (2017): Robots autonomy: Some technical issues. In: W F Lawless, Ranjeev Mittu, Donald Sofge & Stephen Russell: Autonomy and Artificial Intelligence: A Threat or Savior?. Springer, pp. 179–194, doi:10.1007/978-3-319-59719-5_8.
  51. Thomas Ulz, Jakob Ludwiger & Gerald Steinbauer (2019): A robust and flexible system architecture for facing the RoboCup Logistics League challenge. In: Robot World Cup. Springer, pp. 488–499, doi:10.1007/978-3-030-27544-0_40.
  52. Frank Van Harmelen, Vladimir Lifschitz & Bruce Porter (2008): Handbook of knowledge representation. Elsevier.
  53. Markus Waibel, Michael Beetz, Javier Civera, Raffaello D'Andrea, Jos Elfring, Dorian Gálvez-López, Kai Häussermann, Rob Janssen, J.M.M. Montiel, Alexander Perzylo, Björn Schießle, Moritz Tenorth, Oliver Zweigle & René Van De Molengraft (2011): RoboEarth. IEEE Robotics Automation Magazine 18(2), pp. 69–82, doi:10.1109/MRA.2011.941632.
  54. Yingxu Wang, George Baciu, Yiyu Yao, Witold Kinsner, Keith Chan, Bo Zhang, Stuart Hameroff, Ning Zhong, Chu-Ren Hunag, Ben Goertzel, Duoqian Miao, Kenji Sugawara, Guoyin Wang, Jane You, Du Zhang & Haibin Zhu (2010): Perspectives on cognitive informatics and cognitive computing. International Journal of Cognitive Informatics and Natural Intelligence (IJCINI) 4(1), pp. 1–29, doi:10.4018/jcini.2010010101.
  55. Charles B Weinstock, John B Goodenough & John J Hudak (2004): Dependability cases. Technical Report. Carnegie-mellon University, doi:10.1184/R1/6572984.v1. CMU/SEI-2004-TN-016.
  56. Brian C Williams & P Pandurang Nayak (1996): A model-based approach to reactive self-configuring systems. In: Dan Weld, Bill Clancey, Usama M. Fayyad & Howard Shrobe: Proceedings of the national conference on artificial intelligence (AAAI'96) 2. AAAI Press, Portland, Oregon, pp. 971–978, doi:10.5555/1864519.1864531.
  57. Du Zhang & Éric Grégoire (2016): Learning through Overcoming Inconsistencies. In: 2016 27th International Workshop on Database and Expert Systems Applications (DEXA), pp. 121–128, doi:10.1109/DEXA.2016.038.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org