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