Murat Cubuktepe, Mohamadreza Ahmadi, Ufuk Topcu, Brandon Hencey. Compositional Analysis of Hybrid Systems Defined Over Finite Alphabets. In Alessandro Abate, Antoine Girard, Maurice Heemels, editors, 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018. Volume 51 of IFAC-PapersOnLine, pages 115-120, Elsevier, 2018. [doi]
Abstract is missing.