Title :
Asynchronous communication in timed discrete-event systems
Author :
Ricker, S.L. ; van Schuppen, Jan H.
Author_Institution :
Dept. of Math., Mount Allison Univ., Sackville, NB, Canada
Abstract :
A model that allows asynchronous communication between agents in a timed decentralized discrete-event system is presented. Two needs for timing information are addressed: timing relationships between events and the maintenance of clocks for generating timestamps on messages sent between decentralized agents. An existing model of a timed automaton, called an event-recording automaton, is combined with a popular timing framework for determining the causality of messages in distributed systems, called vector clocks
Keywords :
automata theory; discrete event systems; timing; asynchronous communication; event-recording automaton; timed automaton; timed decentralized discrete-event system; timed discrete-event systems; timestamps; timing framework; vector clocks; Asynchronous communication; Automata; Clocks; Computer science; Discrete event systems; Formal languages; Mathematics; Timing;
Conference_Titel :
American Control Conference, 2001. Proceedings of the 2001
Conference_Location :
Arlington, VA
Print_ISBN :
0-7803-6495-3
DOI :
10.1109/ACC.2001.945561
