A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Integrating Statechart Components in Polyglot
[chapter]
2012
Lecture Notes in Computer Science
Preserved Fulltext
Furthermore, the paper describes on-going work on modeling Plexil execution plans with Polyglot, which enables the study of interaction issues for future manned and unmanned missions. ...
These include a connector mechanism for communication, a scheduling framework for sequencing the execution of individual components, and a method for specifying verification properties spanning multiple ...
A NASA case study using these extensions was described, as well as our on-going work to support the analysis of Plexil plans in Polyglot. ...
doi:10.1007/978-3-642-28891-3_26
fatcat:3fzykdm7ojeshdmu2dxp62uini
A Formal Interactive Verification Environment for the Plan Execution Interchange Language
[chapter]
2012
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The Plan Execution Interchange Language (PLEXIL) is an open source synchronous language developed by NASA for commanding and monitoring autonomous systems. ...
Among its main features, PLEXIL5 provides model checking of plans with support for formula editing and visualization of counterexamples, interactive simulation of plans at different granularity levels, ...
The authors would like to thank Michael Dalal and the Planning and Scheduling group at NASA Ames for fruitful discussions on PLEXIL and suggestions for the PLEXIL5 tool. ...
doi:10.1007/978-3-642-30729-4_24
fatcat:d46jfljigjb6rplxlk4p3tenbm
A Graphical Environment for the Semantic Validation of a Plan Execution Language
2009
2009 Third IEEE International Conference on Space Mission Challenges for Information Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
PLEXIL is a synchronous plan execution language developed by NASA to support autonomous space operations. ...
PLEXIL5 serves as a testbed for designers, developers and users of PLEXIL's executive system to validate, maintain, and debug the implementation of the system against the formal semantics of the language ...
ACKNOWLEDGMENT The authors would like to thank the members of the NASA's Automation for Operation (A4O) project and, specially, the PLEXIL development team led by Michael Dalal at NASA Ames, for their ...
doi:10.1109/smc-it.2009.31
fatcat:7nfitzjtxjas5dcuigxn3bdqni
Spacecraft mission agent for autonomous robust task execution
2018
2018 IEEE Aerospace Conference
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
This framework leverages the NASA-developed, open-source projects cFE and PLEXIL and was tested on development boards comparable to flight hardware. ...
Instead of the traditional approach requiring onboard planning and scheduling, this method uses a combination of constraint and priority parameters associated with every task to ensure robust task execution ...
PLEXIL Overview A PLEXIL plan consists of a tree of varying types of nodes and enables deterministic execution. ...
doi:10.1109/aero.2018.8396796
fatcat:s3oays2zhrh3zfdpvrmcio7oqu
Synchronous set relations in rewriting logic
2014
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
NNL09AA00A awarded to the National Institute of Aerospace, and also by grants NSF CCF09-05584 and NSF CCF09-05584. ...
The first author was partially supported by the Assurance of Flight Critical System's project of NASA's Aviation Safety Program at Langley Research Center under Research Cooperative Agreement No. ...
Atomic propositions Φ N include the constants true and false, predicates for testing the for the plan Exchange in Fig. 1 , tests the invariant of node Exchange and that it will eventually transition ...
doi:10.1016/j.scico.2013.07.008
fatcat:tjrcre7i3bfvzmetnti6oym2ou
Model-based On-board Decision Making for Autonomous Aircraft
2019
Proceedings of the Annual Conference of the Prognostics and Health Management Society, PHM
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
In an autonomous UAS, this information must be used for automatic planning and execution of contingency actions to keep the UAS safe in adverse conditions.We present DM (Decision Maker), a software component ...
describe DM and its reasoning/search algorithm and present the supporting modeling framework for the construction of system and fault models. ...
Red lines correspond to rejected contingency plans; the flight plan shown as green solid lines is selected by DM and sent to AOS and PLEXIL for execution. ...
doi:10.36001/phmconf.2019.v11i1.857
fatcat:7wtqdefn4rfanl5rprn6brmkm4
Robotic Systems Architectures and Programming
[chapter]
2008
Springer Handbook of Robotics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The AIS tests each plan (set of TAPs) to see if it can actually be scheduled. ...
RAPs, TDL, and PLEXIL have syntax that distinguishes leaf nodes of the task tree/graph from interior nodes. ...
doi:10.1007/978-3-540-30301-5_9
fatcat:r5gzsi2zsncgzjwe4hirpj4pw4
Robotic Systems Architectures and Programming
[chapter]
2016
Springer Handbook of Robotics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The AIS tests each plan (set of TAPs) to see if it can actually be scheduled. ...
RAPs, TDL, and PLEXIL have syntax that distinguishes leaf nodes of the task tree/graph from interior nodes. ...
doi:10.1007/978-3-319-32552-1_12
fatcat:nbhu7hv3fzaibo5g25drpl3lji
Prognostics for Autonomous Electric-Propulsion Aircraft
2021
International Journal of Prognostics and Health Management
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
a highly autonomous aircraft: prognostics for (1) continuous on-board safety monitoring, (2) for UAS operations, and (3) for contingency planning. ...
An autonomous unmanned aerial system (UAS) needs, during the flight, accurate information about the current failure state of the aircraft and its capabilities in order to safely perform its mission and ...
Note that this dynamic analysis and re-planning of trajecto-ries is a part of nominal autonomous aircraft operations and in contrast to contingency planning, which will be discussed in Section 7. ...
doi:10.36001/ijphm.2021.v12i3.2940
fatcat:bdnlfb2nhvb27irx4vxdlxfa3i
Enabling and Enhancing Astrophysical Observations with Autonomous Systems
[article]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
This paper includes the following so that the astrophysics community can realize the benefits of autonomous systems: description of autonomous systems with examples; enabled and enhanced observations; ...
The impact of autonomous systems on astrophysics can be just as revolutionary as in our daily lives. ...
With on-board planning and execution and on-board health diagnosis, about 50% of anomalies resulting safing may be averted. Result based on analysis of the [44] safing dataset. ...
arXiv:2009.07361v1
fatcat:ezu4njphkrfkrnw6ijcz5tq5rm
Simulation and Verification of Synchronous Set Relations in Rewriting Logic
[chapter]
2011
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The infrastructure in Maude and the examples presented in this paper are available from http://shemesh.larc.nasa.gov/people/cam/PLEXIL. ...
By using the infrastructure, existing algorithm verification techniques already available in Maude for traditional asynchronous rewriting, such as reachability analysis and model checking, are automatically ...
NNL09AA00A awarded to the National Institute of Aerospace. ...
doi:10.1007/978-3-642-25032-3_5
fatcat:dm3lov3mpfbdrhynsmpphvvbji
A Formal Representation of Software-Hardware System Design
2009
Volume 2: 29th Computers and Information in Engineering Conference, Parts A and B
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Testing the system can discover incompatibilities and changes can be made to ensure proper system performance. ...
decomposition) [49] , preliminary sketches to generate concepts/ideas [48] , models to analyze how the design works (stress analysis, failure analysis, vibration analysis, etc.) [15] , and/or detailed ...
PLEXIL and The Universal Executive One of the field demonstrations for the K9 rovers accomplishes the autonomous control of the rover with the help of PLEXIL, which is an execution planning language designed ...
doi:10.1115/detc2009-87057
fatcat:vo7vsiqojnfdzj7zf4subef3zm
Model-based System Health Management and Contingency Planning for Autonomous UAS
2019
AIAA Scitech 2019 Forum
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Automated reasoning with constraint satisfaction form the core of our decision-making component, which assesses the current situation, aids in failure disambiguation, and constructs a contingency plan ...
to mitigate the failure(s) and allow for a safe end of the mission. ...
This alternate flight plan is sent to PLEXIL. 8) PLEXIL finally executes the new flight plan. ...
doi:10.2514/6.2019-1961
fatcat:3wsvhlabrjbq7egfwwgo7q2x2y
Planning for Goal-Oriented Dialogue Systems
[article]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Along the way, we introduce novel planning encodings for declarative dialogue synthesis, a variety of interfaces for working with the specification as a dialogue architect, and a robust executor for generalized ...
We propose a declarative representation of the dialogue agent to be processed by state-of-the-art planning technology. ...
The languages of PLEXIL and Esterel (Berry & Cosserat, 1984) are programming languages for autonomous systems. ...
arXiv:1910.08137v1
fatcat:bsuyafochvddboxm42b2l57uva
Formal Verification for Task Description Languages. A Petri Net Approach
2019
Sensors
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The approach has been applied to the Task Description Language (TDL) and it is illustrated by experiments. ...
This is used to define new methods to analyze some task properties such as liveness, deadlock-freeness and terminability. ...
In particular Reid Simmons for his support during the first stage of this research.
Conflicts of Interest: The authors declare no conflict of interest. ...
doi:10.3390/s19224965
pmid:31739526
pmcid:PMC6891290
fatcat:qucpoh55o5ec5c6bsijduc2lmi
« Previous
Showing results 1 — 15 out of 35 results