Search results
- 1.0106957 - MU-W 20040164 RIV GB eng C - Conference Paper (international conference)
Komenda, Jan
Coalgebra and coinduction in decentralized supervisory control.
[Koalgebra a koindukce v decentralizovaném supervizním řízení.]
Proceedings IFAC Control System Design. Oxford: Elsevier Science Ltd, 2004, s. 193-198.
[Control Systems Design 2003. Bratislava (SK), 07.09.2003-10.09.2003]
R&D Projects: GA ČR GP201/03/P077
Institutional research plan: CEZ:AV0Z1019905
Keywords : decentralized control * coobservability * decomposability
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0014129 - 2.0106955 - MU-W 20040162 RIV PL eng C - Conference Paper (international conference)
Komenda, Jan
Coinduction in Control of Partially Observed Discrete-Event Systems.
[Koindukce a řízení diskrétních událostních systémů s částečným pozorováním.]
Proceedings of the 6th International Workshop on Coalgebraic Methods in Computer Science (CMCS) 2003. Warsaw: University of Warsaw, 2003, s. 153-171.
[International Workshop on Coalgebraic Methods in Computer Science/6./. Warsaw (PL), 05.04.2003-06.04.2003]
R&D Projects: GA ČR GP201/03/P077
Institutional research plan: CEZ:AV0Z1019905
Keywords : coinduction * supervisory control * discrete-event systems
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0014127File Download Size Commentary Version Access Komenda1.pdf 1 1.2 MB Author´s preprint require - 3.0106894 - MU-W 20040101 RIV FR eng C - Conference Paper (international conference)
Komenda, Jan - van Schuppen, J. H.
Supremal Normal Sublanguages of Large Distributed Discrete Event Systems.
[Supremální normální podjazyky velkých distribuovných diskrétních událostních systémů.]
Proceedings of the 7th IFAC International Workshop on Discrete Event Systems. Reims: CWI, 2004, s. 73-78.
[IFAC International Workshop on Discrete Event Systems/7./. Reims (FR), 22.09.2004-24.09.2004]
R&D Projects: GA ČR GP201/03/P077
Institutional research plan: CEZ:AV0Z1019905
Keywords : modular discrete event systems * normality * coalgebra
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0014066File Download Size Commentary Version Access Komenda.pdf 1 99.6 KB Author´s preprint require - 4.0106893 - MU-W 20040100 RIV PL eng C - Conference Paper (international conference)
Komenda, Jan
Modular Control of Large Distributed Discrete Event Systems.
[Modulární řízení velkých distribuovaných diskrétních událostních systémů.]
Proceedings of the 15th International Conference on Systems Science, Volume II. Wroclaw: Politechnika Wroclaw, 2004, s. 175-184.
[International Conference on Systems Science/15./. Wroclaw (PL), 07.09.2004-10.09.2004]
R&D Projects: GA ČR GP201/03/P077
Institutional research plan: CEZ:AV0Z1019905
Keywords : discrete event systems * modular supervisory control * coalgebra
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0014065 - 5.0023019 - MÚ 2006 RIV SK eng C - Conference Paper (international conference)
Komenda, Jan
Coalgebra and coinduction in decentralized supervisory control.
[Koalgebra a koindukce v decentralizovaném supervizním řízení.]
Proceedings IFAC Control System Design. Bratislava, 2003, s. 1-3.
[IFAC Control System Design. Bratislava (SK), 07.09.2003-10.09.2003]
R&D Projects: GA ČR GP201/03/P077
Institutional research plan: CEZ:AV0Z1019905
Keywords : decentralized control * coobservability * decomposability
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0111706File Download Size Commentary Version Access Komenda.pdf 1 114 KB Author´s preprint require