Synchronous composition of finite interval automata

• المؤلفون الرئيسيون: Lin, Liyong, Su, Rong, Brandin, Bertil A., Ware, Simon, Zhu, Yuting, Sun, Yajuan
• مؤلفون آخرون: School of Electrical and Electronic Engineering
• التنسيق: Conference or Workshop Item
• اللغة: English
• منشور في: 2020
• الموضوعات: Engineering::Electrical and electronic engineering; Timed Discrete-event Systems; Interval Automata
• الوصول للمادة أونلاين: https://hdl.handle.net/10356/137885

In this work, we study the class of real-time discrete-event systems modeled by finite interval automata, i.e., a finite state automaton where each transition is labeled by an event and an interval. The class of finite interval automata is interpreted over discrete time models and corresponds exactl...