Yinan Li
Orcid: 0000-0001-7137-7823Affiliations:
- University of Waterloo, Ontario, Canada (PhD 2019)
According to our database1,
Yinan Li
authored at least 19 papers
between 2015 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
2015
2016
2017
2018
2019
2020
2021
2022
2023
0
1
2
3
4
5
6
7
1
2
2
1
1
1
1
4
2
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
IEEE Trans. Autom. Control., 2023
2022
Reactive task and motion planning for robust whole-body dynamic locomotion in constrained environments.
Int. J. Robotics Res., 2022
Smooth converse Lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid-stay specifications.
Autom., 2022
A Piecewise Learning Framework for Control of Unknown Nonlinear Systems with Stability Guarantees.
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.
IEEE Trans. Autom. Control., 2021
Computation of controlled invariant sets for discrete-time switched nonlinear systems with time-delay.
J. Frankl. Inst., 2021
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.
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.
Proceedings of the 2021 American Control Conference, 2021
ROCS 2.0: An Integrated Temporal Logic Control Synthesis Tool for Nonlinear Dynamical Systems.
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.
CoRR, 2020
2019
PhD thesis, 2019
2018
Invariance Control Synthesis for Switched Nonlinear Systems: An Interval Analysis Approach.
IEEE Trans. Autom. Control., 2018
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.
Proceedings of the 2018 Annual American Control Conference, 2018
2016
CoRR, 2016
An interval analysis approach to invariance control synthesis for discrete-time switched systems.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
2015
Switching control of differential-algebraic equations with temporal logic specifications.
Proceedings of the American Control Conference, 2015
Computing finite abstractions with robustness margins via local reachable set over-approximation.
Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015