Compositional analysis of hybrid systems defined over finite alphabets

M Cubuktepe, M Ahmadi, U Topcu, B Hencey - IFAC-PapersOnLine, 2018 - Elsevier
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 …

[PDF][PDF] Compositional Analysis of Hybrid Systems: An Accelerated ADMM Approach

M Cubuktepe, M Ahmadi, U Topcu, B Hencey - mrezaahmadi.com
Over the past decades, we have witnessed a dramatic increase in research on hybrid and
cyber-physical systems [1, 2, 17, 18, 31]. Examples of such systems in real-world can be …