Synthesizing controllers from duration calculus

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1135, Issue , 1996, Pages 168-187

  Fränzle, Martin ^a  

^a UNIVERSITY OF KIEL   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; EMBEDDED SYSTEMS; FAULT TOLERANCE; INTERACTIVE COMPUTER SYSTEMS; REAL TIME SYSTEMS; TRAJECTORIES;

AUTOMATIC PROCEDURES; AUTOMATIC VERIFICATION; CONTROL REQUIREMENTS; CONTROLLER SYNTHESIS; DENSE-TIME DURATION CALCULUS; EMBEDDED CONTROLLERS; HIGH LEVEL OF ABSTRACTION; SYNCHRONOUS CONTROLLERS;

CONTROLLERS;

EID: 84947804829     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61648-9_40     Document Type: Conference Paper

References (18)

1. J.R. Büch and L. H. Landweber. Solving sequential conditions by finitestate strategies. Trans. Amer. Math. Soc., 138:295-311, 1969.
2. Ahmed Bouajjani, Yassine Lakhnech, and Riadh Robbana. From duration calculus to linear hybrid automata. In Pierre Wolper, editor, Computer Aided Verification (CAV '95), volume 939 of Lecture Notes in Computer Science. Springer-Verlag, 1995.
3. Martin Fränzle. A discrete model of VLSI dynamics in hybrid control applications. ProCoS Technical Report Kiel MF 17/3, Christian-Albrechts- Universität Kiel, Germany, April 1995.
4. Martin Fränzle. Controller Design from Temporal Logic: Undecidability need not matter. Dissertation, Institut für Informatik und Prakt. Mathematik der Christian-Albrechts-Universität Kiel, Germany, to appear 1996.
5. Michael R. Hansen. Model-checking discrete duration calculus. Formal Aspects of Computing, 6(6A):826-845, 1994.
6. Jifeng He, C. A. R. Hoare, Martin Fränzle, Markns Müller-Olm, Ernst- Rüdiger Olderog, Michael Schenke, Michael R. Hansen, Anders P. Ravn, and Hans Rischel. Provably correct systems. In Langmaack et al. [LdRV94], pages 288-335.
7. Thomas A. Henzinger, Peter W. Kopke, Anuj Purl, and Pravin Varaiya. What's decidable about hybrid automata. In Proceedings of the Twenty- Seventh Annual ACM Symposium on the Theory of Computing, pages 373-382. ACM, 1995.
8. Michael R. Hansen and Ernst-Rüdiger Olderog. Constructing circuits from decidable duration calculus. Unpublished Note, Fachbereich Informatik, Universit/it Oldenburg, Germany, June 1993.
9. H. Langmaack, W.-P. de Roever, and J. Vytopil, editors. Formal Techniques in ileal-Time and Fault-Tolerant Systems (FTRTFT '94), volume 863 of Lecture Notes in Computer Science. Springer-Verlag, 1994.
10. Ben Moszkowski. A temporal logic for multi-level reasoning about hardware. IEEE Computer, 18(2):10-19, 1985.
11. Anders P. Ravn, Hans Rischel, and Kirsten M. Hansen. Specifying and verifying requirements of real-time systems. IEEE Transactions on Software Engineering, 19(1):41-55, January 1993.
12. Claude E. Shannon. The mathematical theory of communication. In The Mathematical Theory of Communication, pages 3-91. The University of Illinois Press: Urbana, 1949.
13. Jens Ulrik Skakkebæk and Peter Sestoft. Checking validity of duration calculns formulas. ProCoS Technical Report ID/DTH JUS 3/1, Technical University of Denmark, March 1994.
14. Wolfgang Thomas. Automata on infinite objects. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B: Formal Models and Semantics, chapter 4, pages 133-191. North-Holland, 1990.
15. Thomas Wilke. Specifying timed state sequences in powerful decidable logics and timed automata. In Langmaack et al. [LdRV94], pages 694-715.
16. Zhou Chaochen, C. A. R. Hoare, and Anders P. Ravn. A calculus of durations. Information Processing Letters, 40(5):269-276, 1991.
17. Zhou Chaochen, Michael R. Hansen, and Peter Sestoft. Decidability and undecidability results for duration calculus. In P. Enjalbert, A. Finkel, and K. W. Wagner, editors, Symposium on Theoretical Aspects of Computer Science (STA CS 93), volume 665 of Lecture Notes in Computer Science, pages 58-68. Sprlnger-Verlag, 1993.
18. Zhou Chaochen, Zhang Jingzhong, Yang Lu, and Li Xiaoshan. Linear duration invariants. In Langmaack et al. [LdRV94], pages 86-109.