Article

Synthesizing Controllers from Duration Calculus

Author:

Martin FränzleAuthors Info & Claims

FTRTFT '96: Proceedings of the 4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems

Pages 168 - 187

Published: 09 September 1996 Publication History

Abstract

No abstract available.

Cited By

View all

Konur S(2013)A survey on temporal logics for specifying and verifying real-time systemsFrontiers of Computer Science: Selected Publications from Chinese Universities10.1007/s11704-013-2195-27:3(370-403)Online publication date: 1-Jun-2013
https://dl.acm.org/doi/10.1007/s11704-013-2195-2
Van Hung D(2007)Specifying various time models with temporal propositional variables in duration calculusFormal methods and hybrid real-time systems10.5555/1793874.1793881(170-187)Online publication date: 1-Jan-2007
https://dl.acm.org/doi/10.5555/1793874.1793881
Hansen MVan Hung D(2007)A theory of duration calculus with applicationDomain modeling and the duration calculus10.5555/1768264.1768267(119-176)Online publication date: 1-Jan-2007
https://dl.acm.org/doi/10.5555/1768264.1768267
Show More Cited By

Synthesizing Controllers from Duration Calculus
1. Applied computing
2. Networks

Recommendations

Decidability of a Hybrid Duration Calculus

We present a logic which we call Hybrid Duration Calculus (HDC). HDC is obtained by adding the following hybrid logical machinery to the Restricted Duration Calculus (RDC): nominals, satisfaction operators, down-arrow binder, and the global modality. ...
Duration Calculus: A Formal Approach to Real-Time Systems
Synthesizing controllers from real-time specifications

We present an algorithm for synthesizing real-time controllers specified in a subset of the interval temporal logic duration calculus. The synthesized controllers are given in terms of programmable logic controller (PLC)-automata, which are an abstract ...

Comments

Information & Contributors

Information

Published In

FTRTFT '96: Proceedings of the 4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems

September 1996

478 pages

ISBN:3540616489

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 09 September 1996

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 12 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Konur S(2013)A survey on temporal logics for specifying and verifying real-time systemsFrontiers of Computer Science: Selected Publications from Chinese Universities10.1007/s11704-013-2195-27:3(370-403)Online publication date: 1-Jun-2013
https://dl.acm.org/doi/10.1007/s11704-013-2195-2
Van Hung D(2007)Specifying various time models with temporal propositional variables in duration calculusFormal methods and hybrid real-time systems10.5555/1793874.1793881(170-187)Online publication date: 1-Jan-2007
https://dl.acm.org/doi/10.5555/1793874.1793881
Hansen MVan Hung D(2007)A theory of duration calculus with applicationDomain modeling and the duration calculus10.5555/1768264.1768267(119-176)Online publication date: 1-Jan-2007
https://dl.acm.org/doi/10.5555/1768264.1768267
Fränzle MMüller-Olm M(1999)Compilation and Synthesis for Real-Time Embedded ControllersCorrect System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)10.5555/646005.673743(256-287)Online publication date: 1-Jan-1999
https://dl.acm.org/doi/10.5555/646005.673743

Abstract

Cited By

Recommendations

Decidability of a Hybrid Duration Calculus

Duration Calculus: A Formal Approach to Real-Time Systems

Synthesizing controllers from real-time specifications

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Share

Share this Publication link

Share on social media

Affiliations