Jianing Zhao

Jianing Zhao

PhD student

Publications

Submitted works

  1. Task and motion planning of dynamic systems using hyperproperties for signal temporal logics


Journal Papers

  1. 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, accepted and in press, 2025. [PDF]
  2. 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. [PDF]
  3. 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. [PDF]
  4. J. Zhao, X. Li and 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. [PDF]
  5. 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. [PDF]


Conference Papers

  1. 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, accepted, 2025. [PDF]
  2. 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, accepted, 2025. [PDF] [Video]
  3. 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. [PDF]
  4. 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. [PDF]
  5. 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. [PDF]