Publications

Journal Papers

  1. J. Zhao, B. Ye, X. Yu, R. Majumdar and X. Yin. “Task and motion planning of dynamic systems using hyperproperties for signal temporal logics.” Nonlinear Analysis: Hybrid Systems, accepted and in press, 2026.
  2. J. Zhao, K. Zhu, M. Feng, S. Li and X. Yin. “No-regret path planning for temporal logic tasks in partially-known environments.” The International Journal of Robotics Research, vol. 44, no. 9, pp. 1526-1552, August 2025.
  3. J. Zhao, S. Li and X. Yin. “A unified framework for verification of observational properties for partially-observed discrete-event systems.” IEEE Transactions on Automatic Control, vol. 69, no. 7, pp. 4710-4717, July 2024.
  4. J. Zhao, K. Zhu, H. Hu, X. Yu, X. Li and H. Wang. “Formation control of networked mobile robots with unknown reference orientation.” IEEE/ASME Transactions on Mechatronics, vol. 28, no. 4, pp. 2200–2212, Aug. 2023.
  5. J. Zhao, X. Li, X. Yu and H. Wang. “Finite-time cooperative control for bearing-defined leader-following formation of multiple double-integrators.” IEEE Transactions on Cybernetics, vol. 52, no. 12, pp. 13363–13372, Dec. 2022.
  6. J. Zhao, X. Yu, X. Li and H. Wang. “Bearing-only formation tracking control of multi-agent systems with local reference frames and constant-velocity leaders.” IEEE Control Systems Letters, vol. 5, no. 1, pp. 1–6, Jan. 2021.


Conference Papers

  1. J. Zhao, C. Kang, Y. Chen, B. Cui and X. Yin. “Distributionally robust safe control of robotic manipulators in dynamic environments.” IEEE/RSJ International Conference on Intelligent Robots and Systems, accepted, 2026.
  2. J. Zhao, B. Cui, D. V. Dimarogonas, R. Majumdar and X. Yin. “Regret-optimal supervisory control of partially-known discrete-event systems.” 64th IEEE Conference on Decision and Control, pp. 1214-1219, 2025.
  3. J. Zhao, M. Feng, Y. Zhang, S. Wang and X. Yin. “Adaptive visual servoing control barrier function of robotic manipulators with uncalibrated camera.” IEEE/RSJ International Conference on Intelligent Robots and Systems, pp. 13067-13074, 2025.
  4. J. Zhao, K. Zhu, S. Li and X. Yin. “To explore or not to explore: Regret-based LTL planning in partially-known environments.” 22nd IFAC World Congress, pp. 12171-12177, 2023.
  5. J. Zhao, S. Wang and X. Yin. “Failure-aware self-diagnostic task planning under temporal logic specifications.” 22nd IFAC World Congress, pp. 4993-4999, 2023.
  6. J. Zhao, H. Hu, K. Zhu, X. Yu and H. Wang. “Distributed rendezvous control of networked uncertain robotic systems with bearing measurements.” IEEE International Conference on Robotics and Automation, pp. 8829–8835, 2021.


Preprints

  1. J. Zhao, Z. Cai and X. Yin. “Output-Feedback Safe Control of Discrete-Time Stochastic Systems with Chance Constraints.”