{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T22:09:43Z","timestamp":1767650983741},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2014,7,30]],"date-time":"2014-07-30T00:00:00Z","timestamp":1406678400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["K\u00fcnstl Intell"],"published-print":{"date-parts":[[2014,8]]},"DOI":"10.1007\/s13218-014-0308-1","type":"journal-article","created":{"date-parts":[[2014,7,29]],"date-time":"2014-07-29T07:20:45Z","timestamp":1406618445000},"page":"199-207","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":19,"title":["Reconfigurable Autonomy"],"prefix":"10.1007","volume":"28","author":[{"given":"Louise A.","family":"Dennis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Fisher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonathan M.","family":"Aitken","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sandor M.","family":"Veres","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yang","family":"Gao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Affan","family":"Shaukat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guy","family":"Burroughes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,7,30]]},"reference":[{"key":"308_CR1","doi-asserted-by":"crossref","unstructured":"Dennis LA, Fisher M, Lisitsa A, Lincoln N, Veres SM (2010) Satellite control using rational agent programming. IEEE Intell Syst 25(3):92\u201397","DOI":"10.1109\/MIS.2010.88"},{"issue":"9","key":"308_CR2","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1145\/2500468.2494558","volume":"56","author":"M Fisher","year":"2013","unstructured":"Fisher M, Dennis LA, Webster M (2013) Verifying autonomous systems. ACM Commun 56(9):84\u201393","journal-title":"ACM Commun"},{"key":"308_CR3","unstructured":"Verfaillie G, Charmeau M (2006) A generic modular architecture for the control of an autonomous spacecraft. In: Proceedings of the 5th international workshop on planning and scheduling for space (IWPSS), 2006"},{"key":"308_CR4","unstructured":"Charmeau M, Pouly J, Bensena E, Lemaitre M (2008) Testing spacecraft autonomy with AGATA. In: Proceedings of the 9th international symposium on artificial intelligence, robotics and automation in space (ISAIRAS), 2008"},{"key":"308_CR5","doi-asserted-by":"crossref","unstructured":"Aitken JM, Veres SM, Judge M (2014) Adaptation of system configuration under the robot operating system. In: Proceedings of the 19th world congress of the international federation of automatic control (IFAC), 2014","DOI":"10.3182\/20140824-6-ZA-1003.02531"},{"key":"308_CR6","unstructured":"IBM (2003) An architectural report for autonomic computing. IBM Technical Report"},{"issue":"3","key":"308_CR7","doi-asserted-by":"crossref","first-page":"350","DOI":"10.1147\/sj.413.0350","volume":"41","author":"JP Bigus","year":"2002","unstructured":"Bigus JP, Schlosnagle DA, Pilgrim JR, Mills WN III, Diao Y (2002) ABLE: a toolkit for building multiagent autonomic systems. IBM Syst J 41(3):350\u2013371","journal-title":"IBM Syst J"},{"issue":"5\u20136","key":"308_CR8","doi-asserted-by":"crossref","first-page":"527","DOI":"10.1016\/S0020-7373(87)80013-5","volume":"27","author":"B Muir","year":"1987","unstructured":"Muir B (1987) Trust between humans and machines, and the design of decision aids. Int J Man Mach Stud 27(5\u20136):527\u2013539","journal-title":"Int J Man Mach Stud"},{"key":"308_CR9","doi-asserted-by":"crossref","unstructured":"Dalpaiz F, Giogini P, Myopoulos J (2009) An architecture for requirements-driven self-reconfiguration. In: Proceedings of the advanced information, systems engineering, 2009","DOI":"10.1007\/978-3-642-02144-2_22"},{"key":"308_CR10","unstructured":"Lomuscio A, Ezekiel J, Molnar L, Veres S (2011) Verifying fault tolerance and self-diagnosability of an autonomous underwater vehicle. In: Proceedings of the international conference on artificial intelligence (IJCAI), pp 1659\u20131664, 2011"},{"key":"308_CR11","doi-asserted-by":"crossref","unstructured":"Ippolito C, Joo S, Al-Ali K, Yeh YH (2008) Polymorphic control reconfiguration in an autonomous UAV with UGV collaboration. In: Proceedings of the IEEE aerospace conference, pp 1\u201314, 2008","DOI":"10.1109\/AERO.2008.4526291"},{"key":"308_CR12","unstructured":"Kandiyil R, Gao Y (2012) A generic domain configurable planner using HTN for autonomous multi-agent space system. In: Proceedings of the international symposium on artificial intelligence, robotics and automation in space (i-Sairas), 2012"},{"key":"308_CR13","unstructured":"Delfa Victora J, Fratini S, Policella N, Gao Y, Von Stryk O (2013) QuijoteExpress\u2014a novel APSI planning system for future space robotic missions. In: Proceedings of the ESA workshop on advanced space technologies for robotics and automation (ASTRA), 2013"},{"key":"308_CR14","unstructured":"Delfa Victora J, Policella N, Gao Y, Von Stryk O (2012) Design concepts for a new temporal planning paradigm. In: Proceedings of the international conference on automated planning and scheduling (ICAPS), Workshop on planning and scheduling with timelines, 2012"},{"key":"308_CR15","doi-asserted-by":"crossref","unstructured":"Konur S, Fisher M, Dobson S, Knox S (2014) Formal verification of a pervasive messaging system. Form Asp Comput 26(4):677\u2013694","DOI":"10.1007\/s00165-013-0277-4"},{"key":"308_CR16","unstructured":"Lincoln N, Veres SM, Dennis LA, Fisher M, Lisitsa A (2010) An agent based framework for adaptive control and decision making of autonomous vehicles. In: Proceedings of the IFAC workshop on adaptation and learning in control and signal processing (ALCOSP), 2010"},{"issue":"4","key":"308_CR17","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/MCI.2013.2279559","volume":"8","author":"N Lincoln","year":"2013","unstructured":"Lincoln N, Veres SM, Dennis LA, Fisher M, Lisitsa A (2013) Autonomous asteroid exploration by rational agents. IEEE Comput Intell 8(4):25\u201338","journal-title":"IEEE Comput Intell"},{"issue":"3\u20134","key":"308_CR18","doi-asserted-by":"crossref","first-page":"311","DOI":"10.3166\/ejc.15.311-330","volume":"15","author":"J Stoustrup","year":"2009","unstructured":"Stoustrup J (May 2009) Plug & play control: control technology towards new challenges. Eur J Control 15(3\u20134):311\u2013330","journal-title":"Eur J Control"},{"key":"308_CR19","doi-asserted-by":"crossref","unstructured":"Valetto G, Kaiser G (2003) Using process technology to control and coordinate software adaptation. In: Proceedings of the 25th international conference on software engineering (ICSE), 2003","DOI":"10.1109\/ICSE.2003.1201206"},{"key":"308_CR20","doi-asserted-by":"crossref","unstructured":"Parekh J, Kaiser G, Gross P, Valetto G (2006) Retrofitting autonomic capabilities onto legacy systems. J Clust Comput 9(2):141\u2013159","DOI":"10.1007\/s10586-006-7560-6"},{"key":"308_CR21","unstructured":"Veres SM (2008) Natural language programming of agents and robotic devices. SysBrain, 2008"},{"key":"308_CR22","unstructured":"Veres SM, Molnar L (2010) Documents for intelligent agents in english. In: Proceedings of IASTED conference on artificial intelligence applications, Innsbruck, Austria. IASTED, 2010"},{"key":"308_CR23","doi-asserted-by":"crossref","unstructured":"Webster M, Fisher M, Cameron N, Jump M ( 2014) Generating certification evidence for autonomous unmanned aircraft using model checking and simulation. J Aerosp Inf Syst 11(5):258\u2013279","DOI":"10.2514\/1.I010096"},{"key":"308_CR24","unstructured":"Wooldridge M (2002) An introduction to multiagent systems. John Wiley & Sons, NY"},{"key":"308_CR25","doi-asserted-by":"crossref","unstructured":"Sterritt R, Hinchey M (2010) SPAACE IV: self-properties for an autonomous & autonomic computing environment\u2014part IV a newish hope. In: Proceedings of the 7th IEEE international conference and workshops on engineering of autonomic and autonomous systems (EASe), 2010","DOI":"10.1109\/EASe.2010.29"},{"key":"308_CR26","unstructured":"Murch R (2004) Autonomic computing. IBM Press, Englewood Cliffs"}],"container-title":["KI - K\u00fcnstliche Intelligenz"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-014-0308-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s13218-014-0308-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-014-0308-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,13]],"date-time":"2019-08-13T08:36:08Z","timestamp":1565685368000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s13218-014-0308-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,7,30]]},"references-count":26,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2014,8]]}},"alternative-id":["308"],"URL":"https:\/\/doi.org\/10.1007\/s13218-014-0308-1","relation":{},"ISSN":["0933-1875","1610-1987"],"issn-type":[{"value":"0933-1875","type":"print"},{"value":"1610-1987","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,7,30]]}}}