I will present an overview of techniques that have been developed to analyze diverse stability properties of switching systems. These tools rely on quite involved concepts mixing ideas from mathematics, computer science, and optimization. They allow in favorable cases to obtain provably efficient algorithms for switching systems analysis.
Even though switching systems are quite idealized models for real cyber-physical systems, I will advocate that they can be a source of inspiration for tackling more practical control engineering problems. In particular, I'll present applications in wireless control networks design. If time permits I'll present another application on malicious agents detection in large sensor networks.