Pervasive Self-Regeneration Through Concurrent Model-Based Execution
暂无分享,去创建一个
[1] Radha Jagadeesan,et al. Models for Concurrent Constraint Programming , 1996, CONCUR.
[2] Robert Laddaga,et al. Introduction to Self-adaptive Software: Applications , 2001, IWSAS.
[3] Brian C. Williams,et al. Mode Estimation of Probabilistic Hybrid Systems , 2002, HSCC.
[4] Alex Fukunaga,et al. Iterative Repair Planning for Spacecraft Operations Using the Aspen System , 2000 .
[5] Paul Robertson,et al. Automatic recovery from software failure , 2006, CACM.
[6] Brian C. Williams,et al. Model-based Reactive Programming of Cooperative Vehicles for Mars Exploration , 2001 .
[8] R. James Firby,et al. The RAP language manual , 1995 .
[9] P. Pandurang Nayak,et al. A Model-Based Approach to Reactive Self-Configuring Systems , 1996, AAAI/IAAI, Vol. 2.
[10] P. Pandurang Nayak,et al. A Reactive Planner for a Model-based Executive , 1997, IJCAI.
[11] Brian C. Williams,et al. Model-based programming of intelligent embedded systems and robotic space explorers , 2003, Proc. IEEE.
[12] Reid G. Simmons,et al. Structured control for autonomous robots , 1994, IEEE Trans. Robotics Autom..
[13] B. Williams,et al. A Model-Based System Supporting Automatic Self-Regeneration of Critical Software , 2005 .
[14] Nicola Muscettola,et al. Issues in temporal reasoning for autonomous control systems , 1998, AGENTS '98.
[15] Erann Gat,et al. ESL: a language for supporting robust plan execution in embedded autonomous agents , 1997, 1997 IEEE Aerospace Conference.
[16] Brian C. Williams,et al. Timed model-based programming: executable specifications for robust mission-critical sequences , 2003 .
[17] P. Pandurang Nayak,et al. Remote Agent: To Boldly Go Where No AI System Has Gone Before , 1998, Artif. Intell..
[18] Alfred Mele,et al. Autonomous agents , 1995 .
[19] Brian C. Williams,et al. Conflict-directed A* and its role in model-based embedded systems , 2007, Discret. Appl. Math..
[20] Robert T. Effinger,et al. Autonomous Robust Execution of Complex Robotic Missions , 2006, IAS.
[21] Brian C. Williams,et al. Hybrid estimation of complex systems , 2005, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).
[22] Brian C. Williams,et al. Improving Model-based Mode Estimation through Offline Compilation , 2001 .
[23] B. Williams,et al. Multi-Modal Particle Filtering for Hybrid Systems with Autonomous Mode Transitions , 2003 .
[24] Mark Abramson,et al. Executing Reactive, Model-based Programs through Graph-based Temporal Planning , 2001, IJCAI.
[25] Gérard Berry,et al. The Esterel Synchronous Programming Language: Design, Semantics, Implementation , 1992, Sci. Comput. Program..