Synchronous Composition of Finite Interval Automata

Liyong Lin, Rong Su, Bertil A. Brandin, Simon Ware, Yuting Zhu, Yajuan Sun. Synchronous Composition of Finite Interval Automata. In 15th IEEE International Conference on Control and Automation, ICCA 2019, Edinburgh, United Kingdom, July 16-19, 2019. pages 578-583, IEEE, 2019. [doi]

Abstract

Abstract is missing.