Reliable Control Architecture with PLEXIL and ROS for Autonomous Wheeled Robots
- 17 August 2017
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- A survey of control architectures for autonomous mobile robotsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2017
- Rewriting modulo SMT and open system analysisJournal of Logical and Algebraic Methods in Programming, 2017
- Specification: The Biggest Bottleneck in Formal Methods and AutonomyPublished by Springer Science and Business Media LLC ,2016
- Integrating ASP into ROS for Reasoning in RobotsPublished by Springer Science and Business Media LLC ,2015
- Integrating planning and execution for ROS enabled service robots using hierarchical action representationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2013
- A Formal Interactive Verification Environment for the Plan Execution Interchange LanguageLecture Notes in Computer Science, 2012
- Rewriting Logic Semantics of a Plan Execution LanguageElectronic Proceedings in Theoretical Computer Science, 2010
- Integrating a PDDL-Based Planner and a PLEXIL-Executor into the Ptinto RobotLecture Notes in Computer Science, 2010
- The Synchronous Hypothesis and Synchronous LanguagesPublished by Taylor & Francis Ltd ,2005
- Conditional rewriting logic as a unified model of concurrencyTheoretical Computer Science, 1992