Yinan Li

25 papers A 1C 3Journal 13Unranked 7
YearRankTypeTitle / Venue / Authors
2023 J jnl
A Specification-Guided Framework for Temporal Logic Control of Nonlinear Systems.
IEEE Trans. Autom. Control.
Yinan Li, Zhibing Sun, Jun Liu
2022 — conf
A Piecewise Learning Framework for Control of Unknown Nonlinear Systems with Stability Guarantees.
L4DC
Milad Farsi, Yinan Li, Ye Yuan, Jun Liu
2022 J jnl
Reactive task and motion planning for robust whole-body dynamic locomotion in constrained environments.
Int. J. Robotics Res.
Ye Zhao, Yinan Li, Luis Sentis, Ufuk Topcu, Jun Liu
2022 J jnl
Smooth converse Lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid-stay specifications.
Autom.
Yiming Meng, Yinan Li, Maxwell Fitzsimmons, Jun Liu
2021 J jnl
A Specification-Guided Framework for Temporal Logic Control of Nonlinear Systems.
CoRR
Yinan Li, Zhibing Sun, Jun Liu
2021 J jnl
Computation of controlled invariant sets for discrete-time switched nonlinear systems with time-delay.
J. Frankl. Inst.
Ruijuan Chen, Yinan Li, Jun Liu
2021 C conf
Control of Nonlinear Systems with Reach-Avoid-Stay Specifications: A Lyapunov-Barrier Approach with an Application to the Moore-Greizer Model.
ACC
Yiming Meng, Yinan Li, Jun Liu
2021 — conf
Learning Control Barrier Functions with High Relative Degree for Safety-Critical Control.
ECC
Chuanzheng Wang, Yiming Meng, Yinan Li, Stephen L. Smith, Jun Liu
2021 — conf
ROCS 2.0: An Integrated Temporal Logic Control Synthesis Tool for Nonlinear Dynamical Systems.
ADHS
Yinan Li, Zhibing Sun, Jun Liu
2021 J jnl
Robustly Complete Synthesis of Memoryless Controllers for Nonlinear Systems With Reach-and-Stay Specifications.
IEEE Trans. Autom. Control.
Yinan Li, Jun Liu
2021 A conf
Safe Linear Temporal Logic Motion Planning in Dynamic Environments.
IROS
Yinan Li, Ebrahim Moradi Shahrivar, Jun Liu
2020 J jnl
Continuous Motion Planning with Temporal Logic Specifications using Deep Neural Networks.
CoRR
Chuanzheng Wang, Yinan Li, Stephen L. Smith, Jun Liu
2020 J jnl
Learning Control Barrier Functions with High Relative Degree for Safety-Critical Control.
CoRR
Chuanzheng Wang, Yinan Li, Yiming Meng, Stephen L. Smith, Jun Liu
2020 J jnl
Smooth Converse Lyapunov-Barrier Theorems for Asymptotic Stability with Safety Constraints and Reach-Avoid-Stay Specifications.
CoRR
Jun Liu, Yiming Meng, Yinan Li, Maxwell Fitzsimmons
2019 — —
Robustly Complete Temporal Logic Control Synthesis for Nonlinear Systems.
Yinan Li
2018 J jnl
Invariance Control Synthesis for Switched Nonlinear Systems: An Interval Analysis Approach.
IEEE Trans. Autom. Control.
Yinan Li, Jun Liu
2018 — conf
ROCS: A Robustly Complete Control Synthesis Tool for Nonlinear Dynamical Systems.
HSCC
Yinan Li, Jun Liu
2018 — conf
ROCS: A Robustly Complete Control Synthesis Tool for Nonlinear Dynamical Systems.
HSCC
Yinan Li, Jun Liu
2018 J jnl
Reactive Task and Motion Planning for Robust Whole-Body Dynamic Locomotion in Constrained Environments.
CoRR
Ye Zhao, Yinan Li, Luis Sentis, Ufuk Topcu, Jun Liu
2018 C conf
Robustly Complete Reach-and-Stay Control Synthesis for Switched Systems via Interval Analysis.
ACC
Yinan Li, Jun Liu
2016 — conf
An interval analysis approach to invariance control synthesis for discrete-time switched systems.
CDC
Yinan Li, Jun Liu
2016 J jnl
Invariance Control Synthesis for Switched Systems: An Interval Analysis Approach.
CoRR
Yinan Li, Jun Liu
2015 — conf
Computing finite abstractions with robustness margins via local reachable set over-approximation.
ADHS
Yinan Li, Jun Liu, Necmiye Ozay
2015 J jnl
Computing finite abstractions with robustness margins via local reachable set over-approximation.
CoRR
Yinan Li, Jun Liu, Necmiye Ozay
2015 C conf
Switching control of differential-algebraic equations with temporal logic specifications.
ACC
Yinan Li, Jun Liu