School of Mathematics and Statistics, Hunan Normal University, Changsha 410081, China.

Faculty of Computer Science and Control Engineering, Shenzhen University of Advanced Technology, Shenzhen 518055, China.

College of Electrical Engineering and Automation, Shandong University of Science and Technology, Qingdao 266590, China.

School of Computer and Cyber Sciences, Augusta University, Augusta GA 30912, USA.
cyber-physical systems, hybrid systems, neural network verification.

School of Engineering, Swinburne University of Technology, Melbourne VIC 3122, Australia.

Faculty of Computer Science and Artificial Intelligence, Shenzhen University of Advanced Technology, Shenzhen 518107, China.

Ramanujan Centre for Higher Mathematics, Alagappa University, Karaikudi 630 004, India.

School of Mathematics and Statistics, Anhui Normal University, Wuhu 241000, China.

College of Mathematics and Statistics, Guangxi Normal University, Guilin 541004, China.

School of Mathematics Science, Tianjin Normal University, Tianjin 300387, China.

Department of Mathematics, SRM Institute of Science and Technology, Kattankulathur 603203, India.

College of Mathematics and System Sciences, Xinjiang University, Urumqi 830046, China.


School of Mathematics and Computer Science, Yunnan Minzu University, Kunming 650504, China.

School of Mathematics, China University of Mining and Technology, Xuzhou 221116, China.

Faculty of Physics and Technology, University of Plovdiv Paisii Hilendarski, 4000 Plovdiv, Bulgaria.

Department of Computer Science and Systems Engineering, University of Zaragoza, 50009 Zaragoza, Spain.

School of Automation, Southeast University, Nanjing 210096, China.

Department of Mathematical Sciences, University of Liverpool, Liverpool L69 7ZL, UK.

Department of Statistics and Operations Research, University of Granada, 18071 Granada, Spain.

School of Mathematics and Physics, Anhui Jianzhu University, Hefei 230601, China.
neural networks; dynamical systems; complex networks; optimization and control; smart grids; multi-agent systems.
