Symbolic synthesis of finite-state controllers for request-response specifications

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

Volumn 2759, Issue , 2003, Pages 11-22

  Wallmeier, Nico ^a   Hütten, Patrick ^a   Thomas, Wolfgang ^a  

^a RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROLLERS; SPECIFICATIONS; SYNTHESIS (CHEMICAL);

ABSTRACT ALGORITHM; AUTOMATIC SYNTHESIS; FINITE STATE SPACES; FINITE-STATE CONTROLLERS; ORDERED BINARY DECISION DIAGRAMS; REAL-LIFE PROBLEMS; SAFETY CONDITION; THEORETICAL SOLUTIONS;

BINARY DECISION DIAGRAMS;

EID: 34848922306     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45089-0_3     Document Type: Article

References (9)

1. E. Clarke, O. Grumberg, and D. Peled. Model Checking. The MIT Press, Cambridge, Massachusetts, 1999.
2. J. Lind-Nielsen. Buddy - http://www.it-c.dk/research/buddy/.
3. H. Melcher. Hierarchische kompositionale Synthese von Steuerungen für reaktive Systeme. PhD thesis, Uni Karlsruhe, 2001.
4. D. Perrin and J.-E. Pin. Infinite Words (to appear). Elsevier, http://www.liafa.jussieu.fr/∼jep/Resumes/InfiniteWords.html, 2003.
5. D. Schmitz and J. Vöge. Implementation of a strategy improvement algorithm for parity games. In Proceedings of the 5th International Conference on the Implementation and Application of Automata, CIAA 2000, pages 45-51, 2000.
6. W. Thomas. On the synthesis of strategies in infinite games. Lecture Notes in Computer Science, 900:1-13, 1995.
7. W. Thomas. Languages, automata, and logic. In G. Rozenberg and A. Salomaa, editors, Handbook of Formal Languages, volume III, pages 389-455. Springer, New York, 1997.
8. W. Thomas. Infinite games and verification. In Proceedings of the International Conference on Computer Aided Verification CAV'02, volume 2404 of Lecture Notes in Computer Science, pages 58-64. Springer, 2002.
9. J. Vöge and M. Jurdziński. A discrete strategy improvement algorithm for solving parity games. In Proceedings of the 12th International Conference on Computer Aided Verification, CAV 2000, volume 1855 of Lecture Notes in Computer Science, pages 202-215. Springer, 2000.