Mobile Robot Networks for Environmental Monitoring: A Cooperative Receding Horizon Temporal Logic Control Approach.
Qiang LuQing-Long HanPublished in: IEEE Trans. Cybern. (2019)
Keyphrases
- temporal logic
- receding horizon
- mobile robot
- environmental monitoring
- formation control
- cooperative
- air traffic control
- model checking
- optimal linear
- sensor networks
- wireless sensor networks
- modal logic
- robot control
- path planning
- unmanned aerial vehicles
- indoor environments
- multi robot
- collision avoidance
- dynamic environments
- monitoring system
- computation tree logic
- autonomous robots
- obstacle avoidance
- transition systems
- belief revision
- mazurkiewicz traces
- control system
- linear temporal logic
- inverted pendulum
- verification method
- decision support
- dynamic constraints
- robotic systems
- reactive systems
- multi robot systems
- control strategy
- multi agent
- motion planning
- search space
- optimal control