A stochastically verifiable autonomous control architecture with reasoning.
Paolo IzzoHongyang QuSandor M. VeresPublished in: CDC (2016)
Keyphrases
- control architecture
- robotic systems
- control system
- autonomous agents
- mobile robot
- gaze control
- control theoretic
- autonomous robots
- control strategy
- bdi agents
- automated reasoning
- reasoning process
- sufficient conditions
- vision system
- knowledge base
- shop floor
- neural network
- qualitative reasoning
- reasoning tasks
- knowledge representation
- model based reasoning
- spatial reasoning
- closed loop
- autonomous vehicles
- causal reasoning
- analogical reasoning
- distributed control
- cooperative
- machine learning
- data sets