Timed Control Synthesis for External Specifications-Reference-Cited by-同舟云学术

Timed Control Synthesis for External Specifications

Published:2002 Issue: Volume: Page:571-582
ISSN:0302-9743
Container-title:STACS 2002
language:
Short-container-title:

Author:

D’souza Deepak,Madhusudan P.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45841-7_47

Reference17 articles.

1. Lect Notes Comput Sci;M. Abadi,1989

2. R. Alur, D. L. Dill: A theory of timed automata, Theoretical Computer Science Vol 126 (1994).

3. E. Asarin, O. Maler, A. Pnueli, J. Sifakis: Controller Synthesis for Timed Automata, Proc. IFAC Symposium on System Structure and Control, Elsevier (1998).

4. J.R. Büchi, L.H Landweber: Solving sequential conditions by finite-state strategies, Trans. AMS, Vol 138 (1969).

5. D. D’souza, P. Madhusudan: Controller synthesis for timed specifications, Technical ReportTCS-01-2, Chennai Mathematical Institute ( http://www.cmi.ac.in ) (2001).

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

1. Taming Large Bounds in Synthesis from Bounded-Liveness Specifications;Tools and Algorithms for the Construction and Analysis of Systems;2023

2. TACoS: A Tool for MTL Controller Synthesis;Software Engineering and Formal Methods;2021

3. Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach;Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems;2018

4. On the Determinization of Timed Systems;Lecture Notes in Computer Science;2017

5. Real-Time Synthesis is Hard!;Lecture Notes in Computer Science;2016