References

24 February, 2022

The following is a bibliography of PLEXIL-related publications, organized by category. Entries beginning with ‘[…]’ are cited in this wiki.

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 and V&V (Verification and Validation)

[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.

G. Brat, M. Gheorghiu, D. Giannakopoulou and C. Pasareanu, “Verification of Plans and Procedures,” 2008 IEEE Aerospace Conference, 2008, pp. 1-8.

Guillaume Brat, Dimitra Gannakopoulou, Michel Izygon, Emmy Alex, Lui Wang, Jeremy Frank, and Arthur Molin. “Model-based verification and validation for procedure authoring.” In Proceedings of the ICAPS Workshop on Verification and Validation of Planning and Scheduling Systems (VVPS’09). 2009.

Daniel Balasubramanian, Corina S. Păsăreanu, Jason Biatek, Thomas Pressburger, Gabor Karsai, Michael Lowry, Michael W. Whalen. “Integrating Statechart Components in Polyglot,” 2012 Goodloe A.E., Person S. (eds) NASA Formal Methods. NFM 2012. Lecture Notes in Computer Science, vol 7226. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-28891-3_26

Camilo Rocha, Héctor Cadavid, César Munoz, and Radu Siminiceanu. “A Formal Interactive Verification Environment for the Plan Execution Interchange Language.” In International Conference on Integrated Formal Methods, pp. 343-357. Springer, Berlin, Heidelberg, 2012.

Jason Biatek, Michael W. Whalen, Mats PE Heimdahl, Sanjai Rayadurgam, and Michael R. Lowry. “Analysis and testing of PLEXIL plans.” In Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, pp. 52-58. 2014.

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

Hector Fabio Cadavid Rengifo, Javier Alberto Chaparro Preciado, “Hardware and software architecture for Plexil-based, simulation supported, robot automation,” IEEE Colombian Conference on Robotics and Automation (CCRA), 2016

Michael Lowry, Anupa Bajwa, Thomas Pressburger, Adam Sweet, Charles Fry, Michael Dalal, Johann Schumann, Deborah Dahl, Gabor Karsai, Nagabhushan Mahadevan. “Design Considerations for a Variable Autonomy Executive for UAS in the NAS”. AIAA SciTech Forum, 2018.

Misc

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