Mission Operations and Autonomy

[1]  Yang Gao,et al.  Ontology-Based Self-Reconfiguring Guidance, Navigation, and Control for Planetary Rovers , 2016, J. Aerosp. Inf. Syst..

[2]  Affan Shaukat,et al.  Self-reconfigurable robotics architecture utilising fuzzy and deliberative reasoning , 2015, 2015 SAI Intelligent Systems Conference (IntelliSys).

[3]  C. McInnes,et al.  Self-organising satellite constellation in geostationary earth orbit , 2015, IEEE Transactions on Aerospace and Electronic Systems.

[4]  Yang Gao,et al.  Reconfigurable SLAM Utilising Fuzzy Reasoning , 2015 .

[5]  M. A. Badamchizadeh,et al.  Improved Takagi-Sugeno fuzzy model-based control of flexible joint robot via Hybrid-Taguchi genetic algorithm , 2014, Eng. Appl. Artif. Intell..

[6]  Daniel Helmick,et al.  Mars Science Laboratory Algorithms and Flight Software for Autonomously Drilling Rocks , 2013, J. Field Robotics.

[7]  H. Schroeven-Deceuninck,et al.  A Facility for the Verification & Validation of Robotics & Autonomy for Planetary Exploration , 2013 .

[8]  Moritz Tenorth,et al.  KnowRob: A knowledge processing infrastructure for cognition-enabled robots , 2013, Int. J. Robotics Res..

[9]  Marisol Garcia Valls,et al.  iLAND: An Enhanced Middleware for Real-Time Reconfiguration of Service Oriented Distributed Real-Time Systems , 2013 .

[10]  José Aguilar,et al.  ARMISCOM: Autonomic reflective middleware for management service composition , 2012, 2012 Global Information Infrastructure and Networking Symposium (GIIS).

[11]  Frank Eliassen,et al.  A development framework and methodology for self-adapting applications in ubiquitous computing environments , 2012, J. Syst. Softw..

[12]  Marco Aurélio Gerosa,et al.  A systematic literature review of service choreography adaptation , 2012, Service Oriented Computing and Applications.

[13]  Tewfik Ziadi,et al.  RobotML, a Domain-Specific Language to Design, Simulate and Deploy Robotic Applications , 2012, SIMPAR.

[14]  Vincenzo Grassi,et al.  MOSES: A Framework for QoS Driven Runtime Adaptation of Service-Oriented Systems , 2012, IEEE Transactions on Software Engineering.

[15]  Gregory M. P. O'Hare,et al.  A Programming Framework for Multi-agent Coordination of Robotic Ecologies , 2012, ProMAS.

[16]  Elias N. Zois,et al.  Introducing parallelization & performance optimization in SIMULUS based operational simulators , 2012, SimuTools.

[17]  Nur Izura Udzir,et al.  Adaptable Decentralized Service Oriented Architecture , 2011, J. Syst. Softw..

[18]  Steven Dubowsky,et al.  Cooperative control of modular space robots , 2011, Auton. Robots.

[19]  W. L. Yeung,et al.  A formal and visual modeling approach to choreography based web services composition and conformance verification , 2011, Expert Syst. Appl..

[20]  Michael Schneider,et al.  Reasoning in the OWL 2 Full Ontology Language Using First-Order Automated Theorem Proving , 2011, CADE.

[21]  Radu Calinescu,et al.  Dynamic QoS Management and Optimization in Service-Based Systems , 2011, IEEE Transactions on Software Engineering.

[22]  Joseph Sifakis,et al.  Rigorous Component-Based System Design Using the BIP Framework , 2011, IEEE Software.

[23]  Hans-Arno Jacobsen,et al.  A distributed framework for reliable and efficient service choreographies , 2011, WWW.

[24]  Amedeo Cesta,et al.  MrSPOCK—STEPS IN DEVELOPING AN END‐TO‐END SPACE APPLICATION , 2011, Comput. Intell..

[25]  Arnaud Lanoix,et al.  Using Temporal Logic for Dynamic Reconfigurations of Components , 2010, FACS.

[26]  Corrado Moiso,et al.  Componentware for Autonomic Supervision Services: The CASCADAS Approach , 2010 .

[27]  Éric Rutten,et al.  Reactive Model-Based Control of Reconfiguration in the Fractal Component-Based Model , 2010, CBSE.

[28]  Vicente Navarro,et al.  DABYS: EGOS Generic Database System , 2010 .

[29]  Mario Merri,et al.  Smart Software for Complex Space Mission Data Systems at the European Space Agency , 2009 .

[30]  John Mylopoulos,et al.  An Architecture for Requirements-Driven Self-reconfiguration , 2009, CAiSE.

[31]  Mark Woods,et al.  Autonomous science for an ExoMars Rover–like mission , 2009, J. Field Robotics.

[32]  Frederic Py,et al.  A deliberative architecture for AUV control , 2008, 2008 IEEE International Conference on Robotics and Automation.

[33]  Colin Haddow,et al.  EGOS Core Components , 2008 .

[34]  Simon Lacroix,et al.  Decisional autonomy of planetary rovers , 2007, J. Field Robotics.

[35]  Jeff Magee,et al.  Self-Managed Systems: an Architectural Challenge , 2007, Future of Software Engineering (FOSE '07).

[36]  J.J. Biesiadecki,et al.  The Mars Exploration Rover surface mobility flight software driving ambition , 2006, 2006 IEEE Aerospace Conference.

[37]  M.G. Hinchey,et al.  Autonomous and autonomic systems: a paradigm for future space exploration missions , 2006, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[38]  Wei-Tek Tsai,et al.  WSDL-based automatic test case generation for Web services testing , 2005, IEEE International Workshop on Service-Oriented System Engineering (SOSE'05).

[39]  Joseph F. Snyder,et al.  An overview of the Mars exploration rovers' flight software , 2005, 2005 IEEE International Conference on Systems, Man and Cybernetics.

[40]  Piergiorgio Bertoli,et al.  Automated composition of Web services via planning in asynchronous domains , 2005, Artif. Intell..

[41]  Raymond A. Paul,et al.  Automated model checking and testing for composite Web services , 2005, Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05).

[42]  Trent M. Hare,et al.  Next-generation robotic planetary reconnaissance missions: A paradigm shift , 2005 .

[43]  Mark W. Powell,et al.  Mars Exploration Rover Operations with the Science Activity Planner , 2005, Proceedings of the 2005 IEEE International Conference on Robotics and Automation.

[44]  Rob Sherwood,et al.  Using Autonomy Flight Software to Improve Science Return on Earth Observing One , 2005, J. Aerosp. Comput. Inf. Commun..

[45]  R. Sargent,et al.  Mission planning and target tracking for autonomous instrument placement , 2005, 2005 IEEE Aerospace Conference.

[46]  Adam Sweet,et al.  Li vingstone Model -Based Diagnosis of Earth Observing One , 2004 .

[47]  A. Jain,et al.  Recent developments in the ROAMS planetary rover simulation environment , 2004, 2004 IEEE Aerospace Conference Proceedings (IEEE Cat. No.04TH8720).

[48]  Maria Fox,et al.  PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains , 2003, J. Artif. Intell. Res..

[49]  Ron Chrisley,et al.  Embodied artificial intelligence , 2003, Artif. Intell..

[50]  Félix Ingrand,et al.  An execution control system for autonomous robots , 2002, Proceedings 2002 IEEE International Conference on Robotics and Automation (Cat. No.02CH37292).

[51]  Marco Pistore,et al.  NuSMV 2: An OpenSource Tool for Symbolic Model Checking , 2002, CAV.

[52]  Rob Sherwood,et al.  ASPEN-Automated Planning and Scheduling for Space Mission Operation , 2000 .

[53]  P. Pandurang Nayak,et al.  Remote Agent: To Boldly Go Where No AI System Has Gone Before , 1998, Artif. Intell..

[54]  P. Pandurang Nayak,et al.  A Model-Based Approach to Reactive Self-Configuring Systems , 1996, AAAI/IAAI, Vol. 2.

[55]  Rachid Alami,et al.  PRS: a high level supervision and control language for autonomous mobile robots , 1996, Proceedings of IEEE International Conference on Robotics and Automation.

[56]  Malik Ghallab,et al.  IxTeT: an integrated approach for plan generation and scheduling , 1995, Proceedings 1995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation. ETFA'95.

[57]  Tom Bylander,et al.  The Computational Complexity of Propositional STRIPS Planning , 1994, Artif. Intell..

[58]  Malik Ghallab,et al.  Representation and Control in IxTeT, a Temporal Planner , 1994, AIPS.

[59]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[60]  Rina Dechter,et al.  Temporal Constraint Networks , 1989, Artif. Intell..

[61]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[62]  E. Tronci,et al.  Validation and Verification Issues in a Timeline-Based Planning System , 2010 .

[63]  Paul Morris,et al.  Planning Applications for Three Mars Missions with Ensemble , 2007 .

[64]  Adam Sweet,et al.  Lessons Learned in the Livingstone 2 on Earth Observing One Flight Experiment , 2005 .

[65]  J. Kephart,et al.  The Vision of Autonomic Computing , 2003, Computer.

[66]  Keith Golden,et al.  Autonomous rovers for Mars exploration , 1999, 1999 IEEE Aerospace Conference. Proceedings (Cat. No.99TH8403).

[67]  Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence The RoboEarth Language: Representing and Exchanging Knowledge about Actions, Objects, and Environments (Extended Abstract) ∗ , 2022 .