Environment for CAD and verification of self-tuning controllers.

Marek Kubalcik Vladimir Bobal Miroslav Maca

Published in: ALCOSP (2007)

Keyphrases

mobile robot
control system
model checking
databases
environmental conditions
real time
real world
artificial intelligence
knowledge base
dynamic environments
robotic systems
autonomous robots
complex environments
computer aided design