A Verifiable and Correct-by-Construction Controller for Robots in Human Environments.
Lavindra de SilvaRongjie YanFélix IngrandRachid AlamiSaddek BensalemPublished in: HRI (Extended Abstracts) (2015)
Keyphrases
- robotic systems
- robot behavior
- human robot interaction
- autonomous robots
- mobile robot
- human operators
- human robot
- artificial agents
- unstructured environments
- real world environments
- service robots
- cooperative
- real time
- control architecture
- optimal control
- motion control
- real world
- quadruped robot
- human interaction
- artificial systems
- human users
- control system
- neural network
- control scheme
- human behavior
- closed loop
- sufficient conditions
- intelligent machines