Portfolio item number 1
Short description of portfolio item number 1
Posts by Collection
portfolio
Portfolio item number 2
Short description of portfolio item number 2
publications
Digital Collaborative Design and Verification Method, Device, and Storage Medium for Automated Equipment
Published in Patent Application, 2024
A patent for digital collaborative design and verification methods, devices, and storage media for automated equipment systems.
Recommended citation: Zhao, Q. (2024). Digital Collaborative Design and Verification Method, Device, and Storage Medium for Automated Equipment. Patent Application.
Download Paper
Shortest Time Decision Method and System for Cluster Collaborative Tasks Based on Formal Methods
Published in Patent Application, 2024
A patent for shortest time decision methods and systems for cluster collaborative tasks using formal methods and optimization techniques.
Recommended citation: Zhao, Q. (2024). Shortest Time Decision Method and System for Cluster Collaborative Tasks Based on Formal Methods. Patent Application.
Download Paper
Dynamic Allocation Decision Method and System for Unmanned Swarm Based on Formal Methods
Published in Patent Application, 2024
A patent for dynamic allocation decision methods and systems for unmanned swarm operations using formal methods and temporal logic.
Recommended citation: Zhao, Q. (2024). Dynamic Allocation Decision Method and System for Unmanned Swarm Based on Formal Methods. Patent Application.
Download Paper
Adaptive Planning for Multi-Robot Uncertainty Perception in Dynamic Tasks
Published in Patent Application, 2024
A patent for adaptive planning methods in multi-robot systems with uncertainty perception capabilities for dynamic task environments.
Recommended citation: Zhao, Q. (2024). Adaptive Planning for Multi-Robot Uncertainty Perception in Dynamic Tasks. Patent Application.
Download Paper
UMBRELLA: Uncertainty-aware Multi-roBot REactive Coordination under Dynamic TemporaL Logic TAsk
Published in IEEE International Conference on Robotics and Automation (ICRA), 2026
We propose UMBRELLA, a novel framework for uncertainty-aware multi-robot reactive coordination under dynamic temporal logic tasks, demonstrating effectiveness through simulations and hardware experiments.
Recommended citation: Zhao, Q., Guo, M., Du, H., Lindemann, L., & Li, Z. (2026). UMBRELLA: Uncertainty-aware Multi-roBot REactive Coordination under Dynamic TemporaL Logic TAsk. IEEE International Conference on Robotics and Automation (ICRA).
Download Paper