Computing finite abstractions with robustness margins via local reachable set over-approximation. - Yinan Li 001; Jun Liu 015; Necmiye Ozay (ADHS, 2015)

Switching control of differential-algebraic equations with temporal logic specifications. - Yinan Li 001; Jun Liu 015 (ACC, 2015)

An interval analysis approach to invariance control synthesis for discrete-time switched systems. - Yinan Li 001; Jun Liu 015 (CDC, 2016)

Invariance Control Synthesis for Switched Systems: An Interval Analysis Approach. - Yinan Li 001; Jun Liu 015 (CoRR, 2016)

Robustly Complete Reach-and-Stay Control Synthesis for Switched Systems via Interval Analysis. - Yinan Li 001; Jun Liu 015 (ACC, 2018)

ROCS: A Robustly Complete Control Synthesis Tool for Nonlinear Dynamical Systems. - Yinan Li 001; Jun Liu 015 (HSCC, 2018)

Invariance Control Synthesis for Switched Nonlinear Systems: An Interval Analysis Approach. - Yinan Li 001; Jun Liu 015 (IEEE Trans. Autom. Control., 2018)

Robustly Complete Temporal Logic Control Synthesis for Nonlinear Systems. - Yinan Li 001 (2019)

Continuous Motion Planning with Temporal Logic Specifications using Deep Neural Networks. - Chuanzheng Wang; Yinan Li 001; Stephen L. Smith 001; Jun Liu 015 (CoRR, 2020)

ROCS 2.0: An Integrated Temporal Logic Control Synthesis Tool for Nonlinear Dynamical Systems. - Yinan Li 001; Zhibing Sun; Jun Liu 015 (ADHS, 2021)

Control of Nonlinear Systems with Reach-Avoid-Stay Specifications: A Lyapunov-Barrier Approach with an Application to the Moore-Greizer Model. - Yiming Meng; Yinan Li 001; Jun Liu 015 (ACC, 2021)

Learning Control Barrier Functions with High Relative Degree for Safety-Critical Control. - Chuanzheng Wang; Yiming Meng; Yinan Li 001; Stephen L. Smith 001; Jun Liu 015 (ECC, 2021)

Safe Linear Temporal Logic Motion Planning in Dynamic Environments. - Yinan Li 001; Ebrahim Moradi Shahrivar; Jun Liu 015 (IROS, 2021)

Computation of controlled invariant sets for discrete-time switched nonlinear systems with time-delay. - Ruijuan Chen; Yinan Li 001; Jun Liu 015 (J. Frankl. Inst., 2021)

Robustly Complete Synthesis of Memoryless Controllers for Nonlinear Systems With Reach-and-Stay Specifications. - Yinan Li 001; Jun Liu 015 (IEEE Trans. Autom. Control., 2021)

A Piecewise Learning Framework for Control of Unknown Nonlinear Systems with Stability Guarantees. - Milad Farsi; Yinan Li 001; Ye Yuan 002; Jun Liu 015 (L4DC, 2022)

Smooth converse Lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid-stay specifications. - Yiming Meng; Yinan Li 001; Maxwell Fitzsimmons; Jun Liu 015 (Autom., 2022)

Reactive task and motion planning for robust whole-body dynamic locomotion in constrained environments. - Ye Zhao 002; Yinan Li 001; Luis Sentis; Ufuk Topcu; Jun Liu 015 (Int. J. Robotics Res., 2022)

A Specification-Guided Framework for Temporal Logic Control of Nonlinear Systems. - Yinan Li 001; Zhibing Sun; Jun Liu 015 (IEEE Trans. Autom. Control., 2023)