References

From plexil
Jump to: navigation, search


10/5/10

The following is a bibliography of PLEXIL-related publications, organized by category.

PLEXIL language and executive

[BAS07] V. Baskaran, M. Dalal, T. Estlin, C. Fry, M. Iatauro, R. Harris, A. Jonsson, C. Pasareanu, R. Simmons, V. Verma, “Plan Execution Interchance Language (PLEXIL) Version 1.0”, NASA Technical Memorandum, Nov 2007.

[EST06] T. Estlin, A. Jonsson, C Pasareanu, R. Simmons, K. Tso, V. Verma, Plan Execution Interchange Language (PLEXIL). NASA Technical Memorandum TM-2006-213483, April 2006.

[VER06] V. Verma, A. Jónsson, C. Pasareanu, M. Iatauro, Universal Executive and PLEXIL: Engine and Language for Robust Spacecraft Control and Operations, American Institute of Aeronautics and Astronautics Space 2006 Conference.

[VER05] V. Verma, T. Estlin, A. Jónsson, C. Pasareanu, R. Simmons, K. Tso, “Plan Execution Interchange Language (PLEXIL) for Executable Plans and Command Sequences”, International Symposium on Artificial Intelligence, Robotics and Automation in Space (iSAIRAS), 2005

PLEXIL Formal Semantics

[DOW10] Gilles Dowek, César Muñoz, and Camilo Rocha, "Rewriting Logic Semantics of a Plan Execution Language", Electronic Proceedings in Theoretical Computer Science, Volume 18, 2010.

[ROC09] Camilo Rocha, César Muñoz, and Héctor Cadavid, "A Graphical Environment for the Semantic Validation of a Plan Execution Language", Third IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT 2009), 2009.

[DOW08] Gilles Dowek, César Muñoz, and Corina Pasareanu, "A Small-Step Semantics of PLEXIL", NIA Technical Report, Number 2008-11, 2008.

[DOW07-1] Gilles Dowek, César Muñoz, and Corina Pasareanu, "A Formal Analysis Framework for PLEXIL", 3rd Workshop on Planning and Plan Execution for Real-World Systems, 2007.

[DOW07-2] G. Dowek, C. Munoz, C. Pasareanu, “Formal Semantics of a Synchronous Plan Execution Language”, Workshop on Planning and Plan Execution for Real-World Systems: Principles and Practices for Planning in Execution at the International Conference on Automated Planning and Scheduling (ICAPS) 2007.

[SIM07] Radu Siminiceanu, Model Checking Abstract PLEXIL Programs with SMART, NASA CR-2007-214542, April 2007.

PLEXIL applications

[DAL10] K. M. Dalal, J. Frank, "Bridging the Gap between Human and Automated Procedure Execution," presented at IEEE Aerospace, 2010.

[BUA07] M. Bualat, L. Edwards, T. Fong, M. Broxton, L. Flueckiger, S Lee, E. Park. V. To, H. Utz, V. Verma, C. Kunz, M. MacMahon, Autonomous Robotic Inspection for Lunar Surface Operations, Field and Service Robotics Conference (FSR) 2007.

[VER07] Vandi Verma, Vijayakumar Baskaran, Hans Utz, Charles Fry, "Demonstration of Robust Execution on a NASA Lunar Rover Testbed", International Symposium on Artificial Intelligence, Robotics and Automation in Space (iSAIRAS), 2007

Misc

[DP95] Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides. Design Patterns. Addison-Wesley, 1995.




Copyright (c) 2006-2014, Universities Space Research Association (USRA). All rights reserved.