Buscar
Mostrando ítems 1-2 de 2
Reliable Control Architecture with PLEXIL and ROS for Autonomous Wheeled Robots
(Springer Nature, 2017)
Today’s autonomous robots are being used for complex tasks, including space exploration, military applications, and precision agriculture. As the complexity of control architectures increases, reliability of autonomous ...
A Formal Interactive Verification Environment for the Plan Execution Interchange Language
(© 2020 Springer Nature Switzerland AG., 2012)
The Plan Execution Interchange Language (PLEXIL) is an open source synchronous language developed by NASA for commanding and monitoring autonomous systems. This paper reports the development of the PLEXIL’s Formal Interactive ...