Temporal Logic Planning and Receding Horizon Control for Signal Source Localization
Source abstract
Abstract
This article copes with signal source localization by employing a receding horizon control approach with temporal logic planning in the light of a single mobile robot. First, a temporal logic planning approach is proposed such that the task requirements from the temporal logic specifications can be effectively dealt with based on the product automaton in an offline fashion. Second, in order to label the key nodes of the product automaton, a particle filter is utilized to predict the source positions as the key nodes. Third, on the basis of the product automaton, a receding horizon control approach with temporal logic planning is developed to produce the robot’s trajectory that satisfies a given linear temporal logic specification. Finally, the effectiveness of the proposed control approach is illustrated for signal source localization.
Source: crossref · Quality: baseline
Research context
OpenAlex topics: Robotic Path Planning Algorithms · Distributed Control Multi-Agent Systems · Robotics and Sensor-Based Localization
SciVX discovery tags are terminology-based. OpenAlex topics are source-provided classifications.
Affiliations
School of Automation, Hangzhou Dianzi University, Hangzhou 310018, China
Funding
National Natural Science Foundation of China · Science and Technology Project of Zhejiang Provincial Education
References (22)
Show source-provided references
1. Hu, Y., Lu, Q., and Hu, Y. (2018). Event-based communication and finite-time consensus control of mobile sensor networks for environmental monitoring. Sensors, 18.10.3390/s18082547 ↗
2. Cooperative search of multiple unknown transient radio sources using multiple paired mobile robots10.1109/TRO.2014.2333097 ↗
3. Collective motion, sensor networks and ocean sampling10.1109/JPROC.2006.887295 ↗
4. A cooperative control framework for a collective decision on movement behaviors of particles10.1109/TEVC.2016.2526656 ↗
5. Pan, L., Lu, Q., Yin, K., and Zhang, B. (2018). Signal source localization of multiple robots using an event-triggered communication scheme. Appl. Sci., 8.10.3390/app8060977 ↗
6. Decision and event-based fixed-time consensus control for electromagnetic source localization10.1109/TCYB.2020.3005964 ↗
7. Cooperative control of mobile sensor networks: Adaptive gradient climbing in a distributed environment10.1109/TAC.2004.832203 ↗
8. Simultaneous localization of multiple unknown and transient radio sources using a mobile robot10.1109/TRO.2012.2183069 ↗
9. Receding horizon control of mobile robots for locating unknown wireless sensor networks10.1108/AA-12-2017-198 ↗
10. Distributed kriged Kalman filter for spatial estimation10.1109/TAC.2009.2034192 ↗
11. LTL receding horizon control for finite deterministic systems10.1016/j.automatica.2013.11.030 ↗
12. Receding horizon temporal logic planning10.1109/TAC.2012.2195811 ↗
13. Temporal logic control of discrete-time piecewise affine systems10.1109/TAC.2011.2178328 ↗
14. Linear time logic control of discretetime linear systems10.1109/TAC.2006.886494 ↗
15. Rasmussen, C.E., and Williams, C.K.I. (2006). Gaussian Processes for Machine Learning, MIT Press.10.7551/mitpress/3206.001.0001 ↗
16. Chen, D., Lu, Q., and Chen, Y. (2017, January 20–22). A Method for Solving Local Minimum Problem of Local Path Planning Based on Particle Swarm Optimization. Proceedings of the Chinese Automation Congress & China Intelligent Manufacturing International Conference, Jinan, China.10.1109/CAC.2017.8243655 ↗
17. Chen, Y., Lu, Q., Yin, K., Zhang, B., and Zhong, C. (November, January 29). PSO-based receding horizon control of mobile robots for local path planning. Proceedings of the 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China.
18. Mobile robot networks for environmental monitoring: A cooperative receding horizon temporal logic control approach10.1109/TCYB.2018.2879905 ↗
19. Constrained model predictive control: Stability and optimality10.1016/S0005-1098(99)00214-9 ↗
20. Nonlinear model predictive control based on collective neurodynamic optimization10.1109/TNNLS.2014.2387862 ↗
21. A tutorial on particle filters for online nonlinear/non-Gaussian Bayesian tracking10.1109/78.978374 ↗
22. Flocking for multi-agent dynamic systems: Algorithms and theory10.1109/TAC.2005.864190 ↗