Zhikun She - RankMe

64 papers A* 2B 5C 2Misc 4Journal 41Unranked 10

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Navigating Robot Swarm Through a Virtual Tube With Flow-Adaptive Distribution Control. IEEE Trans. Control. Syst. Technol. Yongwei Zhang, Shuli Lv, Kairong Liu, Quanyi Liang, Quan Quan, Zhikun She
2025	J	`jnl`	An Efficient Approach for Estimating Domain of Attraction of Complex Network. IEEE Trans. Cybern. Quanyi Liang, Mingjing Tong, Zhikun She
2025	J	`jnl`	Complex state networks based safety analysis of complex engineering systems considering closed-loop feedback. Reliab. Eng. Syst. Saf. Mingzhe Li, Zhikun She, Dan Xu, Xueying Song, Wei Jia
2025	J	`jnl`	Evolution Function Based Reach-Avoid Verification for Time-varying Systems with Disturbances. ACM Trans. Embed. Comput. Syst. Ruiqi Hu, Kairong Liu, Zhikun She
2025	J	`jnl`	High-Speed Interception Multicopter Control by Image-Based Visual Servoing. IEEE Trans. Control. Syst. Technol. Kun Yang, Chenggang Bai, Zhikun She, Quan Quan
2025	J	`jnl`	MSACL: Multi-Step Actor-Critic Learning with Lyapunov Certificates for Exponentially Stabilizing Control. CoRR Yongwei Zhang, Yuanzhe Xing, Quan Quan, Zhikun She
2025	J	`jnl`	Navigating Robot Swarm Through a Virtual Tube with Flow-Adaptive Distribution Control. CoRR Yongwei Zhang, Shuli Lv, Kairong Liu, Quanyi Liang, Quan Quan, Zhikun She
2024	J	`jnl`	High-Speed Interception Multicopter Control by Image-based Visual Servoing. CoRR Kun Yang, Chenggang Bai, Zhikun She, Quan Quan
2024	J	`jnl`	Invariant Kernel-Based Synchronization for Certain Edge-Colored Networks. IEEE Trans. Syst. Man Cybern. Syst. Quanyi Liang, Zhikun She, Lei Wang, Qing-Guo Wang
2024	J	`jnl`	Mean-Field-Based Density Control for Swarm Robotics Passing-Through a Virtual Tube. IEEE Control. Syst. Lett. Yangqi Lei, Quan Quan, Zhikun She
2023	J	`jnl`	Inner-estimating domains of attraction for discrete-time non-polynomial systems with piecewise difference inclusions. Int. J. Syst. Sci. Shijie Wang, Zhikun She, Quanyi Liang, Junjie Lu, Wenyuan Wu
2023	Misc	`conf`	Reachability Based Uniform Controllability to Target Set with Evolution Function. SETTA Jia Geng, Ruiqi Hu, Kairong Liu, Zhihui Li, Zhikun She
2022	J	`jnl`	Inner-Estimating Domains of Attraction for Nonpolynomial Systems With Polynomial Differential Inclusions. IEEE Trans. Cybern. Shijie Wang, Zhikun She, Shuzhi Sam Ge
2022	J	`jnl`	OURS: Over- and Under-approximating Reachable Sets for analytic time-invariant differential equations. J. Syst. Archit. Ruiqi Hu, Zhikun She
2022	J	`jnl`	Output consensusability of network with two-dimensional heterogeneous linear agents via static diffusive output feedback. Syst. Control. Lett. Quanyi Liang, Chong-Jin Ong, Zhikun She
2022	J	`jnl`	Polynomial Lyapunov Functions for Synchronization of Nonlinearly Coupled Complex Networks. IEEE Trans. Cybern. Shuyuan Zhang, Lei Wang, Quanyi Liang, Zhikun She, Qing-Guo Wang
2022	J	`jnl`	Probabilistic Preference Planning Problem for Markov Decision Processes. IEEE Trans. Software Eng. Meilun Li, Andrea Turrini, Ernst Moritz Hahn, Zhikun She, Lijun Zhang
2022	C	`conf`	Reach-Avoid Verification for Time-varying Systems with Uncertain Disturbances. MEMOCODE Ruiqi Hu, Kairong Liu, Zhikun She
2021	Misc	`conf`	$\mathbf{OURS} $: Over- and Under-Approximating Reachable Sets for Analytic Time-Invariant Differential Equations. SETTA Ruiqi Hu, Meilun Li, Zhikun She
2021	J	`jnl`	A Decomposition Approach for Synchronization of Heterogeneous Complex Networks. IEEE Trans. Syst. Man Cybern. Syst. Lei Wang, Quanyi Liang, Zhikun She, Jinhu Lü, Qing-Guo Wang
2021	J	`jnl`	Analysis and Verification of Input-to-State Stability for Nonautonomous Discrete-Time Switched Systems via Semidefinite Programming. IEEE Trans. Autom. Control. Junjie Lu, Zhikun She, Bodan Liu, Shuzhi Sam Ge
2021	J	`jnl`	Estimating Minimal Domains of Attraction for Uncertain Nonlinear Systems. IEEE Trans. Syst. Man Cybern. Syst. Shijie Wang, Zhikun She, Shuzhi Sam Ge
2021	J	`jnl`	Over- and Under-Approximations of Reachable Sets With Series Representations of Evolution Functions. IEEE Trans. Autom. Control. Zhikun She, Meilun Li
2021	J	`jnl`	Stability Verification for a Class of Stochastic Hybrid Systems by Semidefinite Programming. SIAM J. Control. Optim. Kairong Liu, Meilun Li, Zhikun She
2021	J	`jnl`	Synthesizing Robust Domains of Attraction for State-Constrained Perturbed Polynomial Systems. SIAM J. Control. Optim. Bai Xue, Qiuye Wang, Naijun Zhan, Shijie Wang, Zhikun She
2020	C	`conf`	Achieving output consensus of heterogeneous network of two dimensional agents via static diffusive controller. ACC Quanyi Liang, Chong-Jin Ong, Zhikun She
2019	J	`jnl`	Distributed optimization with closed convex set for multi-agent networks over directed graphs. J. Frankl. Inst. Tianrong Weng, Lei Wang, Zhikun She, Quanyi Liang
2019	—	`conf`	Reachability Estimation of Stochastic Dynamical Systems by Semi-definite Programming. CDC Kairong Liu, Meilun Li, Zhikun She
2019	J	`jnl`	Stabilizability of Time-Varying Switched Systems Based on Piecewise Continuous Scalar Functions. IEEE Trans. Autom. Control. Junjie Lu, Zhikun She, Weijie Feng, Shuzhi Sam Ge
2018	—	`conf`	Safe Over- and Under-Approximation of Reachable Sets for Autonomous Dynamical Systems. FORMATS Meilun Li, Peter Nazier Mosaad, Martin Fränzle, Zhikun She, Bai Xue
2018	J	`jnl`	Synthesizing Robust Domains of Attraction for State-Constrained Perturbed Polynomial Systems. CoRR Bai Xue, Qiuye Wang, Naijun Zhan, Shijie Wang, Zhikun She
2017	J	`jnl`	Bifurcation Analysis of a Predator-Prey System with Ratio-Dependent Functional Response. Int. J. Bifurc. Chaos Xin Jiang, Zhikun She, Zhaosheng Feng, Xiuliang Zheng
2017	J	`jnl`	Characterizations and Criteria for Synchronization of Heterogeneous Networks to Linear Subspaces. SIAM J. Control. Optim. Quanyi Liang, Zhikun She, Lei Wang, Michael Z. Q. Chen, Qing-Guo Wang
2017	J	`jnl`	Continuity of the eigenvalues for a vibrating beam. Appl. Math. Lett. Xin Jiang, Kairong Liu, Gang Meng, Zhikun She
2017	J	`jnl`	Dwell time based stabilisability criteria for discrete-time switched systems. Int. J. Syst. Sci. Zhikun She, Junjie Lu, Quanyi Liang, Shuzhi Sam Ge
2017	J	`jnl`	Existence of periodic solutions in a nonautonomous food web with Beddington-DeAngelis functional response. Appl. Math. Lett. Xin Jiang, Gang Meng, Zhikun She
2017	J	`jnl`	General Lyapunov Functions for Consensus of Nonlinear Multiagent Systems. IEEE Trans. Circuits Syst. II Express Briefs Quanyi Liang, Zhikun She, Lei Wang, Housheng Su
2017	—	`conf`	Inner-approximations of domains of attraction for discrete-time switched systems with arbitrary switching. CDC Xiuliang Zheng, Junjie Lu, Zhikun She
2017	J	`jnl`	Study on Chaotic Behavior of the Restricted Four-Body Problem with an Equilateral Triangle Configuration. Int. J. Bifurc. Chaos Xuhua Cheng, Zhikun She
2017	J	`jnl`	Underapproximating Backward Reachable Sets by Semialgebraic Sets. IEEE Trans. Autom. Control. Bai Xue, Zhikun She, Arvind Easwaran
2016	J	`jnl`	Stability and Hopf Bifurcation of a Delayed Density-Dependent Predator-Prey System with Beddington-DeAngelis Functional Response. Int. J. Bifurc. Chaos Haiyin Li, Gang Meng, Zhikun She
2016	J	`jnl`	Sufficient and necessary conditions for discrete-time nonlinear switched systems with uniform local exponential stability. Int. J. Syst. Sci. Junjie Lu, Zhikun She
2016	—	`conf`	Under-Approximating Backward Reachable Sets by Polytopes. CAV (1) Bai Xue, Zhikun She, Arvind Easwaran
2015	—	`conf`	Discovering multiple Lyapunov functions for switched hybrid systems with global exponential stability. CDC Junjie Lu, Zhikun She, Bai Xue
2015	A*	`conf`	Preference Planning for Markov Decision Processes. AAAI Meilun Li, Zhikun She, Andrea Turrini, Lijun Zhang
2015	B	`conf`	Safety Verification of Hybrid Systems Using Certified Multiple Lyapunov-Like Functions. CASC Zhikun She, Dan Song, Meilun Li
2014	J	`jnl`	Discovering Multiple Lyapunov Functions for Switched Hybrid Systems. SIAM J. Control. Optim. Zhikun She, Bai Xue
2013	J	`jnl`	Discovering polynomial Lyapunov functions for continuous dynamical systems. J. Symb. Comput. Zhikun She, Haoyang Li, Bai Xue, Zhiming Zheng, Bican Xia
2012	—	`conf`	Algebraic analysis on asymptotic stability of switched hybrid systems. HSCC Zhikun She, Bai Xue
2012	J	`jnl`	Safety Verification for Probabilistic Hybrid Systems. Eur. J. Control Lijun Zhang, Zhikun She, Stefan Ratschan, Holger Hermanns, Ernst Moritz Hahn
2012	B	`conf`	Verifiable Conditions on Asymptotic Stabilisability for a Class of Planar Switched Linear Systems. CASC Zhikun She, Haoyang Li
2011	B	`conf`	Algebraic analysis on asymptotic stability of continuous dynamical systems. ISSAC Zhikun She, Bai Xue, Zhiming Zheng
2011	B	`conf`	Computing a Basin of Attraction to a Target Region by Solving Bilinear Semi-Definite Problems. CASC Zhikun She, Bai Xue
2011	J	`jnl`	Condition number based complexity estimate for solving polynomial systems. J. Comput. Appl. Math. Zhikun She, Bican Xia, Zhiming Zheng
2011	—	`conf`	Termination Analysis of Safety Verification for Non-linear Robust Hybrid Systems. ICINCO (1) Zhikun She
2010	J	`jnl`	Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions. SIAM J. Control. Optim. Stefan Ratschan, Zhikun She
2010	Misc	`conf`	Reparameterization based consistent graph-structured linear programs. SAC Hongbo Zhou, Qiang Cheng, Zhikun She
2010	A*	`conf`	Safety Verification for Probabilistic Hybrid Systems. CAV Lijun Zhang, Zhikun She, Stefan Ratschan, Holger Hermanns, Ernst Moritz Hahn
2008	—	`conf`	Recursive and Backward Reasoning in the Verification on Hybrid Systems. ICINCO-SPSMC Stefan Ratschan, Zhikun She
2007	B	`conf`	Language-Based Abstraction Refinement for Hybrid System Verification. VMCAI Felix Klaedtke, Stefan Ratschan, Zhikun She
2007	J	`jnl`	Safety verification of hybrid systems by constraint propagation-based abstraction refinement. ACM Trans. Embed. Comput. Syst. Stefan Ratschan, Zhikun She
2006	—	`conf`	A Semi-Algebraic Approach for the Computation of Lyapunov Functions. Computational Intelligence Zhikun She, Bican Xia, Rong Xiao
2006	Misc	`conf`	Constraints for Continuous Reachability in the Verification of Hybrid Systems. AISC Stefan Ratschan, Zhikun She
2005	—	`conf`	Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement. HSCC Stefan Ratschan, Zhikun She