Action transducers and timed automata-Reference-Cited by-同舟云学术

Action transducers and timed automata

Published:1996-09 Issue:5 Volume:8 Page:499-538
ISSN:0934-5043
Container-title:Formal Aspects of Computing
language:en
Short-container-title:Form. Asp. Comput.

Author:

Lynch Nancy¹,Vaandrager Frits²

Affiliation:

1. MIT, LCS, Cambridge, MA, USA

2. Computing Science Institute, University of Nÿmegen, PO Box 9010, 6500, GL Nÿmegen, The Netherlands

Abstract

Abstract The timed automaton model of [LyV92, LyV93] is a general model for timing-based systems. A notion of timed action transducer is here defined as an automata-theoretic way of representing operations on timed automata. It is shown that two timed trace inclusion relations are substitutive with respect to operations that can be described by timed action transducers. Examples are given of operations that can be described in this way, and a preliminary proposal is given for an appropriate language of operators for describing timing-based systems.

Publisher

Association for Computing Machinery (ACM)

Subject

Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/BF01211907.pdf

Reference46 articles.

1. Abadi M. and L Lamport.: An old-fashioned recipe for real time. In de Bakker et al. [dBH92] pages 1–27.

2. A theory of timed automata

3. Real time process algebra

4. Baeten J.C.M. and Klop J.W.: editors. Proceedings CONCUR 90 Amsterdam volume 458 of Lecture Notes in Computer Science . Springer-Verlag 1990.

Cited by 18 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. On the Meaning of Transition System Specifications;Electronic Proceedings in Theoretical Computer Science;2019-08-22

2. Simulating Timing Behaviors for Cyber-Physical Systems Using Modelica;International Journal of Software Science and Computational Intelligence;2019-07

3. A Formal Specification and Verification Framework for Timed Security Protocols;IEEE Transactions on Software Engineering;2018-08-01

4. A menagerie of timed automata;ACM Computing Surveys;2014-01

5. Modeling and verifying hierarchical real-time systems using stateful timed CSP;ACM Transactions on Software Engineering and Methodology;2013-02