1. Summary
  2. Files
  3. Support
  4. Report Spam
  5. Create account
  6. Log in

Main Page

From plexil

Jump to: navigation, search

Contents

What is PLEXIL?

Plan execution is a cornerstone in autonomy applications, such as robotics, unmanned vehicles and habitats, and systems or simulations involving intelligent software agents.

PLEXIL (Plan Execution Interchange Language) is a language for representing plans for automation. It is also a technology for executing these plans on real or simulated systems.

PLEXIL was designed to meet the requirements of flexible, efficient and reliable plan execution in space mission operations. It is compact, semantically clear, and deterministic given the same sequence of events from the external world. At the same time, the language is quite expressive and can represent branches, loops, time- and event- driven activities, concurrent activities, sequences, and temporal constraints. The core syntax of the language is simple and uniform, making plan interpretation simple and efficient, while enabling the application of validation and testing techniques.

Accompanying PLEXIL is an execution engine, or executive, which implements efficiently the PLEXIL language and provides interfaces to controlled systems as well as decision support systems from which plans may be sent. The PLEXIL software suite also includes graphical plan execution viewers, a static plan checker, and two different plan simulators.

PLEXIL was originally developed as a collaborative effort between researchers at NASA and Carnegie Mellon University, funded by NASA's Mars Technology Program through the Research Institute for Advanced Computer Science (RIACS) in the Universities Space Research Association (USRA). Since then it has continually evolved through application on NASA projects, which have included the control of prototype planetary rovers and habitats, drilling equipment, and demonstration of adjustable automation for International Space Station operations.

See below for a brief description of major PLEXIL applications to date. See the References chapter of the PLEXIL manual for more information on the background and applications of PLEXIL.

Getting Started

The sidebar on the left side this Sourceforge page contains links to many PLEXIL topics, including each chapter of the PLEXIL reference manual, which is included as a PDF document in PLEXIL's prebuilt distributions.

If you have any questions, do not hesitate to email us at plexil-support@sourceforge.net

NASA Applications

K10 Rover

PLEXIL was used to operate the K10 rover in a coordinated demonstration of Human Robot Interaction, Surface Handling and Surface Mobility Systems. NASA Ames Research Center's K10 rovers are field work rovers designed for human-paced operational tasks such as assembly and inspection. Running software developed at Ames, the K10 rover performed an autonomous 360-degree inspection of the larger SCOUT rover, taking a series of high-resolution pictures at pre-determined locations.

image:K10-and-scout_v.jpg image:K10_v.jpg

Image Credit: NASA/Ames

Mars Drill

PLEXIL has served as the executive for the Drilling Automation for Mars Exploration (DAME) drilling application. Field tested at the Haughton Crater on Devon Island in Canada's Nunavut Territory north of Ontario and Quebec, this is perhaps the first fully automated drill rig.


Image Credit: NASA/Ames

International Space Station

PLEXIL has been used to demonstrate automation for International Space Station operations.

Image Credit: NASA

Habitat Demonstration Unit

PLEXIL is running onboard NASA's Habitat Demonstration Unit (HDU), a functional living and working station designed to accommodate a group of astronauts on deep space missions. For two consecutive years, the HDU was field tested during the Desert Research and Technologies Studies (Desert RATS), where PLEXIL was used to demonstrate automated control of several HDU subsystems.

Image Credit: NASA


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

Personal tools