Contracts and games in controller synthesis for discrete systems

Proceedings - 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2004

Volumn , Issue , 2004, Pages 307-314

  Back, Ralph Johan ^a   Seceleanu, Cristina Cerschi ^a  

^a ÅBO AKADEMI UNIVERSITY   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BUFFER STORAGE; CONTROL EQUIPMENT; DATABASE SYSTEMS; MATHEMATICAL MODELS; PROBLEM SOLVING; STRATEGIC PLANNING; SYSTEMS ANALYSIS; THEOREM PROVING;

CONTROLLER SYNTHESIS; DISCRETE SYSTEMS; GAMES; VERIFICATION;

DISCRETE TIME CONTROL SYSTEMS;

EID: 7744234436     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. R. Asarin, O. Maler, and A. Pnueli. "Symbolic controller synthesis for discrete and timed systems". In P. Antsaklis, W.Kohn, A. Nerode, and S. Sastry, editors, Hybrid Systems 11, volume 999, Lecture Notes in Computer Science, Springer-Verlag, 1995.
2. R. J. R. Back and C. Cerschi Seceleanu. "Gamesbased Controller Synthesis for Discrete Systems". Technical Report nr. 594, TUCS, 2004.
3. R. J. R. Back and K. Sere. "Stepwise refinement of action systems". Structured Programming, 12:17-30, 1991.
4. R. J. R. Back and J. von Wright. "Games and winning strategies". Information Processing Letters, 53(3):165-172, 1995.
5. R. J.R.Back and J. von Wright. Refinement Calculus: A Systematic Introduction. Springer-Verlag, 1998.
6. R. J. R. Back and J. von Wright. "Contracts, games and refinement". Information and Computation, 156:25-45, 2000.
7. R. J. R. Back and J. von Wright. "Enforcing behavior with contracts". Technical Report nr. 373, TUCS, 2000.
8. R. J. R. Back and J. von Wright. "Verification and refinement of action contracts". Technical Report nr. 374, TUCS, 2000.
9. J. Crow, S. Owre, J. Rushby, N. Shankar, and M. Srivas. "A tutorial introduction to PVS". In WIFT'95 Workshop on Industrial-Strength Formal Specification Techniques, April 1995.
10. E. W. Dijkstra. A discipline of programming. Prentice-Hall International, 1976.
11. G. Hoffmann and H. Wong-Toi. "Symbolic synthesis of supervisory controllers". In Proceedings of Ute American Control Conference, Chicago, IL, pages 2789-2793, June 1992.
12. O. Maler, A. Pnueli, and J. Sifakis. "On the synthesis of discrete controllers for timed systems". In Proceedings of STACS'95, E. W. Mayr and C. Puech (Eds.), volume 900 of Lecture Notes in Computer Science, 229-242, Springer-Verlag, 1995.
13. C. Morgan. Programming from Specifications. Prentice-Hall International, 1998.
14. A. Pnueli and R. Rosner. "On the synthesis of a reactive module". In Proceedings of the 16th ACM Symposium on Principles of Programming Languages. 179-190, 1989.
15. P.J. Ramadge and W.M. Wonham. "Supervisory control of aclass of discrete event processes". SIAM Journal of Control and Optimization 25 206-230, 1987.
16. S. Tripakis and K. Altisen. "On-the-fly controller synthesis for discrete and dense-time systems". In World Congress on Formal Methods, FM'99, 1999.