Monday, June 13, 2022
Some of our recent work has been published in premier control, robotics, learning, and formal methods venues.
- Our work on specification-guided temporal logic controller synthesis is published as a full paper in IEEE Transactions of Automatic Control (IEEE TAC).
- Our work on piecewise learning with stability guarantees is published in the Learning for Dynamics & Control Conference (L4DC 2022). This is joint work with Dr. Yinan Li at Clearpath Robotics and Prof. Ye Yuan at Huazhong University of Science and Technology.
- Our work on formal synthesis of robust controllers applied to whole-body locomotion of legged robots is published in the International Journal of Robotics Research (IJRR). This is joint work with Prof. Ye Zhao at Georgia Institute of Technology and Profs. Luis Sentis and Ufuk Topcu at University of Texas at Austin.
- Our work on structured onlinear learning (SOL) applied to low-level control of quadrotors is presented at the American Control Conference (ACC 2022).
- Our work on theoretical foundations of abstraction-based verification of stochastic systems will be presented in the International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2022).
- Our work on almost sure convergence analysis of stochastic gradient descent methods is to be presented at the Annual Conference on Learning Theory (COLT 2022). This is joint work with Prof. Ye Yuan at Huazhong University of Science and Technology.
- Our work on charactertization of Lyapunov functions for stability with safety constraints is to appear in the IFAC Journal Automatica.
- Our work on safe linear temporal logic motion planning for mobile robots in dynamic environments is presented in the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2021). This is joint work with Dr. Ebrahim Moradi Shahrivar at Clearpath Robotics.