Formal synthesis of supervisory control software for multiple robot systems.
J. GorycaRick C. HillPublished in: ACC (2013)
Keyphrases
- control software
- control system
- management system
- artificial intelligence
- neural network
- expert systems
- mobile robot
- position and orientation
- complex systems
- learning systems
- autonomous mobile
- path planning
- building blocks
- dynamic environments
- computer systems
- multi modal
- vision system
- human robot interaction
- formal methods
- software engineering
- reinforcement learning