Compositional Analysis of Hybrid Systems Defined Over Finite Alphabets

Murat Cubuktepe, Mohamadreza Ahmadi, Ufuk Topcu +1

We consider the stability and the input-output analysis problems of a class of large-scale hybrid systems composed of continuous dynamics coupled with discrete dynamics defined ove…