The MAESTRO language and its environment: specification, validation and control of robotic missions.
Ève Coste-ManièreNicolas TurroPublished in: IROS (1997)
Keyphrases
- robotic systems
- robot teams
- control loop
- autonomous robots
- mobile robot
- specification language
- human operators
- robot behavior
- multi robot
- robot motion
- distributed control
- hand eye
- programming environment
- control architecture
- control system
- real time
- search and rescue
- multiple robots
- robotic manipulator
- language learning
- programming language
- robotic agents
- operational semantics
- natural language
- high level
- formal languages
- space exploration
- unstructured environments
- robotic platform
- control program
- control structures
- robotic arm
- interaction model
- autonomous systems
- robot control
- changing environment
- modelling language
- action language
- formal language
- obstacle avoidance