Reference author: Yinan Li

Li, Y., & Liu, J. (2015). Switching control of differential-algebraic equations with temporal logic specifications Presented at the Switching Control of Differential-Algebraic Equations With Temporal Logic Specifications conference. https://doi.org/http://dx.doi.org/10.1109/ACC.2015.7171017

Li, Y., Liu, J., & Ozay, N. (2015). Computing finite abstractions with robustness margins via local reachable set over-approximation Presented at the Computing Finite Abstractions With Robustness Margins via Local Reachable Set Over-Approximation conference. https://doi.org/10.1016/j.ifacol.2015.11.144

Li, Y., & Liu, J. (2016). Computing maximal invariant sets for switched nonlinear systems Presented at the Computing Maximal Invariant Sets for Switched Nonlinear Systems conference. https://doi.org/10.1109/CACSD.2016.7602547

Li, Y., & Liu, J. (2016). An interval analysis approach to invariance control synthesis for discrete-time switched systems Presented at the An Interval Analysis Approach to Invariance Control Synthesis for Discrete-Time Switched Systems conference.

Li, Y., & Liu, J. (2018). Invariance control synthesis for switched nonlinear systems: an interval analysis approach IEEE Transactions on Automatic Control, 63, 2206\textendash2211. https://doi.org/10.1109/TAC.2017.2760106

Li, Y., & Liu, J. (2018). Robustly complete reach-and-stay control synthesis for switched systems via interval analysis Presented at the Robustly Complete Reach-and-Stay Control Synthesis for Switched Systems via Interval Analysis Primary Tabs View conference.

Li, Y., & Liu, J. (2018). ROCS: A robustly complete control synthesis tool for nonlinear dynamical systems Presented at the A Robustly Complete Control Synthesis Tool for Nonlinear Dynamical Systems Primary Tabs View conference. https://doi.org/doi.org/10.1145/3178126.3178153

Zhao, Y., Li, Y., Sentis, L., Topcu, U., & Liu, J. (2020). Reactive task and motion planning for robust whole-body dynamic locomotion in constrained environments The International Journal of Robotics Research, Accepted. Retrieved from https://arxiv.org/abs/1811.04333

Li, Y., & Liu, J. (2021). Robustly complete synthesis of memoryless controllers for nonlinear systems with reach-and-stay specifications IEEE Transactions on Automatic Control, 66. https://doi.org/https://doi.org/10.1109/TAC.2020.2987711

Meng, Y., Li, Y., & Liu, J. (2021). Control of Nonlinear Systems with Reach-Avoid-Stay Specifications: A Lyapunov-Barrier Approach with an Application to the Moore-Greizer Model Presented at the Control of Nonlinear Systems With Reach-Avoid-Stay Specifications: A Lyapunov-Barrier Approach With an Application to the Moore-Greizer Model conference. https://doi.org/https://doi.org/10.23919/ACC50511.2021.9483376