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]
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]
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]
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]
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]
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]