Institute of Information Theory and Automation
?sky english

Bibliography

Petr Kozák

Books and chapters

  1. Kozák Petr: Control of Elementary Discrete Event Systems: Synthesis of Controller with Non-Zero Decision Time , Proceedings of the 1st IFAC Symposium on Design Methods of Control Systems, p. 457-462 , Eds: Franke D., Kraus F., Pergamon Press, (Oxford 1992) (1992)

Journal articles

  1. Kozák Petr, Wonham W. M.: Design of transaction management protocols , IEEE Transactions on Automatic Control vol.41, 9 (1996), p. 1330-1334 (1996)
  2. Kozák Petr, Wonham W. M.: Fully decentralized solutions of supervisory control problems , IEEE Transactions on Automatic Control vol.40, 12 (1995), p. 2094-2097 (1995)
  3. Kozák Petr: Discrete Events and General Systems Theory , International Journal of Systems Science vol.23, 9 (1992), p. 1403-1422 (1992)
  4. Kozák Petr: On Feedback Controllers , International Journal of Systems Science vol.23, 9 (1992), p. 1423-1431 (1992)

Other publications

  1. Kozák Petr: Control of guarded automata counting event occurrences , Proceedings of the 34th IEEE Conference on Decision and Control, p. 907-912, IEEE, (Piscataway 1995) , IEEE Conference on Decision and Control /34./, (New Orleans, US, 13.12.1995-15.12.1995) (1995)
  2. Kozák Petr: Dealing with complexity in the discrete event system control methods , Computer-Intensive Methods in Control and Signal Processing, p. 229-236 , Eds: Kulhavá L., Kárný M., Warwick K., ÚTIA AV ČR, (Praha 1994) , IEEE Workshop CMP '94, (Praha, CZ, 07.09.1994-09.09.1994) (1994)
  3. Kozák Petr: Decentralized controller design for a class of hybrid systems , Integrated Systems Engineering. Proceedings, p. 123-128 , Eds: Johannsen G., Pergamon, (Oxford 1994) , IFAC Conference on Integrated Systems Engineering, (Baden-Baden, DE, 27.09.1994-29.09.1994) (1994)
  4. Kozák Petr: Supervisory control of parallelly interconnected timed discrete event systems , Systems, Man and Cybernetics. Proceedings, p. 1012-1017, IEEE Press, (San Antonio 1994) , IEEE International Conference on Systems, Man, and Cybernetics, (San Antonio, US, 02.10.1994-05.10.1994) (1994)
  5. Kozák Petr: Control of real-time discrete event systems with hybrid controllability of events , 32nd IEEE Conference on Decision and Control, p. 223-228, IEEE, (New York 1993) , IEEE Conference on Decision and Control /32./, (San Antonio, US, 15.12.1993-17.12.1993) (1993)
  6. Balemi S., Kozák Petr, Smedinga R.: Discrete Event Systems: Modeling and Control, Birkhäuser, (Basel 1993) Progress in Systems and Control Theory. vol.13 , WODES '92, (Prague, CZ, 26.08.1992-28.08.1992) (1993)
  7. Kozák Petr, Wonham W. M.: Fully Decentralized Solutions of Supervisory Control Problems, University of Toronto, (Toronto 1993) Research Report 9310 (1993)
  8. Kozák Petr: Improving Characteristics of Discrete Event Controllers with Hybrid Controllability of Events , Midwest Symposium on Circuits and Systems, p. 632-635, IEEE, (Detroit 1993) , Midwest Symposium on Circuits and Systems /36./, (Detroit, US, 16.08.1993-18.08.1993) (1993)
  9. Kozák Petr: Supervisory Control of Discrete Event Processes: A Real-Time Extension, University of Toronto, (Toronto 1993) Research Report 9301 (1993)
  10. Kozák Petr: Supervisory Control of Discrete Event Processes: A Real-Time Extension, ÚTIA AV ČR, (Praha 1993) Research Report 1777 (1993)
  11. Kozák Petr, Wonham W. M.: Synthesis of Database Management Protocols, University of Toronto, (Toronto 1993) Research Report 9311 (1993)
  12. Kozák Petr: The Cat-and-Mouse Problem with Least Delays , Discrete Event Systems: Modeling and Control, p. 199-206 , Eds: Balemi S., Kozák P., Smedinga R., Birkhäuser, (Basel 1993) Progress in Systems and Control Theory. vol.13 , WODES '92, (Prague, CZ, 26.08.1992-28.08.1992) (1993)
  13. Kozák Petr: Unifying Framework for Discrete Event System Control Theory , Discrete Event System: Modeling and Control, p. 95-110 , Eds: Balemi S., Kozák P., Smedinga R., Birkhäuser, (Basel 1993) Progress in Systems and Control Theory. vol.13 , WODES '92, (Prague, CZ, 26.08.1992-28.08.1992) (1993)
  14. Kozák Petr: A Unifying Framework for Discrete Event System Control Theory , Joint Workshop on Discrete Event Systems. WODES '92, p. 47-50 , Eds: Kozák P., Balemi S., Pik J., Smedinga R., ÚTIA ČSAV, (Prague 1992) , WODES '92, (Praha, CS, 26.08.1992-28.08.1992) (1992)
  15. Kozák Petr: Causality and Non-Determinism , 11th European Meeting on Cybernetics and Systems Research '92, p. 137-143 , Eds: Trappl R., World Scientific, (Singapore 1992) , European Meeting on Cybernetics and Systems Research /11./, (Vienna, AT, 21.04.1992-24.04.1992) (1992)
  16. Kozák Petr, Balemi S., Pik Jiří, Smedinga R.Kozák P., Balemi S., Pik J., Smedinga R.: : Joint Workshop on Discrete Event Systems. WODES '92 , , ÚTIA ČSAV, (Prague 1992) , WODES '92, (Praha, CS, 26.08.1992-28.08.1992) (1992)
  17. Kozák Petr: Knowledge of Time-Dependent System Behaviour: Representation and Inference Methods , Support Systems for Decision and Negotiation Processes, p. 291-296 , Eds: Kulikowski R., Nahorski Z., Owsinski J. W., Straszak A., Polish Academy of Sciences, (Warsaw 1992) , Support Systems for Decision and Negotiation Processes, (Warsaw, PL, 24.06.1992-26.06.1992) (1992)
  18. Kozák Petr: On Controllable Behaviours of Time Systems, ÚTIA ČSAV, (Praha 1992) Research Report 1739 (1992)
  19. Kozák Petr: The Cat-and-Mouse Problem with Least Delays , Joint Workshop on Discrete Event Systems. WODES '92, p. 129-132 , Eds: Kozák P., Balemi S., Pik J., Smedinga R., ÚTIA ČSAV, (Prague 1992) , WODES '92, (Praha, CS, 26.08.1992-28.08.1992) (1992)
  20. Kozák Petr: The Need for Differential-Like Calculus for the Discrete Event Systems, ÚTIA ČSAV, (Praha 1992) Research Report 1750 (1992)
  21. Kozák Petr: Control of Elementary Discrete Event Systems: Synthesis of Controller with Non-Zero Decision Time , Design Methods of Control Systems, p. 708-713 , Eds: Franke D., Kraus F., Pergamon Press, (Oxford 1991) , IFAC Symposium on Design Methods of Control Systems /1./, (Zurich, CH, 04.09.1991-06.09.1991) (1991)
  22. Kozák Petr: Discrete Event Systems in Examples, ÚTIA ČSAV, (Praha 1991) Research Report 1711 (1991)
  23. Kozák Petr: Logical Control and Control of Discrete Event Systems , Riadenie diskrétnych procesov, p. 28-30, DT ZSVTS, (Bratislava 1991) , Riadenie diskrétnych procesov, (Bratislava, CS, 08.10.1991-10.10.1991) (1991)
  24. Kozák Petr: Methods of Discrete Event Systems Control in AI Real-Time Skills , Dependability of Artificial Intelligence, p. 271-277 , Eds: Schildt G.H., Retti J., NorthHolland, (Amsterdam 1991) , Dependability of Artificial Intelligence Systems, (Vienna, AT, 27.05.1991-29.05.1991) (1991)
  25. Kozák Petr: Discrete Events and General Systems Theory, ÚTIA ČSAV, (Praha 1990) Research Report 1695 (1990)
  26. Kozák Petr: Logické řízení a řízení systému diskrétních událostí, ÚTIA ČSAV, (Praha 1990) Research Report 1660 (1990)
  27. Kozák Petr: Obecný model pro řízení pružného výrobního systému , Pružná automatizace '90, p. 80-81, Dom techniky ČSVTS, (Bratislava 1990) , Pružná automatizace '90, (Bratislava, CS, 20.02.1990-22.02.1990) (1990)
  28. Kozák Petr: Systémy diskrétních událostí, jejich modelování a řízení. Kandidátská disertační práce, ÚTIA ČSAV, (Praha 1990) (1990)
  29. Kozák Petr: Řízení systémů diskrétních událostí , Počítačové riadenie diskrétnych procesov, p. 11-13, Dům techniky ČSVTS, (Bratislava 1989) , Počítačové riadenie diskrétnych procesov, (Tatranská Lomnica, CS, 17.10.1989-19.10.1989) (1989)
  30. Šindelář Jaroslav, Kozák Petr, Pik Jiří: Systémy diskretních událostí a některé souvislosti, ÚTIA ČSAV, (Praha 1989) Research Report 1623 (1989)
Responsible for information: admin
Last modification: 03.09.2008
Institute of Information Theory and Automation