2.1k citations
- University of Chinese Academy of SciencesCN23 papers
- Chinese Academy of SciencesCN18 papers
- Peking UniversityCN13 papers
- Hangzhou Normal UniversityCN11 papers
- Fudan UniversityCN10 papers
- Wenzhou Institute, University of Chinese Academy of SciencesCN10 papers
- Kavli Institute for Theoretical SciencesCN9 papers
- Zhejiang LabCN8 papers
- Zhejiang UniversityCN8 papers
- Anhui UniversityCN7 papers
- Institute of Theoretical PhysicsCN7 papers
- Nanjing UniversityCN7 papers
5 papers · 1 filter
Exact Safety Verification of Hybrid Systems Using Sums-Of-Squares Representation
Wang Lin, Min Wu, Zhengfeng Yang +1
In this paper we discuss how to generate inductive invariants for safety verification of hybrid systems. A hybrid symbolic-numeric method is presented to compute inequality inducti…
Analytical solutions to zeroth-order dispersion relations of a cylindrical metallic nanowire
Li Wan, Yun-Mi Huang, Chang-Kun Dong +1
Zeroth-order complex dispersion relations of a cylindrical metallic nanowire have been solved out analytically with approximate methods. The analytical solutions are valid for the…
Effects of competition on pattern formation in the rock-paper-scissors game
Luo-Luo Jiang, Tao Zhou, Matjaz Perc +1
We investigate the impact of cyclic competition on pattern formation in the rock-paper-scissors game. By separately considering random and prepared initial conditions, we observe a…
Spatiotemporal dynamics in a spatial plankton system
Ranjit Kumar Upadhyay, Weiming Wang, N. K. Thakur
In this paper, we investigate the complex dynamics of a spatial plankton-fish system with Holling type III functional responses. We have carried out the analytical study for both o…
Continuous-variable controlled-Z gate using an atomic ensemble
Ming-Feng Wang, Nian-Quan Jiang, Qing-Li Jin +1
The continuous-variable controlled-Z gate is a canonical two-mode gate for universal continuous-variable quantum computation. It is considered as one of the most fundamental contin…