Jianing Zhao

Jianing Zhao

PhD student

Publications

Preprints

  1. J. Zhao, K. Zhu, M. Feng and X. Yin. “To explore or not to explore: Regret-based LTL planning in partially-known environments” (journal version) [PDF]
  2. C. Chu, X. Yu, J. Zhao, L. Lindemann and X. Yin. “Sleep when everything looks fine: Self-triggered monitoring for signal temporal logic tasks.” [PDF]


Papers

  1. 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, accepted and in press, 2024. [PDF]
  2. 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]
  3. 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]
  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. [PDF]
  5. 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]
  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. [PDF]
  7. 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]


Ongoing Works

  1. Motion planning of dynamical systems using hyperproperties for signal temporal logics
  2. Semantic-dependence-aided exploration in initially unknown environments under temporal logic specifications