Reference author: Yinan Li

Li, Y. ., & Liu, J. . (2015). Switching control of differential-algebraic equations with temporal logic specifications. Switching Control of Differential-Algebraic Equations With Temporal Logic Specifications. Presented at the. 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. Computing Finite Abstractions With Robustness Margins via Local Reachable Set over-Approximation. Presented at the. https://doi.org/10.1016/j.ifacol.2015.11.144

Li, Y. ., & Liu, J. . (2016). Computing maximal invariant sets for switched nonlinear systems. Computing Maximal Invariant Sets for Switched Nonlinear Systems. Presented at the. 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. An Interval Analysis Approach to Invariance Control Synthesis for Discrete-Time Switched Systems. Presented at the.

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. Robustly Complete Reach-and-Stay Control Synthesis for Switched Systems via Interval Analysis Primary Tabs View. Presented at the.

Li, Y. ., & Liu, J. . (2018). ROCS: A robustly complete control synthesis tool for nonlinear dynamical systems. A Robustly Complete Control Synthesis Tool for Nonlinear Dynamical Systems Primary Tabs View. Presented at the. 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. Control of Nonlinear Systems With Reach-Avoid-Stay Specifications: A Lyapunov-Barrier Approach With an Application to the Moore-Greizer Model. Presented at the. https://doi.org/https://doi.org/10.23919/ACC50511.2021.9483376