Search results
- 1.0348279 - MÚ 2011 RIV DE eng C - Conference Paper (international conference)
Komenda, Jan - Lahaye, S. - Boimond, J.-L.
Synchronous composition of interval weighted automata.
Proceedings of the 10th International Workshop on Discrete Event Systems (WODES 2010). Berlin: The International Federation of Automatic Control, 2010 - (Raisch, J.; Giua, A.; Lafortune, S.; Moor, T.), s. 328-333. ISBN 978-3-902661-79-1.
[10th International Workshop on Discrete Event Systems. Berlin (DE), 29.08.2010-01.09.2010]
Grant - others:EU Projekt(XE) EU.ICT.DISC 224498
Institutional research plan: CEZ:AV0Z10190503
Keywords : timed discrete-event systems * product interval automata * T-time Petri nets * synchronous composition
Subject RIV: BA - General Mathematics
http://www.ifac-papersonline.net/Detailed/42947.html
Permanent Link: http://hdl.handle.net/11104/0188849File Download Size Commentary Version Access Komenda2.pdf 1 213.6 KB Author´s preprint require - 2.0348278 - MÚ 2011 RIV DE eng C - Conference Paper (international conference)
Komenda, Jan - Masopust, Tomáš - van Schuppen, J. H.
Synthesis of Safe Sublanguages satisfying Global Specification using Coordination Scheme for Discrete-Event Systems.
Proceedings of the 10th International Workshop on Discrete Event Systems (WODES 2010). Berlin: The International Federation of Automatic Control, 2010 - (Raisch, J.; Giua, A.; Lafortune, S.; Moor, T.), s. 436-441. ISBN 978-3-902661-79-1.
[10th International Workshop on Discrete Event Systems. Berlin (DE), 29.08.2010-01.09.2010]
Grant - others:EU Projekt(XE) EU.ICT.DISC 224498
Institutional research plan: CEZ:AV0Z10190503
Keywords : discrete-event systems * modular supervisory control * coordinator * conditional controllability
Subject RIV: BA - General Mathematics
http://www.ifac-papersonline.net/Detailed/42964.html
Permanent Link: http://hdl.handle.net/11104/0188848File Download Size Commentary Version Access Komenda3.pdf 1 156 KB Author´s preprint require - 3.0348272 - MÚ 2011 RIV DE eng C - Conference Paper (international conference)
Komenda, Jan - Masopust, Tomáš
Supremal Normal Sublanguages in Hierarchical Supervisory Control.
Proceedings of the 10th International Workshop on Discrete Event Systems (WODES 2010). Berlin: The International Federation of Automatic Control, 2010 - (Raisch, J.; Giua, A.; Lafortune, S.; Moor, T.), s. 121-126. ISBN 978-3-902661-79-1.
[10th International Workshop on Discrete Event Systems. Berlin (DE), 29.08.2010-01.09.2010]
Grant - others:EU Projekt(XE) EU.ICT.DISC 224498
Institutional research plan: CEZ:AV0Z10190503
Keywords : discrete-event systems * hierarchical supervisory control * partial observations
Subject RIV: BA - General Mathematics
http://www.ifac-papersonline.net/Detailed/42914.html
Permanent Link: http://hdl.handle.net/11104/0188844File Download Size Commentary Version Access Komenda1.pdf 2 120.9 KB Author´s preprint require - 4.0348271 - MÚ 2011 RIV DE eng C - Conference Paper (international conference)
Špaček, P. - Komenda, Jan
Modeling of interval P-time Petri nets using dioid algebra.
Proceedings of the 10th International Workshop on Discrete Event Systems (WODES 2010). Berlin: The International Federation of Automatic Control, 2010 - (Raisch, J.; Giua, A.; Lafortune, S.; Moor, T.), s. 322-327. ISBN 978-3-902661-79-1.
[10th International Workshop on Discrete Event Systems. Berlin (DE), 29.08.2010-01.09.2010]
Grant - others:EU Projekt(XE) EU.ICT.DISC 224498
Institutional research plan: CEZ:AV0Z10190503
Keywords : timed discrete-event systems * product semirings * P-time Petri nets * dead tokens
Subject RIV: BA - General Mathematics
http://www.ifac-papersonline.net/Detailed/42946.html
Permanent Link: http://hdl.handle.net/11104/0188843