Synchronous composition of finite interval automata

Synchronous composition of finite interval automata

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

Full description

Bibliographic Details
Main Authors: Lin, Liyong, Su, Rong, Brandin, Bertil A., Ware, Simon, Zhu, Yuting, Sun, Yajuan
Other Authors: School of Electrical and Electronic Engineering
Format: Conference Paper
Language:English
Published: 2020
Subjects:
Engineering::Electrical and electronic engineering
Timed Discrete-event Systems
Interval Automata
Online Access:https://hdl.handle.net/10356/137885

Similar Items

Similar Items