New Search

Export article

Reliable Control Architecture with PLEXIL and ROS for Autonomous Wheeled Robots

Héctor Cadavid, Alexander Pérez,
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

Share this article

References (15)
    Cited by 1 articles
      Back to Top Top