default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJun Liu 0015
Person information
- affiliation: University of Waterloo, Canada
- affiliation: University of Sheffield, UK
- affiliation: California Institute of Technology, Pasadena, CA, USA
Other persons with the same name
- Jun Liu — disambiguation page
- Jun Liu 0001
![[0000-0001-8859-5405]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0001-8859-5405")
— University of Ulster, Jordanstown, UK (and 3 more) - Jun Liu 0002 — Xi'an Jiaotong University, Shaanxi Provincial Key Laboratory of Big Data Knowledge Engineering, Xi'an, China (and 1 more)
- Jun Liu 0003 — Infinia ML Inc., Durham, NC, USA (and 4 more)
- Jun Liu 0004 — University of Science and Technology of China, Department of Electronic Engineering and Information Science, Hefei, China (and 3 more)
- Jun Liu 0005 — North University of China, Science and Technology on Electronic Test and Measurement Laboratory, Taiyuan, China (and 2 more)
- Jun Liu 0006 — Beihang University, School of Electronic and Information Engineering, Beijing, China (and 4 more)
- Jun Liu 0007 — City University of Hong Kong, Department of Mechanical Engineering, Hong Kong (and 1 more)
- Jun Liu 0008 — Pennsylvania State University, University Park, PA, USA
- Jun Liu 0009 — University of Alabama, Tuscaloosa, AL, USA (and 1 more)
- Jun Liu 0010 — Guangzhou University of Chinese Medicine, Guangzhou, China
- Jun Liu 0011 — Wuhan University of Science and Technology, Wuhan, China (and 1 more)
- Jun Liu 0012 — Northeast Normal University, School of Mathematics and Statistics, Changchun, China (and 1 more)
- Jun Liu 0013 — University of North Dakota, Grand Forks, ND, USA (and 1 more)
- Jun Liu 0014 — Beijing University of Posts and Telecommunications, Center for Data Science, Beijing, China
- Jun Liu 0016 — Tsinghua University, Institute of Human Factos and Ergonomics, Beijing, China
- Jun Liu 0017 — Singapore Management University, Singapore (and 1 more)
- Jun Liu 0018 — Chinese Academy of Sciences, Shenzhen Institutes of Advanced Technology, Shenzhen, China
- Jun Liu 0019 — Quijing Normal University, College of Mathematics and Information Science, Quijing, China
- Jun Liu 0020 — Nanyang Technological University, Singapore
- Jun Liu 0021 — Guangxi University, Nanning, China
- Jun Liu 0022 — Iowa State University, Ames, IA, USA
- Jun Liu 0023 — University of Bremen, Germany
- Jun Liu 0024 — Xi'an Jiaotong University, School of Electrical Engineering, Xi'an, China
- Jun Liu 0025 — Jackson State University, Jackson, MS, USA (and 1 more)
- Jun Liu 0026 — Hangzhou Dianzi University, College of Automation, Hangzhou, China (and 1 more)
- Jun Liu 0027 — Hangzhou Dianzi University, Key Laboratory of RF Circuits and Systems, Hangzhou, China (and 1 more)
- Jun Liu 0028 — Dakota State University, Madison, SD, USA
- Jun Liu 0029 — Beijing Normal University, School of Mathematical Sciences, MoE Laboratory of Mathematics and Complex Systems, China
- Jun Liu 0030 — Guangdong Polytechnic Normal University, School of Automation, Guangzhou, China (and 1 more)
- Jun Liu 0031 — Chinese Academy of Railway Sciences, Beijing, China (and 1 more)
- Jun Liu 0032 — Dakota State University, College of Business and Information Systems, Madison, SD, USA (and 2 more)
- Jun Liu 0033 — Northeastern University, Shenyang, China
- Jun Liu 0034 — Beijing Jiaotong University, Institute of Information Science, Beijing, China
- Jun Liu 0035 — Tsinghua University, Beijing, China (and 1 more)
- Jun Liu 0036 — Singapore University of Technology and Design (and 2 more)
- Jun Liu 0037 — Columbia University, Department of Psychiatry, New York, NY, USA
- Jun Liu 0038 — Linear Technology, Milpitas, CA, USA (and 1 more)
- Jun Liu 0039 — Huazhong University of Science and Technology, School of Naval Architecture and Ocean Engineering, Wuhan, China
- Jun Liu 0040 — Naval Aeronautical and Astronautical University, Research Institute of Information Fusion, Yantai, China
- Jun Liu 0041 — Southwest University, School of Engineering and Technology, Chongqing, China
- Jun Liu 0042 — Chongqing University, Key Laboratory of Optoelectronics Technology and Systems / College of Optoelectronic Engineering, China
- Jun Liu 0043 — Ohio State University, Department of Biomedical Engineering, Columbus, OH, USA
- Jun Liu 0044 — Chongqing University of Posts and Telecommunications, College of Software Engineering, China (and 1 more)
- Jun Liu 0045 — Technical University of Berlin, Germany
- Jun Liu 0046 — Chengdu University of Information Technology, School of Control Engineering, China (and 1 more)
- Jun Liu 0047 — National University of Defense Technology, College of Electronic Science and Technology, Changsha, China
- Jun Liu 0048 — National University of Defense Technology, College of Meteorology and Oceanology, Changsha, China
- Jun Liu 0049 — Nanjing University of Information Science & Technology, School of Computer & Software / Jiangsu Engineering Center of Network Monitoring, China
- Jun Liu 0050 — Naval Aviation University, Research Institute of Information Fusion, Yantai, China
- Jun Liu 0051 — Chongqing University of Posts and Telecommunications, Department of Optoelectronics Engineering, China
- Jun Liu 0052 — University of Electronic Science and Technology of China, School of Electronic Engineering, Chengdu, China
- Jun Liu 0053 — Shanghai Jiao Tong University, School of Aeronautics and Astronautics, Shanghai, China (and 1 more)
- Jun Liu 0054 — University of Birmingham, School of Metallurgy and Materials, Birmingham, UK
- Jun Liu 0055 — Qingdao Agricultural University, Qingdao, China (and 1 more)
- Jun Liu 0056 — Beijing Foreign Studies University, International Business School, Beijing, China
- Jun Liu 0057 — Jiangxi University of Finance and Economics, School of Statistics, Nanchang, China
- Jun Liu 0058 — Xi'an University of Technology, College of Automation, Xi'an, China
- Jun Liu 0059 — Chinese Academy of Sciences, Computer Network and Information Center, Beijing, China
- Jun Liu 0060 — Virginia Tech, Blacksburg, VA, USA
- Jun Liu 0061 — Beijing Jiaotong University, School of Traffic and Transportation, Beijing, China
- Jun Liu 0062 — University of Copenhagen, Denmark
- Jun Liu 0063 — Peking University, School of Electronics Engineering and Computer Science, Center for Energy-Efficient Computing and Applications, Beijing, China
- Jun Liu 0064 — China University of Petroleum, College of Science, Qingdao, China (and 1 more)
- Jun Liu 0065 — Qujing Normal University, Institute of Applied Mathematics, China
- Jun Liu 0066 — Northeastern University, Sino-Dutch Biomedical and Information Engineering School, Shenyang, China
- Jun Liu 0067 — Northeastern University, School of Sciences, Shenyang, China
- Jun Liu 0069 — Nanyang Technological University, Singapore
- Jun Liu 0070 — Hefei University of Technology, School of Computer and Information, China
- Jun Liu 0071 — University of Macau, Zhuhai, Macau
- Jun Liu 0072 — Wuhan University, State Key Laboratory of Information Engineering in Surveying, Mapping and Remote Sensing, LIESMARS, China
- Jun Liu 0073 — Huazhong University of Science and Technology, Wuhan National Laboratory for Optoelectronics, Hubei, China
- Jun Liu 0074 — University of New South Wales, Sydney, NSW, Australia
- Jun Liu 0075 — Central South University, Department of Radiology Quality Control Center, Second Xiangya Hospital, Changsha, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j43]Maxwell Fitzsimmons, Jun Liu:
A Neural Network Approach to Finding Global Lyapunov Functions for Homogeneous Vector Fields. IEEE Control. Syst. Lett. 8: 670-675 (2024)- [j42]Ruikun Zhou, Maxwell Fitzsimmons, Yiming Meng, Jun Liu:
Physics-Informed Extreme Learning Machine Lyapunov Functions. IEEE Control. Syst. Lett. 8: 1763-1768 (2024) - [j41]Mohamed Serry, Jun Liu:
Underapproximate Reachability Analysis for a Class of Linear Systems With Inputs. IEEE Trans. Autom. Control. 69(2): 1125-1132 (2024) - [j40]Yiming Meng, Jun Liu:
Stochastic Lyapunov-Barrier Functions for Robust Probabilistic Reach-Avoid-Stay Specifications. IEEE Trans. Autom. Control. 69(8): 5470-5477 (2024) - [j39]Zhexuan Zeng, Jun Liu, Ye Yuan:
A Generalized Nyquist-Shannon Sampling Theorem Using the Koopman Operator. IEEE Trans. Signal Process. 72: 3595-3610 (2024) - [c48]Mohammad Aali, Jun Liu:
Learning High-Order Control Barrier Functions for Safety-Critical Control with Gaussian Processes. ACC 2024: 1-6 - [c47]Mohamed Serry, Liren Yang, Necmiye Ozay, Jun Liu:
Safe Tracking Control of Discrete-Time Nonlinear Systems Using Backward Reachable Sets. ACC 2024: 1172-1179 - [c46]Yiming Meng, Ruikun Zhou, Jun Liu:
Zubov-Koopman Learning of Maximal Lyapunov Functions. ACC 2024: 4020-4025 - [c45]Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou:
Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems. ACC 2024: 4789-4794 - [c44]Mohammad Aali, Jun Liu:
Learning Piecewise Residuals of Control Barrier Functions for Safety of Switching Systems using Multi-Output Gaussian Processes. ECC 2024: 1942-1947 - [c43]Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou:
TOOL LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction. HSCC 2024: 25:1-25:8 - [c42]Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou:
Physics-Informed Neural Networks for Stability Analysis and Control with Formal Guarantees. HSCC 2024: 32:1-32:2 - [c41]Yiming Meng, Ruikun Zhou, Amartya Mukherjee, Maxwell Fitzsimmons, Christopher Song, Jun Liu:
Physics-Informed Neural Network Policy Iteration: Algorithms, Convergence, and Verification. ICML 2024 - [i34]Amartya Mukherjee, Melissa M. Stadt, Lena Podina, Mohammad Kohandel, Jun Liu:
Denoising Diffusion Restoration Tackles Forward and Inverse Problems for the Laplace Operator. CoRR abs/2402.08563 (2024) - [i33]Yiming Meng, Ruikun Zhou, Amartya Mukherjee, Maxwell Fitzsimmons, Christopher Song, Jun Liu:
Physics-Informed Neural Network Policy Iteration: Algorithms, Convergence, and Verification. CoRR abs/2402.10119 (2024) - [i32]Mohammad Aali, Jun Liu:
Learning High-Order Control Barrier Functions for Safety-Critical Control with Gaussian Processes. CoRR abs/2403.09573 (2024) - [i31]Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou:
Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems. CoRR abs/2403.10007 (2024) - [i30]Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou:
LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction. CoRR abs/2403.10013 (2024) - [i29]Amartya Mukherjee, Thanin Quartz, Jun Liu:
Manifold-Guided Lyapunov Control with Diffusion Models. CoRR abs/2403.17692 (2024) - [i28]Mohammad Aali, Jun Liu:
Learning Piecewise Residuals of Control Barrier Functions for Safety of Switching Systems using Multi-Output Gaussian Processes. CoRR abs/2403.18041 (2024) - [i27]Mohamed Serry, Haocheng Chang, Jun Liu:
Reach-Avoid Control Synthesis for a Quadrotor UAV with Formal Safety Guarantees. CoRR abs/2405.20502 (2024) - [i26]Jun Liu, Maxwell Fitzsimmons, Ruikun Zhou, Yiming Meng:
Formally Verified Physics-Informed Neural Control Lyapunov Functions. CoRR abs/2409.20528 (2024) - 2023
- [j38]Mohamed A. Serry, Jun Liu:
Zonotopic Under-Approximations of Input Reachable Sets for Controllable Linear Systems. IEEE Control. Syst. Lett. 7: 1453-1458 (2023) - [j37]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) - [c40]Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou:
Towards Learning and Verifying Maximal Neural Lyapunov Functions. CDC 2023: 8012-8019 - [i25]Amartya Mukherjee, Jun Liu:
Bridging Physics-Informed Neural Networks with Reinforcement Learning: Hamilton-Jacobi-Bellman Proximal Policy Optimization (HJBPPO). CoRR abs/2302.00237 (2023) - [i24]Yiming Meng, Jun Liu:
Robustly Complete Finite-State Abstractions for Control Synthesis of Stochastic Systems. CoRR abs/2303.05566 (2023) - [i23]Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou:
Towards Learning and Verifying Maximal Neural Lyapunov Functions. CoRR abs/2304.07215 (2023) - [i22]Amartya Mukherjee, Jun Liu:
Actor-Critic Methods using Physics-Informed Neural Networks: Control of a 1D PDE Model for Fluid-Cooled Battery Packs. CoRR abs/2305.10952 (2023) - [i21]Mohamed A. Serry, Sean D. Peterson, Jun Liu:
Euler-Bernoulli beams with contact forces: existence, uniqueness, and numerical solutions. CoRR abs/2307.02597 (2023) - [i20]Amartya Mukherjee, Ruikun Zhou, Jun Liu:
Harmonic Control Lyapunov Barrier Functions for Constrained Optimal Control with Reach-Avoid Specifications. CoRR abs/2310.02869 (2023) - [i19]Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Ruikun Zhou:
Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification. CoRR abs/2312.09131 (2023) - [i18]Chuanzheng Wang, Yiming Meng, Jun Liu, Stephen L. Smith:
Stochastic Control Barrier Functions with Bayesian Inference for Unknown Stochastic Differential Equations. CoRR abs/2312.12759 (2023) - 2022
- [j36]Maxwell Fitzsimmons, Jun Liu:
A note on the equivalence of a strongly convex function and its induced contractive differential equation. Autom. 142: 110349 (2022) - [j35]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) - [j34]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) - [j33]Jun Liu:
Converse Barrier Functions via Lyapunov Functions. IEEE Trans. Autom. Control. 67(1): 497-503 (2022) - [j32]He Zhang, Jun Liu, Shengyuan Xu, Zhengqiang Zhang:
Practical Stabilization of Networked Takagi-Sugeno Fuzzy Systems via Improved Jensen Inequalities. IEEE Trans. Cybern. 52(6): 4381-4390 (2022) - [j31]He Zhang, Jun Liu, Shengyuan Xu:
Practical Stability and Event-Triggered Load Frequency Control of Networked Power Systems. IEEE Trans. Syst. Man Cybern. Syst. 52(10): 6296-6304 (2022) - [c39]Milad Farsi, Jun Liu:
Structured Online Learning for Low-Level Control of Quadrotors. ACC 2022: 1242-1247 - [c38]Yiming Meng, Jun Liu:
Sufficient Conditions for Robust Probabilistic Reach-Avoid-Stay Specifications using Stochastic Lyapunov-Barrier Functions. ACC 2022: 2283-2288 - [c37]Chuanzheng Wang, Yiming Meng, Stephen L. Smith, Jun Liu:
Data-Driven Learning of Safety-Critical Control with Stochastic Control Barrier Functions. CDC 2022: 5309-5315 - [c36]Mohammad Aali, Jun Liu:
Multiple Control Barrier Functions: An Application to Reactive Obstacle Avoidance for a Multi-steering Tractor-trailer System. CDC 2022: 6993-6998 - [c35]Jun Liu, Ye Yuan:
On Almost Sure Convergence Rates of Stochastic Gradient Methods. COLT 2022: 2963-2983 - [c34]Yiming Meng, Jun Liu:
Robustly Complete Finite-State Abstractions for Verification of Stochastic Systems. FORMATS 2022: 80-97 - [c33]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 - [i17]Jun Liu, Ye Yuan:
On Almost Sure Convergence Rates of Stochastic Gradient Methods. CoRR abs/2202.04295 (2022) - [i16]Chuanzheng Wang, Yiming Meng, Stephen L. Smith, Jun Liu:
Data-Driven Learning of Safety-Critical Control with Stochastic Control Barrier Functions. CoRR abs/2205.11513 (2022) - [i15]Mohammad Aali, Jun Liu:
Multiple Control Barrier Functions: An Application to Reactive Obstacle Avoidance for a Multi-steering Tractor-trailer System. CoRR abs/2209.05156 (2022) - 2021
- [j30]Jun Liu:
On the convergence of reinforcement learning with Monte Carlo Exploring Starts. Autom. 129: 109693 (2021) - [j29]Mengyao Zhang, Xinzhi Liu, Jun Liu:
Convergence Analysis of a Continuous-Time Distributed Gradient Descent Algorithm. IEEE Control. Syst. Lett. 5(4): 1339-1344 (2021) - [j28]Yan He, Xi-Ming Sun, Jun Liu, Yuhu Wu:
Input-to-state stability analysis for homogeneous hybrid systems with bounded time-varying delays. Int. J. Control 94(2): 422-432 (2021) - [j27]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) - [j26]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) - [j25]Yan Liu, Jun Liu, Wenxue Li:
Stabilization of Highly Nonlinear Stochastic Coupled Systems via Periodically Intermittent Control. IEEE Trans. Autom. Control. 66(10): 4799-4806 (2021) - [j24]Kun-Zhi Liu, Xue-Fang Wang, Andrew R. Teel, Xi-Ming Sun, Jun Liu:
A Matrosov Theorem for Hybrid Systems With Memory. IEEE Trans. Autom. Control. 66(10): 4918-4925 (2021) - [j23]He Zhang, Jun Liu:
Event-Triggered Fuzzy Flight Control of a Two-Degree-of-Freedom Helicopter System. IEEE Trans. Fuzzy Syst. 29(10): 2949-2962 (2021) - [c32]Yinan Li, Zhibing Sun, Jun Liu:
ROCS 2.0: An Integrated Temporal Logic Control Synthesis Tool for Nonlinear Dynamical Systems. ADHS 2021: 31-36 - [c31]Pavithra Prabhakar, Jun Liu:
Simulation Relations for Abstraction-based Robust Control of Hybrid Dynamical Systems. ADHS 2021: 115-120 - [c30]Milad Farsi, Jun Liu:
A Structured Online Learning Approach to Nonlinear Tracking with Unknown Dynamics. ACC 2021: 2205-2211 - [c29]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 - [c28]Chuanzheng Wang, Yiming Meng, Stephen L. Smith, Jun Liu:
Safety-Critical Control of Stochastic Systems using Stochastic Control Barrier Functions. CDC 2021: 5924-5931 - [c27]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 - [c26]Jun Liu:
Closing the Gap Between Discrete Abstractions and Continuous Control: Completeness via Robustness and Controllability. FORMATS 2021: 67-83 - [c25]Yinan Li, Ebrahim Moradi Shahrivar, Jun Liu:
Safe Linear Temporal Logic Motion Planning in Dynamic Environments. IROS 2021: 9818-9825 - [i14]Yinan Li, Zhibing Sun, Jun Liu:
A Specification-Guided Framework for Temporal Logic Control of Nonlinear Systems. CoRR abs/2104.01385 (2021) - [i13]Chuanzheng Wang, Yiming Meng, Stephen L. Smith, Jun Liu:
Safety-Critical Control of Stochastic Systems using Stochastic Control Barrier Functions. CoRR abs/2104.02585 (2021) - [i12]Ye Yuan, Ruijuan Chen, Chuan Sun, Maolin Wang, Feng Hua, Xinlei Yi, Tao Yang, Jun Liu:
DeFed: A Principled Decentralized and Privacy-Preserving Federated Learning Algorithm. CoRR abs/2107.07171 (2021) - [i11]Mohamed A. Serry, Jun Liu:
Under-Approximate Reachability Analysis for a Class of Linear Uncertain Systems. CoRR abs/2112.13503 (2021) - 2020
- [j22]Mohammad Hadi Zibaeenejad, Jun Liu:
Auditor Product and Controller Synthesis for Nondeterministic Transition Systems With Practical LTL Specifications. IEEE Trans. Autom. Control. 65(10): 4281-4287 (2020) - [j21]Milad Farsi, Jun Liu:
Nonlinear Optimal Feedback Control and Stability Analysis of Solar Photovoltaic Systems. IEEE Trans. Control. Syst. Technol. 28(6): 2104-2119 (2020) - [j20]He Zhang, Jun Liu, Shengyuan Xu:
H-Infinity Load Frequency Control of Networked Power Systems via an Event-Triggered Scheme. IEEE Trans. Ind. Electron. 67(8): 7104-7113 (2020) - [j19]Yan He, Xi-Ming Sun, Jun Liu, Yuhu Wu:
Stability Analysis for Homogeneous Hybrid Systems With Delays. IEEE Trans. Syst. Man Cybern. Syst. 50(10): 3554-3561 (2020) - [c24]Beitong Zhou, Jun Liu, Weigao Sun, Ruijuan Chen, Claire J. Tomlin, Ye Yuan:
pbSGD: Powered Stochastic Gradient Descent Methods for Accelerated Non-Convex Optimization. IJCAI 2020: 3258-3266 - [i10]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) - [i9]Jun Liu:
Converse Barrier Functions via Lyapunov Functions. CoRR abs/2007.11086 (2020) - [i8]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) - [i7]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
- [j18]Ye Yuan, Mu Li, Jun Liu, Claire J. Tomlin:
On the Powerball Method: Variants of Descent Methods for Accelerated Optimization. IEEE Control. Syst. Lett. 3(3): 601-606 (2019) - 2018
- [j17]Pavithra Prabhakar, Jun Liu, Richard M. Murray:
Simulations and bisimulations for analysis of stability with respect to inputs of hybrid systems. Discret. Event Dyn. Syst. 28(3): 349-374 (2018) - [j16]Jun Liu, Andrew R. Teel:
Hybrid Systems with Memory: Existence and Well-posedness of Generalized Solutions. SIAM J. Control. Optim. 56(2): 1011-1037 (2018) - [j15]Yinan Li, Jun Liu:
Invariance Control Synthesis for Switched Nonlinear Systems: An Interval Analysis Approach. IEEE Trans. Autom. Control. 63(7): 2206-2211 (2018) - [c23]Yinan Li, Jun Liu:
Robustly Complete Reach-and-Stay Control Synthesis for Switched Systems via Interval Analysis. ACC 2018: 2350-2355 - [c22]Yinan Li, Jun Liu:
ROCS: A Robustly Complete Control Synthesis Tool for Nonlinear Dynamical Systems. HSCC 2018: 130-135 - [c21]Yinan Li, Jun Liu:
ROCS: A Robustly Complete Control Synthesis Tool for Nonlinear Dynamical Systems. HSCC 2018: 265-266 - [c20]Luc Larocque, Jun Liu:
Sampling-Based Motion Planning with μ-Calculus Specifications Without Steering. ICRA 2018: 1-6 - [i6]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) - 2017
- [j14]Petter Nilsson, Necmiye Ozay, Jun Liu:
Augmented finite transition systems as abstractions for control synthesis. Discret. Event Dyn. Syst. 27(2): 301-340 (2017) - [c19]Felipe J. Montana, Jun Liu, Tony J. Dodd:
Sampling-Based Reactive Motion Planning with Temporal Logic Constraints and Imperfect State Information. FMICS-AVoCS 2017: 134-149 - [c18]Felipe J. Montana, Jun Liu, Tony J. Dodd:
Sampling-Based Path Planning for Multi-robot Systems with Co-Safe Linear Temporal Logic Specifications. FMICS-AVoCS 2017: 150-164 - [c17]Jun Liu:
Robust Abstractions for Control Synthesis: Completeness via Robustness for Linear-Time Properties. HSCC 2017: 101-110 - [c16]Pablo Ordóñez, Andrew R. Mills, Tony J. Dodd, Jun Liu:
Formal verification of a gain scheduling control scheme. MED 2017: 259-264 - [i5]Ye Yuan, Ling Shi, Jun Liu, Zhiyong Chen, Hai-Tao Zhang, Jorge M. Gonçalves:
Distributed Kalman filtering with minimum-time consensus algorithm. CoRR abs/1703.05438 (2017) - 2016
- [j13]Jun Liu, Andrew R. Teel:
Lyapunov-Based Sufficient Conditions for Stability of Hybrid Systems With Memory. IEEE Trans. Autom. Control. 61(4): 1057-1062 (2016) - [j12]Kun-Zhi Liu, Xi-Ming Sun, Jun Liu, Andrew R. Teel:
Stability Theorems for Delay Differential Inclusions. IEEE Trans. Autom. Control. 61(10): 3215-3220 (2016) - [c15]Felipe J. Montana, Jun Liu, Tony J. Dodd:
Sampling-based stochastic optimal control with metric interval temporal logic specifications. CCA 2016: 767-773 - [c14]Pavithra Prabhakar, Jun Liu:
Bisimulations for input-output stability of hybrid systems. CDC 2016: 5515-5520 - [c13]Yinan Li, Jun Liu:
An interval analysis approach to invariance control synthesis for discrete-time switched systems. CDC 2016: 6388-6394 - [i4]Yinan Li, Jun Liu:
Invariance Control Synthesis for Switched Systems: An Interval Analysis Approach. CoRR abs/1608.08683 (2016) - 2015
- [c12]Yinan Li, Jun Liu, Necmiye Ozay:
Computing finite abstractions with robustness margins via local reachable set over-approximation. ADHS 2015: 1-6 - [c11]Yinan Li, Jun Liu:
Switching control of differential-algebraic equations with temporal logic specifications. ACC 2015: 1941-1946 - [i3]Jun Liu, Andrew R. Teel:
Lyapunov-based sufficient conditions for stability of hybrid systems with memory. CoRR abs/1507.05648 (2015) - [i2]Jun Liu, Andrew R. Teel:
Hybrid systems with memory: Existence of generalized solutions and well-posedness. CoRR abs/1507.06210 (2015) - [i1]Yinan Li, Jun Liu, Necmiye Ozay:
Computing finite abstractions with robustness margins via local reachable set over-approximation. CoRR abs/1507.06248 (2015) - 2014
- [c10]Fei Sun, Necmiye Ozay, Eric M. Wolff, Jun Liu, Richard M. Murray:
Efficient control synthesis for augmented finite transition systems with an application to switching protocols. ACC 2014: 3273-3280 - [c9]Jun Liu, Necmiye Ozay:
Abstraction, discretization, and robustness in temporal logic control of dynamical systems. HSCC 2014: 293-302 - [c8]Jun Liu, Pavithra Prabhakar:
Switching control of dynamical systems from metric temporal logic specifications. ICRA 2014: 5333-5338 - 2013
- [j11]Hongtao Zhang, Xinzhi Liu, Xuemin Shen, Jun Liu:
Chaos entanglement: a New Approach to Generate Chaos. Int. J. Bifurc. Chaos 23(5) (2013) - [j10]Jun Liu, Necmiye Ozay, Ufuk Topcu, Richard M. Murray:
Synthesis of Reactive Switching Protocols From Temporal Logic Specifications. IEEE Trans. Autom. Control. 58(7): 1771-1785 (2013) - [c7]Necmiye Ozay, Jun Liu, Pavithra Prabhakar, Richard M. Murray:
Computing augmented finite transition systems to synthesize switching protocols for polynomial switched systems. ACC 2013: 6237-6244 - [c6]Pavithra Prabhakar, Jun Liu, Richard M. Murray:
Pre-orders for reasoning about stability properties with respect to input of hybrid systems. EMSOFT 2013: 24:1-24:10 - 2012
- [j9]Jun Liu:
On asymptotic convergence and boundedness of stochastic systems with time-delay. Autom. 48(12): 3166-3172 (2012) - [j8]Jun Liu, Xinzhi Liu, Wei-Chau Xie:
Global convergence of neural networks with mixed time-varying delays and discontinuous neuron activations. Inf. Sci. 183(1): 92-105 (2012) - [j7]Jun Liu, Xinzhi Liu, Wei-Chau Xie:
Class-KL estimates and input-to-state stability analysis of impulsive switched systems. Syst. Control. Lett. 61(6): 738-746 (2012) - [c5]Jun Liu, Necmiye Ozay, Ufuk Topcu, Richard M. Murray:
Switching protocol synthesis for temporal logic specifications. ACC 2012: 727-734 - [c4]Ye Yuan, Jun Liu, Richard M. Murray, Jorge M. Gonçalves:
Decentralised minimal-time dynamic consensus. ACC 2012: 800-805 - [c3]Jun Liu, Andrew R. Teel:
Generalized solutions to hybrid systems with delays. CDC 2012: 6169-6174 - [c2]Jun Liu, Ufuk Topcu, Necmiye Ozay, Richard M. Murray:
Reactive controllers for differentially flat systems with temporal logic constraints. CDC 2012: 7664-7670 - [c1]Ufuk Topcu, Necmiye Ozay, Jun Liu, Richard M. Murray:
On synthesizing robust discrete controllers under modeling uncertainty. HSCC 2012: 85-94 - 2011
- [j6]Jun Liu, Xinzhi Liu, Wei-Chau Xie:
Impulsive stabilization of stochastic functional differential equations. Appl. Math. Lett. 24(3): 264-269 (2011) - [j5]Jun Liu, Xinzhi Liu, Wei-Chau Xie:
Input-to-state stability of impulsive and switching hybrid systems with time-delay. Autom. 47(5): 899-908 (2011) - [j4]Jun Liu, Xinzhi Liu, Wei-Chau Xie, Hongtao Zhang:
Stochastic consensus seeking with communication delays. Autom. 47(12): 2689-2696 (2011) - [j3]Jun Liu, Xinzhi Liu, Wei-Chau Xie:
Generalized invariance principles for switched delay systems. IMA J. Math. Control. Inf. 28(1): 19-39 (2011) - 2010
- [j2]Jun Liu, Xinzhi Liu, Wei-Chau Xie:
On the (h0, h)-stabilization of switched nonlinear systems via state-dependent switching rule. Appl. Math. Comput. 217(5): 2067-2083 (2010)
2000 – 2009
- 2009
- [j1]Jun Liu, Xinzhi Liu, Wei-Chau Xie:
Exponential stability of switched stochastic delay systems with non-linear uncertainties. Int. J. Syst. Sci. 40(6): 637-648 (2009)
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-11-11 22:26 CET 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:
