References (Partial List)


Koz:94c
P. Kozák, "Supervisory control of parallelly interconnected timed discrete event systems", in Proc. of the IEEE Int. Conf. on Systems, Man, and Cybernetics, San Antonio, TX, USA, Oct. 2-5, 1994, pp. 1012-1017.
Koz:94b
P. Kozák, "Decentralized controller design for a class of hybrid systems", in Proc. of IFAC Conference on Integrated Systems Engineering, Baden-Baden, Germany, Sep. 27-29, 1994, pp. 123-128.
Koz:94a
P. Kozák, "Dealing with complexity in the discrete event system control methods", in Proc. of the IEEE European Workshop on Computer-Intensive Methods in Control and Signal Processing, Prague, Czech Republic, Sep. 7-9, 1994, pp. 229-236.
Koz:93e
P. Kozák, "Improving characteristics of discrete event controllers with hybrid controllability of events", in Proc. of 36th Midwest Symposium on Circuits and Systems, Detroit, MI, USA, Aug. 16-18 , 1993, pp. 332-335.
Koz:93d
P. Kozák, "Control of real-time discrete event systems with hybrid controllability of events", in Proc. of 32nd IEEE Conf. Decision and Control, San Antonio, TX, USA, Dec. 15-17, 1993, pp. 223-228.
KozWon:93a
P. Kozák and W.M. Wonham, "Fully decentralized solutions of supervisory control problems", Technical Report #9310, Systems Control Group, Dept. of El. Eng., Univ. of Toronto, Canada, 1993.
KozWon:93b
P. Kozák and W.M. Wonham, "Synthesis of database management protocols", Technical Report #9311, Systems Control Group, Dept. of El. Eng., Univ. of Toronto, Canada, 1993.
WODES92
S. Balemi, P. Kozák, and R. Smedinga, editors, Discrete Event Systems: Modeling and Control, vol. 13 of Progress in Systems and Control Theory. Birkhäauser Verlag, Basel, Switzerland, 1993, (Proc. of the Joint Workshop on Discrete Event Systems (WODES'92), Aug. 26-28, 1992, Prague, Czechoslovakia).
Koz:93a
P. Kozák, "A unifying framework for discrete event system control theory", in Discrete Event Systems: Modeling and Control, vol. 13 of Progress in Systems and Control Theory. Birkhäauser Verlag, Basel, Switzerland, 1993, pp. 95-110.
Koz:93b
P. Kozák, "The cat-and-mouse problem with least delays", in Discrete Event Systems: Modeling and Control, vol. 13 of Progress in Systems and Control Theory. Birkhäauser Verlag, Basel, Switzerland, 1993, pp. 199-206.
Koz:92c
P. Kozák, "Discrete events and general systems theory", Int.J. Systems Science, vol. 23, pp. 1403-1422, Sep. 1992.
Koz:92d
P. Kozák, "On feedback controllers", Int.J. Systems Science, vol. 23, pp. 1423-1431, Sep. 1992.
Koz:92b
P. Kozák, "Knowledge of time-dependent system behaviour: Representation and inference methods", in R. Kulikowski, Z. Nahorski, J.W. Owsinski, and A. Straszak, editors, Proc. of the IFAC/IFORS/IIASA/TIMS Workshop on Support Systems for Decision and Negotiation Processes, pp. 291-296, Warsaw, Poland, June 24-26, 1992. Polish Academy of Sciences, Warsaw.
Koz:92g
P. Kozák, "The need for differential-like calculus for the discrete event systems", Technical Report #1750, Czechoslovak Academy of Sciences, Institute of Information Theory and Automation, Prague, Czechoslovakia, 1992.
Koz:92a
P. Kozák, "Causality and nondeterminism", in R. Trappl, editor, Cybernetics and Systems Research '92, Proc. of the 11th European Meeting on Cybernetics and System Research, pp. 137-143, Vienna, Austria, Apr. 21-24, 1992. World Scientific Publishing Co. Pte. Ltd., Singapore.
Koz:91c
P. Kozák, "Logical control and control of discrete event systems", in Proc. of the International Conference on Control of Discrete Processes, pp. 28-30, Bratislava, Czechoslovakia, Oct. 8-9, 1991. House of Technology, Bratislava, Czechoslovakia.
Koz:91b
P. Kozák, "Control of elementary discrete event systems: Synthesis of controller with non-zero decision time", in D. Franke and F. Kraus, editors, Proc. of the 1st IFAC Symposium on Design Methods of Control Systems, pp. 457-462, Zurich, Switzerland, Sep. 4-6, 1991. Pergamon Press, Oxford. (In preprints pp. 708-713).
Koz:91a
P. Kozák, "Methods of discrete event systems theory in AI real-time skills", in G.H. Schildt and J. Retti, editors, Proc. of the IFIP Workshop on Dependability of Artificial Intelligence Systems DAISY_91, pp. 271-277, Vienna, Austria, May 27-29, 1991. Elsevier, North-Holland, Amsterdam.
Koz:93c
P. Kozák, "Supervisory control of discrete event processes: A real-time extension", Technical Report #1692, Czechoslovak Academy of Sciences, Institute of Information Theory and Automation, Prague, Czechoslovakia, 1991, revised 1992. Revised in as Technical Report #9301, Systems Control Group, Dept. of El. Eng., Univ. of Toronto, Canada, 1993.
Koz:91e
P. Kozák, "On controllable behaviours of time systems", Technical Report #1739, Czechoslovak Academy of Sciences, Institute of Information Theory and Automation, Prague, Czechoslovakia, 1991.
Koz:89a
P. Kozák, Modelling and Control of Discrete Event Systems, CSc. (corresponds to PhD) thesis, Czechoslovak Academy of Sciences, Institute of Information Theory and Automation, Prague, Czechoslovakia, 1989, (In Czech).