This book offers its readers a detailed overview of the synthesis of switched systems, with a focus on switching stabilization and intelligent control. The prob

The theory of switched systems is related to the study of hybrid systems, which has gained attention from control theorists, computer scientists, and practicing

The book focuses on control synthesis for semi-Markovian switching systems. By using multiple semi-Markovian Lyapunov function approaches, a basic theoretical f

These proceedings present selected research papers from CISC’16, held in Xiamen, China. The topics include Multi-agent system, Evolutionary Computation, Artif

This book constitutes the refereed proceedings of the 19th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2021, held in Pari