Timed Control Synthesis for External Specifications
暂无分享,去创建一个
[1] Amir Pnueli,et al. On the synthesis of a reactive module , 1989, POPL '89.
[2] P. S. Thiagarajan,et al. Open Systems in Reactive Environments: Control and Synthesis , 2000, CONCUR.
[3] Joseph Sifakis,et al. Controller Synthesis for Timed Automata 1 , 1998 .
[4] Dominik Schmitz,et al. Implementation of a Strategy Improvement Algorithm for Finite-State Parity Games , 2000, CIAA.
[5] Wolfgang Thomas,et al. Automata on Infinite Objects , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[6] Wolfgang Thomas,et al. Languages, Automata, and Logic , 1997, Handbook of Formal Languages.
[7] W. M. Wonham,et al. The control of discrete event systems , 1989 .
[8] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[9] Wieslaw Zielonka,et al. Infinite Games on Finitely Coloured Graphs with Applications to Automata on Infinite Trees , 1998, Theor. Comput. Sci..
[10] Jim Alves-Foss,et al. Higher Order Logic Theorem Proving and its Applications 8th International Workshop, Aspen Grove, Ut, Usa, September 11-14, 1995 : Proceedings , 1995 .
[11] J. R. Büchi,et al. Solving sequential conditions by finite-state strategies , 1969 .
[12] Wolfgang Thomas,et al. On the Synthesis of Strategies in Infinite Games , 1995, STACS.
[13] Robert McNaughton,et al. Infinite Games Played on Finite Graphs , 1993, Ann. Pure Appl. Logic.
[14] Thomas A. Henzinger,et al. The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
[15] Joseph Sifakis,et al. On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract) , 1995, STACS.
[16] H. Wong-Toi,et al. The control of dense real-time discrete event systems , 1991, [1991] Proceedings of the 30th IEEE Conference on Decision and Control.