论文信息 - Harmonization of Interacting Automata

Harmonization of Interacting Automata

The problem of automata harmonization is to design a system whose behavior during the interaction with its environment meets given requirements regardless of the behavior of the environment. A number of theoretical results employed in solving the harmonization problem and corresponding algorithms based on these results are presented.

A. N. Chebotarev

[1] A. N. Chebotarev. The Automata-Theoretic Approach to Verification of Reactive Systems , 2001 .

[2] P. S. Thiagarajan,et al. Open Systems in Reactive Environments: Control and Synthesis , 2000, CONCUR.

[3] Amir Pnueli,et al. Synthesis of Reactive(1) designs , 2006, J. Comput. Syst. Sci..

[4] A. N. Chebotarev. Compositional approach to the development of reactive algorithms , 2013 .

[5] Robert K. Brayton,et al. Latch redundancy removal without global reset , 1996, Proceedings International Conference on Computer Design. VLSI in Computers and Processors.

[6] Thomas A. Henzinger,et al. Synthesis of Uninitialized Systems , 2002, ICALP.

[7] Rajeev Alur,et al. Deterministic generators and games for Ltl fragments , 2004, TOCL.

[8] Bowen Alpern,et al. Defining Liveness , 1984, Inf. Process. Lett..

[9] Amir Pnueli,et al. On the synthesis of a reactive module , 1989, POPL '89.

[10] Martín Abadi,et al. Realizable and Unrealizable Specifications of Reactive Systems , 1989, ICALP.

[11] Orna Kupferman,et al. Recent Challenges and Ideas in Temporal Synthesis , 2012, SOFSEM.

[12] Carl Pixley,et al. The Verifiacation Problem for Safe Replaceability , 1994, CAV.