Control synthesis for a smart card personalization system using symbolic model checking

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

Volumn 2791, Issue , 2004, Pages 189-203

  Gebremichael, Biniam ^a   Vaandrager, Frits ^a  

^a RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL SYSTEM SYNTHESIS; SCHEDULING; SMART CARDS; SYNTHESIS (CHEMICAL); TIME SHARING SYSTEMS; TRANSPORTATION;

CONTROL SYNTHESIS; CONTROLLER SYNTHESIS; NUMBER OF STATE; PERSONALIZATION SYSTEMS; SCHEDULING AND CONTROLS; SYMBOLIC MODEL CHECKERS; SYMBOLIC MODEL CHECKING; SYNTHESIS PROBLEMS;

MODEL CHECKING;

EID: 33750442245     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-40903-8_16     Document Type: Article

References (23)

1. K. Åkesson and M. Fabian. Implementing supervisory control for chemical batch processes. In International Conf. on Control Applications, pages 1272-1277. IEEE Computer Society Press, 1999.
2. Sarah Albert. Cybernetix case study - informal description. Technical report, Cybernétix - LIF, 2002. Available through URL http://ametist.cs.utwente.nl.
3. B. A. Brandin. The real-time supervisory control of an experimental manufacturing cell. In IEEE Transactions on Robotics and Automation, volume 12, pages 1-13, 1996.
4. 20 states and beyond. Information and Computation, 98(2):142-170, June 1992.
5. C. G. Cassandras and S. Lafortune. Introduction to Discrete Event Systems. KLuwer Academic, 1999.
6. E. W. Dijkstra. Self-stabilizing systems in spite of distributed control. Communications ACM, 17:643-644, 1974.
7. Ansgar Fehnker. Scheduling a steel plant with timed automata. In Sixth International Conference on Real-Time Computing Systems and Applications (RTCSA '99), Hong Kong, China, pages 280-287. IEEE Computer Society Press, 1999.
8. Biniam Gebremichael and Frits Vaandrager. Control synthesis for a smart card personalization system using symbolic model checking. Technical Report NIII-R0312, Nijmegen Institute for Computing and Information Sciences, University of Nijmegen, 2003.
9. J. Gunnarsson. Symbolic Methods and Tools for Discrete Event Dynamic Systems. PhD thesis, Linköping Studies in Science and Technology, 1997.
10. Thomas Hune, Kim G. Larsen, and Paul Pettersson. Guided Synthesis of Control Programs using UPPAAL. Nordic Journal of Computing, 8(1):43-64, 2001.
11. Tomas Krilavicius and Yaroslav Usenko. Smart card personalisation machine in UPPAAL and μCRL, 2003. In preparation.
12. Y. Li and W. M. Wonham. Control of vector discrete-event systems I - the base model. In IEEE Trans. on Automatic Control, volume 38, pages 1214-1227. IEEE Computer Society Press, 1993.
13. A. Mader. Deriving schedules for the cybernetix case study, 2003. Available through URL http://ametist.cs.utwente.nl.
14. K.L. McMillan. Symbolic Model Checking: An Approach to the State Explosion Problem. Kluwer Academic Publishers, 1993.
15. Peter Niebert and Sergio Yovine. Computing optimal operation schemes for multi batch operation of chemical plants. In Nancy A. Lynch and Bruce H. Krogh, editors, Hybrid Systems: Computation and Control, Third International Workshop, HSCC'00, volume 1790 of Lecture Notes in Computer Science, pages 338-351. Springer, 2000.
16. P. J. G. Ramadge and W. M. Wonham. The control of discrete event systems. Proceedings of the IEEE, 77:81-98, 1989.
17. Theo Ruys. Optimal Scheduling Using Branch and Bound with SPIN 4.0. In Thomas Ball and Sriram K. Rajamani, editors, Model Checking Software - Proceedings of the 10th International SPIN Workshop (SPIN 2003), volume 2648 of Lecture Notes in Computer Science, pages 1-17, Portland, OR, USA, May 2003. Springer-Verlag, Berlin.
18. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis. Diagnosability of discrete event systems. IEEE Transactions on Automatic Control, 40(9):1555-1575, September 1995.
19. R. S. Sreenivas and B. H. Krogh. On condition/event systems with discrete state realizations. In Discrete Event Dynamic Systems. Theory and Applications 1, pages 209-236. Flumer Academic, 1991.
20. G. Tel. Introduction to Distributed Algorithms. Cambridge University Press, 1994.
21. Gera Weiss. Modeling smart-card personalization machine with LSCs. Research report, Weizmann, 2003.
22. W. M. Wonham Y. Li. Control of vector discrete-event systems II - controller synthesis. In IEEE Transactions on Autom. Control, volume 39, pages 512-531, 1994.
23. Z. Zhang and W.M. Wonham. STCT: An efficient algorithm for supervisory control design. In Symposium on Supervisory Control of Discrete Event Systems, 2001.