Yinan Li

According to our database, Yinan Li authored at least 19 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A Specification-Guided Framework for Temporal Logic Control of Nonlinear Systems.

Yinan Li, Zhibing Sun, Jun Liu

IEEE Trans. Autom. Control., 2023

2022

Reactive task and motion planning for robust whole-body dynamic locomotion in constrained environments.

Ye Zhao, Yinan Li, Luis Sentis, Ufuk Topcu, Jun Liu

Int. J. Robotics Res., 2022

Smooth converse Lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid-stay specifications.

Yiming Meng, Yinan Li, Maxwell Fitzsimmons, Jun Liu

Autom., 2022

A Piecewise Learning Framework for Control of Unknown Nonlinear Systems with Stability Guarantees.

Milad Farsi, Yinan Li, Ye Yuan, Jun Liu

Proceedings of the Learning for Dynamics and Control Conference, 2022

2021

Robustly Complete Synthesis of Memoryless Controllers for Nonlinear Systems With Reach-and-Stay Specifications.

Yinan Li, Jun Liu

IEEE Trans. Autom. Control., 2021

Computation of controlled invariant sets for discrete-time switched nonlinear systems with time-delay.

Ruijuan Chen, Yinan Li, Jun Liu

J. Frankl. Inst., 2021

Safe Linear Temporal Logic Motion Planning in Dynamic Environments.

Yinan Li, Ebrahim Moradi Shahrivar, Jun Liu

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

Learning Control Barrier Functions with High Relative Degree for Safety-Critical Control.

Chuanzheng Wang, Yiming Meng, Yinan Li, Stephen L. Smith, Jun Liu

Proceedings of the 2021 European Control Conference, 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, Jun Liu

Proceedings of the 2021 American Control Conference, 2021

ROCS 2.0: An Integrated Temporal Logic Control Synthesis Tool for Nonlinear Dynamical Systems.

Yinan Li, Zhibing Sun, Jun Liu

Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

2020

Continuous Motion Planning with Temporal Logic Specifications using Deep Neural Networks.

Chuanzheng Wang, Yinan Li, Stephen L. Smith, Jun Liu

CoRR, 2020

2019

Robustly Complete Temporal Logic Control Synthesis for Nonlinear Systems.

Yinan Li

PhD thesis, 2019

2018

Invariance Control Synthesis for Switched Nonlinear Systems: An Interval Analysis Approach.

Yinan Li, Jun Liu

IEEE Trans. Autom. Control., 2018

ROCS: A Robustly Complete Control Synthesis Tool for Nonlinear Dynamical Systems.

Yinan Li, Jun Liu

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

Robustly Complete Reach-and-Stay Control Synthesis for Switched Systems via Interval Analysis.

Yinan Li, Jun Liu

Proceedings of the 2018 Annual American Control Conference, 2018

2016

Invariance Control Synthesis for Switched Systems: An Interval Analysis Approach.

Yinan Li, Jun Liu

CoRR, 2016

An interval analysis approach to invariance control synthesis for discrete-time switched systems.

Yinan Li, Jun Liu

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

2015

Switching control of differential-algebraic equations with temporal logic specifications.

Yinan Li, Jun Liu

Proceedings of the American Control Conference, 2015

Computing finite abstractions with robustness margins via local reachable set over-approximation.

Yinan Li, Jun Liu, Necmiye Ozay

Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015