Verifying Plans and Scripts for Robotics Tasks Using Performance Level Profiles
| Plan verification Probabilistic-Timed Automata Performance-Level Profiles |
PaperID: 76
pdf
poster
|
| Performance-Level Profiles (PLPs) were introduced as a type of action representation language suitable for capturing the behavior of functional code for robotics. This paper addresses two issues that PLPs raise: (1) Their formal semantics. (2) How to verify a script or a plan that schedule the use of components that have been documented by PLPs. We provide a formal semantics for PLPs by mapping them to probabilistic timed automata (PTAs). We also show how, given a script that refers to components specified using PLPs, we derive a PTA specification of the entire system. This PTA can be used to verify the system’s properties and answers queries about its behavior. Finally, we empirically evaluate an implemented system based on these ideas, demonstrating its scalability. The result is a pragmatic approach for verifying component-based robotic systems. | |
Session 11: Hybrid Planning| Conformant Planning
Task-Aware Waypoint Sampling for Robotic Planning
Authors: Sarah Keren, Gerard Canal and Michael Cashmore
Keywords:
Task and motion planningRoboticsWaypoint sampling
Verifying Plans and Scripts for Robotics Tasks Using Performance Level Profiles
Authors: Alexander Kovalchuk, Shashank Shekhar and Ronen Brafman
Keywords:
Plan verificationProbabilistic-Timed AutomataPerformance-Level Profiles
In-Station Train Dispatching: A PDDL+ Planning Approach
Authors: Matteo Cardellini, Marco Maratea, Mauro Vallati, Gianluca Boleto and Luca Oneto
Keywords:
In-Station Train DispatchingTrain Traffic ControlHybrid Planning
Non-Deterministic Conformant Planning Using a Counterexample-Guided Incremental Compilation to Classical Planning
Authors: Alban Grastien and Enrico Scala
Keywords:
Conformant planningSATCounter-example guided abstraction refinement