Synthesis of Robotic System Controllers Using Robotic System Specification Language.
Maksym FigatCezary ZielinskiPublished in: IEEE Robotics Autom. Lett. (2023)
Keyphrases
- robotic systems
- specification language
- mobile robot
- control architecture
- vision system
- programming language
- autonomous robots
- description language
- formal specification
- object manipulation
- software environment
- control law
- swarm robotics
- database
- collective behavior
- cognitive architecture
- real time
- building blocks
- control system
- search algorithm
- information systems
- robotic manipulator
- manipulation tasks
- computer vision