Reliable Control Architecture with PLEXIL and ROS for Autonomous Wheeled Robots
Published: 17 August 2017
The publisher has not yet granted permission to display this abstract.
Keywords: Robot autonomy / Plan Execution Interchange Language (\(\text {PLEXIL}\)) / Robot Operating System (\(\text {ROS}\)) / Control architectures / Formal verification / Rewriting logic / Automatic reachability analysis
Scifeed alert for new publications
Never miss any articles matching your research from any publisher- Get alerts for new papers matching your research
- Find out the new papers from selected authors
- Updated daily for 49'000+ journals and 6000+ publishers
- Define your Scifeed now