Localization of a Ground Robot by Aerial Robots for GPS-Deprived Control with Temporal Logic Constraints.
Eric CristofaloKevin LeahyCristian Ioan VasileEduardo MontijanoMac SchwagerCalin BeltaPublished in: ISER (2016)
Keyphrases
- temporal logic
- autonomous robots
- robotic systems
- mobile robot
- robot control
- motion control
- model checking
- physical constraints
- robot behavior
- multi robot
- dynamic constraints
- formation control
- robot teams
- robot localization
- automata theoretic
- modal logic
- human robot interaction
- legged robots
- visual servoing
- unstructured environments
- robot motion
- modular robots
- vision system
- dead reckoning
- robot navigation
- humanoid robot
- human operators
- satisfiability problem
- search and rescue
- robotic agents
- concurrent systems
- human robot
- mazurkiewicz traces
- manipulation tasks
- real robot
- simultaneous localization and mapping
- service robots
- path planning
- transition systems
- robotic arm
- quadruped robot
- belief revision
- lego mindstorms
- autonomous navigation
- bounded model checking
- linear temporal logic
- end effector
- robot manipulators
- collision free
- dynamic environments
- control system
- temporal knowledge