default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDYinan Li 0001
Person information
- affiliation (PhD 2019): University of Waterloo, Ontario, Canada
Other persons with the same name
- Yinan Li — disambiguation page
- Yinan Li 0002 — Virginia Tech, Blacksburg, VA, USA (and 2 more)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[j6]Yinan Li
, Zhibing Sun, Jun Liu:
A Specification-Guided Framework for Temporal Logic Control of Nonlinear Systems. IEEE Trans. Autom. Control. 68(4): 2002-2017 (2023)- 2022
- [j5]Yiming Meng, Yinan Li, Maxwell Fitzsimmons, Jun Liu:
Smooth converse Lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid-stay specifications. Autom. 144: 110478 (2022) - [j4]Ye Zhao, Yinan Li, Luis Sentis, Ufuk Topcu, Jun Liu:
Reactive task and motion planning for robust whole-body dynamic locomotion in constrained environments. Int. J. Robotics Res. 41(8): 812-847 (2022) - [c11]Milad Farsi, Yinan Li, Ye Yuan, Jun Liu:
A Piecewise Learning Framework for Control of Unknown Nonlinear Systems with Stability Guarantees. L4DC 2022: 830-843 - 2021
- [j3]Ruijuan Chen, Yinan Li, Jun Liu:
Computation of controlled invariant sets for discrete-time switched nonlinear systems with time-delay. J. Frankl. Inst. 358(14): 7187-7202 (2021) - [j2]Yinan Li, Jun Liu:
Robustly Complete Synthesis of Memoryless Controllers for Nonlinear Systems With Reach-and-Stay Specifications. IEEE Trans. Autom. Control. 66(3): 1199-1206 (2021) - [c10]Yinan Li, Zhibing Sun, Jun Liu:
ROCS 2.0: An Integrated Temporal Logic Control Synthesis Tool for Nonlinear Dynamical Systems. ADHS 2021: 31-36 - [c9]Yiming Meng, Yinan Li, Jun Liu:
Control of Nonlinear Systems with Reach-Avoid-Stay Specifications: A Lyapunov-Barrier Approach with an Application to the Moore-Greizer Model. ACC 2021: 2284-2291 - [c8]Chuanzheng Wang, Yiming Meng, Yinan Li, Stephen L. Smith, Jun Liu:
Learning Control Barrier Functions with High Relative Degree for Safety-Critical Control. ECC 2021: 1459-1464 - [c7]Yinan Li, Ebrahim Moradi Shahrivar, Jun Liu:
Safe Linear Temporal Logic Motion Planning in Dynamic Environments. IROS 2021: 9818-9825 - [i7]Yinan Li, Zhibing Sun, Jun Liu:
A Specification-Guided Framework for Temporal Logic Control of Nonlinear Systems. CoRR abs/2104.01385 (2021) - 2020
- [i6]Chuanzheng Wang, Yinan Li, Stephen L. Smith, Jun Liu:
Continuous Motion Planning with Temporal Logic Specifications using Deep Neural Networks. CoRR abs/2004.02610 (2020) - [i5]Jun Liu, Yiming Meng, Yinan Li, Maxwell Fitzsimmons:
Smooth Converse Lyapunov-Barrier Theorems for Asymptotic Stability with Safety Constraints and Reach-Avoid-Stay Specifications. CoRR abs/2009.04432 (2020) - [i4]Chuanzheng Wang, Yinan Li, Yiming Meng, Stephen L. Smith, Jun Liu:
Learning Control Barrier Functions with High Relative Degree for Safety-Critical Control. CoRR abs/2011.10721 (2020)
2010 – 2019
- 2019
- [b1]Yinan Li:
Robustly Complete Temporal Logic Control Synthesis for Nonlinear Systems. University of Waterloo, Ontario, Canada, 2019 - 2018
- [j1]Yinan Li, Jun Liu:
Invariance Control Synthesis for Switched Nonlinear Systems: An Interval Analysis Approach. IEEE Trans. Autom. Control. 63(7): 2206-2211 (2018) - [c6]Yinan Li, Jun Liu:
Robustly Complete Reach-and-Stay Control Synthesis for Switched Systems via Interval Analysis. ACC 2018: 2350-2355 - [c5]Yinan Li, Jun Liu:
ROCS: A Robustly Complete Control Synthesis Tool for Nonlinear Dynamical Systems. HSCC 2018: 130-135 - [c4]Yinan Li, Jun Liu:
ROCS: A Robustly Complete Control Synthesis Tool for Nonlinear Dynamical Systems. HSCC 2018: 265-266 - [i3]Ye Zhao, Yinan Li, Luis Sentis, Ufuk Topcu, Jun Liu:
Reactive Task and Motion Planning for Robust Whole-Body Dynamic Locomotion in Constrained Environments. CoRR abs/1811.04333 (2018) - 2016
- [c3]Yinan Li, Jun Liu:
An interval analysis approach to invariance control synthesis for discrete-time switched systems. CDC 2016: 6388-6394 - [i2]Yinan Li, Jun Liu:
Invariance Control Synthesis for Switched Systems: An Interval Analysis Approach. CoRR abs/1608.08683 (2016) - 2015
- [c2]Yinan Li, Jun Liu, Necmiye Ozay:
Computing finite abstractions with robustness margins via local reachable set over-approximation. ADHS 2015: 1-6 - [c1]Yinan Li, Jun Liu:
Switching control of differential-algebraic equations with temporal logic specifications. ACC 2015: 1941-1946 - [i1]Yinan Li, Jun Liu, Necmiye Ozay:
Computing finite abstractions with robustness margins via local reachable set over-approximation. CoRR abs/1507.06248 (2015)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 21:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
