DocumentCode
3411933
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
Volume
1
fYear
2001
fDate
2001
Firstpage
305
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;
fLanguage
English
Publisher
ieee
Conference_Titel
American Control Conference, 2001. Proceedings of the 2001
Conference_Location
Arlington, VA
ISSN
0743-1619
Print_ISBN
0-7803-6495-3
Type
conf
DOI
10.1109/ACC.2001.945561
Filename
945561
Link To Document