Engineering Resilient Space Systems

[1]  David M. Harland,et al.  New frontiers in the solar system , 2015 .

[2]  Azad M. Madni,et al.  Towards affordably adaptable and effective systems , 2013, Syst. Eng..

[3]  Wei Lin,et al.  NASA Integrated Model-Centric Architecture (NIMA) model use and re-use , 2013, 2013 IEEE Aerospace Conference.

[4]  Pedro F. Miret,et al.  Wikipedia , 2008, Monatsschrift für Deutsches Recht.

[5]  Ufuk Topcu,et al.  A case study on reactive protocols for aircraft electric power distribution , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

[6]  Andrew Coles,et al.  Temporal Planning with Preferences and Time-Dependent Continuous Costs , 2012, ICAPS.

[7]  Steve Chien,et al.  Agile science operations: A new approach for primitive bodies exploration , 2012 .

[8]  Andrew Coles,et al.  COLIN: Planning with Continuous Linear Numeric Change , 2012, J. Artif. Intell. Res..

[9]  David R. Thompson,et al.  AEGIS automated targeting for MER opportunity rover , 2012 .

[10]  John C Doyle,et al.  Architecture, constraints, and behavior , 2011, Proceedings of the National Academy of Sciences.

[11]  Betty H. C. Cheng,et al.  Digital enzymes: agents of reaction inside robotic controllers for the foraging problem , 2011, GECCO '11.

[12]  Ufuk Topcu,et al.  Distributed Synthesis of Control Protocols for Smart Camera Networks , 2011, 2011 IEEE/ACM Second International Conference on Cyber-Physical Systems.

[13]  P. A. Jansma.  Open! Open! Open! Galileo High Gain Antenna anomaly workarounds , 2011, 2011 Aerospace Conference.

[14]  Richard Mattingly,et al.  Mars Sample Return as a campaign , 2011, 2011 Aerospace Conference.

[15]  Christopher L. Delp,et al.  Update - concept of operations for Integrated Model-Centric Engineering at JPL , 2011, 2011 Aerospace Conference.

[16]  F. Fressin,et al.  CHARACTERISTICS OF PLANETARY CANDIDATES OBSERVED BY KEPLER. II. ANALYSIS OF THE FIRST FOUR MONTHS OF DATA , 2011, 1102.0541.

[17]  John Doyle,et al.  Contrasting Views of Complexity and Their Implications For Network-Centric Infrastructures , 2010, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[18]  Ufuk Topcu,et al.  Automatic Synthesis of Robust Embedded Control Software , 2010, AAAI Spring Symposium: Embedded Reasoning.

[19]  Christopher L. Delp,et al.  An operations concept for Integrated Model-Centric Engineering at JPL , 2010, 2010 IEEE Aerospace Conference.

[20]  Alex Zelinsky,et al.  Learning OpenCV---Computer Vision with the OpenCV Library (Bradski, G.R. et al.; 2008)[On the Shelf] , 2009, IEEE Robotics & Automation Magazine.

[21]  Daniel L. Dvorak,et al.  NASA Study on Flight Software Complexity , 2009 .

[22]  Chris Murphy,et al.  Toward extraplanetary under‐ice exploration: Robotic steps in the Arctic , 2009, J. Field Robotics.

[23]  Andrew Coles,et al.  Managing concurrency in temporal planning using planner-scheduler interaction , 2009, Artif. Intell..

[24]  Morgan Quigley,et al.  ROS: an open-source Robot Operating System , 2009, ICRA 2009.

[25]  Masahiro Ono,et al.  Iterative Risk Allocation: A new approach to robust Model Predictive Control with a joint chance constraint , 2008, 2008 47th IEEE Conference on Decision and Control.

[26]  Christopher Nemeth,et al.  Minding the Gaps: Creating Resilience in Health Care , 2008 .

[27]  David B. Knoester,et al.  Digital Evolution of Behavioral Models for Autonomic Systems , 2008, 2008 International Conference on Autonomic Computing.

[28]  C.D. Epp,et al.  Autonomous Landing and Hazard Avoidance Technology (ALHAT) , 2008, 2008 IEEE Aerospace Conference.

[29]  K Henriksen,et al.  Minding the Gaps: Creating Resilience in Health Care -- Advances in Patient Safety: New Directions and Alternative Approaches (Vol. 3: Performance and Tools) , 2008 .

[30]  Mark Woods,et al.  CREST Autonomous Robotic Scientist: Developing a Closed-Loop Science Exploration Capability for European Mars Missions , 2008 .

[31]  J. Gerhart,et al.  The theory of facilitated variation , 2007, Proceedings of the National Academy of Sciences.

[32]  James Lyke,et al.  Space-Plug-and-Play Avionics (SPA): A Three-Year Progress Report , 2007 .

[33]  Richard M. Murray,et al.  Verification Procedure for Generalized Goal-based Control Programs , 2007 .

[34]  Brian M. Kennedy,et al.  The challenges of deep impact autonomous navigation , 2007, J. Field Robotics.

[35]  Rebecca Castano,et al.  ADVANCED ROBOTICS TECHNOLOGY INFUSION TO THE NASA MARS EXPLORATION ROVER (MER) PROJECT , 2007 .

[36]  R. Castano,et al.  Opportunistic rover science: finding and reacting to rocks, clouds and dust devils , 2006, 2006 IEEE Aerospace Conference.

[37]  Malte Helmert,et al.  The Fast Downward Planning System , 2006, J. Artif. Intell. Res..

[38]  Owen Brown,et al.  Fractionated Space Architectures: A Vision for Responsive Space , 2006 .

[39]  Yixin Chen,et al.  Handling Soft Constraints and Goals Preferences in SGPlan∗ , 2006 .

[40]  Michel D. Ingham,et al.  Engineering Complex Embedded Systems with State Analysis and the Mission Data System , 2004, J. Aerosp. Comput. Inf. Commun..

[41]  Larry H. Matthies,et al.  MER-DIMES: a planetary landing application of computer vision , 2005, 2005 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR'05).

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

[43]  Brian C. Williams,et al.  Hybrid estimation of complex systems , 2005, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[44]  Harald Heinecke,et al.  AUTomotive Open System ARchitecture - An Industry-Wide Initiative to Manage the Complexity of Emerging Automotive E/E-Architectures , 2004 .

[45]  M. Christopher,et al.  Building the Resilient Supply Chain , 2004 .

[46]  Alan A. Wells,et al.  The Swift Gamma-Ray Burst Mission , 2004, astro-ph/0405233.

[47]  Charles Ofria,et al.  Avida , 2004, Artificial Life.

[48]  Bradley R. Schmerl,et al.  Rainbow: architecture-based self-adaptation with reusable infrastructure , 2004, International Conference on Autonomic Computing, 2004. Proceedings..

[49]  Brian C. Williams,et al.  Model-Based Programming of Fault-Aware Systems , 2004, AI Mag..

[50]  Ross M. Jones.  Surface and atmosphere geochemical explorer (SAGE) baseline design from March 2003 Team X studies , 2003 .

[51]  Brian C. Williams,et al.  Model-based programming of intelligent embedded systems and robotic space explorers , 2003, Proc. IEEE.

[52]  Brian C. Williams,et al.  Model-Based Programming: Controlling Embedded Systems by Reasoning About Hidden State , 2002, CP.

[53]  C. A. Grasso,et al.  The fully programmable spacecraft: procedural sequencing for JPL deep space missions using VML (Virtual Machine Language) , 2002, Proceedings, IEEE Aerospace Conference.

[54]  Larry Matthies,et al.  Stereo vision and rover navigation software for planetary exploration , 2002, Proceedings, IEEE Aerospace Conference.

[55]  Jörg Hoffmann,et al.  FF: The Fast-Forward Planning System , 2001, AI Mag..

[56]  Daniel E. Koditschek,et al.  RHex: A Simple and Highly Mobile Hexapod Robot , 2001, Int. J. Robotics Res..

[57]  Tara Estlin,et al.  The CLARAty architecture for robotic autonomy , 2001, 2001 IEEE Aerospace Conference Proceedings (Cat. No.01TH8542).

[58]  Marc D. Rayman,et al.  THE DEEP SPACE 1 EXTENDED MISSION , 2001 .

[59]  Peter Norvig,et al.  Planning and Scheduling for Fleets of Earth Observing Satellites , 2001 .

[60]  Samuel B. Wilson,et al.  DARPA Orbital Express program: effecting a revolution in space-based systems , 2000, SPIE Optics + Photonics.

[61]  David H. Lehman,et al.  Results from the Deep Space 1 technology validation mission , 2000 .

[62]  Nicoias F. Rouquette,et al.  The 13 th Technology of Deep Space One 1 , 2000 .

[63]  Alex Fukunaga,et al.  Iterative Repair Planning for Spacecraft Operations Using the Aspen System , 2000 .

[64]  Rob Sherwood,et al.  Using Iterative Repair to Increase the Responsiveness of Planning and Scheduling for Autonomous Spacecraft , 1999 .

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

[66]  Nicola Muscettola,et al.  Design of the Remote Agent experiment for spacecraft autonomy , 1998, 1998 IEEE Aerospace Conference Proceedings (Cat. No.98TH8339).

[67]  P. Pandurang Nayak,et al.  A Reactive Planner for a Model-based Executive , 1997, IJCAI.

[68]  Gerard J. Holzmann,et al.  The Model Checker SPIN , 1997, IEEE Trans. Software Eng..

[69]  Erann Gat,et al.  ESL: a language for supporting robust plan execution in embedded autonomous agents , 1997, 1997 IEEE Aerospace Conference.

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

[71]  Avrim Blum,et al.  Fast Planning Through Planning Graph Analysis , 1995, IJCAI.

[72]  John C. Mankins,et al.  Technology Readiness Levels-A White Paper , 1995 .

[73]  Brian Buckley,et al.  SCL: An off-the-shelf system for spacecraft control , 1994 .

[74]  E. Rechtin,et al.  The art of systems architecting , 1996, IEEE Spectrum.

[75]  Daniel S. Weld,et al.  UCPOP: A Sound, Complete, Partial Order Planner for ADL , 1992, KR.

[76]  M.J. Morgan.  Integrated modular avionics for next generation commercial airplanes , 1991, IEEE Aerospace and Electronic Systems Magazine.

[77]  HERBERT A. SIMON,et al.  The Architecture of Complexity , 1991 .

[78]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..