Synchronous composition of finite interval automata

• Main Authors: 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
• 機構: Nanyang Technological University

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...