Jun Liu 0015 - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 39 from 39

2024

Underapproximate Reachability Analysis for a Class of Linear Systems With InputsMohamed Serry, Jun Liu 0015. tac, 69(2):1125-1132, February 2024. [doi]

2023

A Specification-Guided Framework for Temporal Logic Control of Nonlinear SystemsYinan Li 0001, Zhibing Sun, Jun Liu 0015. tac, 68(4):2002-2017, 2023. [doi]

Zonotopic Under-Approximations of Input Reachable Sets for Controllable Linear SystemsMohamed Serry, Jun Liu 0015. csysl, 7:1453-1458, 2023. [doi]

2022

Reactive task and motion planning for robust whole-body dynamic locomotion in constrained environmentsYe Zhao 0002, Yinan Li 0001, Luis Sentis, Ufuk Topcu, Jun Liu 0015. ijrr, 41(8):812-847, 2022. [doi]

Converse Barrier Functions via Lyapunov FunctionsJun Liu 0015. tac, 67(1):497-503, 2022. [doi]

On Almost Sure Convergence Rates of Stochastic Gradient MethodsJun Liu 0015, Ye Yuan 0002. colt 2022: 2963-2983 [doi]

Structured Online Learning for Low-Level Control of QuadrotorsMilad Farsi, Jun Liu 0015. amcc 2022: 1242-1247 [doi]

A Piecewise Learning Framework for Control of Unknown Nonlinear Systems with Stability GuaranteesMilad Farsi, Yinan Li 0001, Ye Yuan, Jun Liu 0015. l4dc 2022: 830-843 [doi]

A note on the equivalence of a strongly convex function and its induced contractive differential equationMaxwell Fitzsimmons, Jun Liu 0015. automatica, 142:110349, 2022. [doi]

Smooth converse Lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid-stay specificationsYiming Meng, Yinan Li 0001, Maxwell Fitzsimmons, Jun Liu 0015. automatica, 144:110478, 2022. [doi]

Robustly Complete Finite-State Abstractions for Verification of Stochastic SystemsYiming Meng, Jun Liu 0015. formats 2022: 80-97 [doi]

Sufficient Conditions for Robust Probabilistic Reach-Avoid-Stay Specifications using Stochastic Lyapunov-Barrier FunctionsYiming Meng, Jun Liu 0015. amcc 2022: 2283-2288 [doi]

Data-Driven Learning of Safety-Critical Control with Stochastic Control Barrier FunctionsChuanzheng Wang, Yiming Meng, Stephen L. Smith 0001, Jun Liu 0015. cdc 2022: 5309-5315 [doi]

Practical Stabilization of Networked Takagi-Sugeno Fuzzy Systems via Improved Jensen InequalitiesHe Zhang, Jun Liu 0015, Shengyuan Xu, Zhengqiang Zhang. tcyb, 52(6):4381-4390, 2022. [doi]

Practical Stability and Event-Triggered Load Frequency Control of Networked Power SystemsHe Zhang, Jun Liu 0015, Shengyuan Xu. tsmc, 52(10):6296-6304, 2022. [doi]

2021

Closing the Gap Between Discrete Abstractions and Continuous Control: Completeness via Robustness and ControllabilityJun Liu 0015. formats 2021: 67-83 [doi]

Computation of controlled invariant sets for discrete-time switched nonlinear systems with time-delayRuijuan Chen, Yinan Li, Jun Liu 0015. jfi, 358(14):7187-7202, 2021. [doi]

A Structured Online Learning Approach to Nonlinear Tracking with Unknown DynamicsMilad Farsi, Jun Liu 0015. amcc 2021: 2205-2211 [doi]

Robustly Complete Synthesis of Memoryless Controllers for Nonlinear Systems With Reach-and-Stay SpecificationsYinan Li, Jun Liu 0015. tac, 66(3):1199-1206, 2021. [doi]

Safe Linear Temporal Logic Motion Planning in Dynamic EnvironmentsYinan Li, Ebrahim Moradi Shahrivar, Jun Liu 0015. iros 2021: 9818-9825 [doi]

ROCS 2.0: An Integrated Temporal Logic Control Synthesis Tool for Nonlinear Dynamical SystemsYinan Li, Zhibing Sun, Jun Liu 0015. adhs 2021: 31-36 [doi]

A Matrosov Theorem for Hybrid Systems With MemoryKun-Zhi Liu, Xue-fang Wang, Andrew R. Teel, Xi-Ming Sun, Jun Liu 0015. tac, 66(10):4918-4925, 2021. [doi]

Stabilization of Highly Nonlinear Stochastic Coupled Systems via Periodically Intermittent ControlYan Liu, Jun Liu 0015, Wenxue Li. tac, 66(10):4799-4806, 2021. [doi]

Simulation Relations for Abstraction-based Robust Control of Hybrid Dynamical SystemsPavithra Prabhakar, Jun Liu 0015. adhs 2021: 115-120 [doi]

Learning Control Barrier Functions with High Relative Degree for Safety-Critical ControlChuanzheng Wang, Yiming Meng, Yinan Li, Stephen L. Smith, Jun Liu 0015. eucc 2021: 1459-1464 [doi]

Safety-Critical Control of Stochastic Systems using Stochastic Control Barrier FunctionsChuanzheng Wang, Yiming Meng, Stephen L. Smith 0001, Jun Liu 0015. cdc 2021: 5924-5931 [doi]

Convergence Analysis of a Continuous-Time Distributed Gradient Descent AlgorithmMengyao Zhang, Xinzhi Liu, Jun Liu 0015. csysl, 5(4):1339-1344, 2021. [doi]

Event-Triggered Fuzzy Flight Control of a Two-Degree-of-Freedom Helicopter SystemHe Zhang, Jun Liu 0015. tfs, 29(10):2949-2962, 2021. [doi]

2020

2019

On the Powerball Method: Variants of Descent Methods for Accelerated OptimizationYe Yuan 0002, Mu Li, Jun Liu 0015, Claire Tomlin. csysl, 3(3):601-606, 2019. [doi]

2018

2015

Computing finite abstractions with robustness margins via local reachable set over-approximationYinan Li, Jun Liu 0015, Necmiye Ozay. adhs 2015: 1-6 [doi]

See Also

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Jun Liu 0015'

Viewing Publication 1 - 39 from 39

2024

2023

2022

2021

2020

2019

2018

2015

See Also

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Jun Liu 0015'

Viewing Publication 1 - 39 from 39

2024

2023

2022

2021

2020

2019

2018

2015

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1