Symbolic Controller Synthesis for Discrete and Timed Systems
暂无分享,去创建一个
Amir Pnueli | Eugene Asarin | Oded Maler | A. Pnueli | E. Asarin | O. Maler
[1] P. Varaiya,et al. CONTROL OF DISCRETE EVENT SYSTEMS IN TEMPORAL LOGIC , 1994 .
[2] Conrado Daws,et al. Verifying ET-LOTOS programmes with KRONOS , 1994, FORTE.
[3] Thomas A. Henzinger,et al. Symbolic Model Checking for Real-Time Systems , 1994, Inf. Comput..
[4] Jana Kosecka,et al. Control of Discrete Event Systems , 1992 .
[5] Wolfgang Thomas,et al. On the Synthesis of Strategies in Infinite Games , 1995, STACS.
[6] Randal E. Bryant,et al. Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.
[7] Rajeev Alur,et al. Model-Checking in Dense Real-time , 1993, Inf. Comput..
[8] A. Nerode,et al. Concurrent Programs as Strategies in Games , 1992 .
[9] E. Rowland. Theory of Games and Economic Behavior , 1946, Nature.
[10] David L. Dill,et al. Timing Assumptions and Verification of Finite-State Concurrent Systems , 1989, Automatic Verification Methods for Finite State Systems.
[11] Joseph Sifakis,et al. On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract) , 1995, STACS.
[12] Howard Wong-Toi,et al. Symbolic Synthesis of Supervisory Controllers , 1992, 1992 American Control Conference.
[13] 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.
[14] Howard Wong-Toi,et al. Symbolic Supervisor Synthesis for the Animal Maze , 1993 .
[15] W. Wonham,et al. Supervisory control of timed discrete-event systems , 1994, IEEE Trans. Autom. Control..
[16] Amir Pnueli,et al. On the synthesis of a reactive module , 1989, POPL '89.
[17] Amir Pnueli,et al. Timing analysis of asynchronous circuits using timed automata , 1995, CHARME.
[18] Zohar Manna,et al. A Deductive Approach to Program Synthesis , 1979, TOPL.
[19] David L. Dill,et al. Synthesizing Processes and Schedulers from Temporal Specifications , 1990, CAV.
[20] Kenneth L. McMillan,et al. Symbolic model checking: an approach to the state explosion problem , 1992 .
[21] J. G. Thistle,et al. Control of Infinite Behavior of Finite Automata , 1994 .
[22] S. Balemi,et al. Supervisory control of a rapid thermal multiprocessor , 1993, IEEE Trans. Autom. Control..
[23] J. R. Büchi,et al. Solving sequential conditions by finite-state strategies , 1969 .
[24] Boris A. Trakhtenbrot,et al. Finite automata : behavior and synthesis , 1973 .
[25] W. M. Wonham,et al. The control of discrete event systems , 1989 .
[26] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[27] Edmund M. Clarke,et al. Using Branching Time Temporal Logic to Synthesize Synchronization Skeletons , 1982, Sci. Comput. Program..
[28] Martín Abadi,et al. Realizable and Unrealizable Specifications of Reactive Systems , 1989, ICALP.
[29] W. M. Wonham,et al. A framework for real-time discrete event control , 1990 .