Search results
- 1.0311003 - MÚ 2009 RIV SE eng C - Conference Paper (international conference)
Komenda, Jan - Lahaye, S. - Boimond, J.-L.
Control of (max,+) automata: logical and timing aspects.
[Řízení (max,+) automatu: logické a časové aspekty.]
Proceedings of WODES 2008: 9th International Workshop on Discrete Event Systems. Göteborg: Ihe Institute of Electrical and Electronics Engineering, 2008 - (Lenartson, B.; Fabian, M.; Akesson, K.; Giua, A.; Kumar, R.), s. 55-60. ISBN 978-1-4244-2592-1.
[International Workshop on Discrete Event Systems. Göteborg (SE), 28.05.2008-30.05.2008]
R&D Projects: GA AV ČR(CZ) KJB100190609; GA MŠMT MEB020729
Institutional research plan: CEZ:AV0Z10190503
Keywords : (max,+) automata * control * Hadamard product
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0162726File Download Size Commentary Version Access Komenda1.pdf 1 189 KB Publisher’s postprint require - 2.0310992 - MÚ 2009 RIV SE eng C - Conference Paper (international conference)
Komenda, Jan - van Schuppen, J. H.
Coordination Control of Discrete Event Systems.
[Koordinované řízení diskrétních událostních systémů.]
Proceedings of WODES 2008: 9th International Workshop on Discrete Event Systems. Göteborg: Ihe Institute of Electrical and Electronics Engineering, 2008 - (Lenartson, B.; Fabian, M.; Akesson, K.; Giua, A.; Kumar, R.), s. 9-15. ISBN 978-1-4244-2592-1.
[International Workshop on Discrete Event Systems. Göteborg (SE), 28.05.2008-30.05.2008]
R&D Projects: GA AV ČR(CZ) KJB100190609
Institutional research plan: CEZ:AV0Z10190503
Keywords : discrete-event systems * modular nonblocking control * coordination control
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0162715File Download Size Commentary Version Access Komenda2.pdf 1 172.2 KB Publisher’s postprint require - 3.0088948 - MÚ 2008 RIV FR fre C - Conference Paper (international conference)
Komenda, Jan - van Schuppen, J. H.
Conditions structurelles dans le contrôle modulaire de systemes a événements concurrents.
[Structural conditions in modular control of concurrent discrete event systems.]
Proceedings Modelisation des Systemes Reactifs (MSR). Lavoisier: Hermes, 2007 - (Niel, E.; Muller, J.), s. 53-70. ISBN 978-2-7462-1957-1.
[Modelisation des Systemes Reactifs (MSR). Lion (FR), 17.10.2007-19.10.2007]
R&D Projects: GA AV ČR(CZ) KJB100190609
Institutional research plan: CEZ:AV0Z10190503
Keywords : concurrent discrete event systems * controllability * normality
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0150318 - 4.0083964 - MÚ 2008 RIV GR eng C - Conference Paper (international conference)
Komenda, Jan - Al Saba, M. - Boimond, J.-L.
Supervisory Control of ( max,+ ) Automata: Timing Aspects.
[Supervizní řízení ( max,+ ) automatu: časové aspekty.]
Proceedings of European Control Conference ( ECC 2007 ). Kos: European Union Control Association, 2007, s. 4417-4424. ISBN 978-960-89028-5-5.
[European Control Conference ( ECC 2007 ). Kos (GR), 02.07.2007-05.07.2007]
R&D Projects: GA AV ČR(CZ) KJB100190609
Institutional research plan: CEZ:AV0Z10190503
Keywords : timed discrete-event systems * (max,+) - automata * dioid algebra
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0147004 - 5.0083942 - MÚ 2008 RIV FR eng C - Conference Paper (international conference)
Komenda, Jan - Boimond, J.-L. - Lahaye, S.
Supervisory Control of Heap Models Using Synchronous Composition.
[Supervizní řízení kupovitých automatů pomocí synchronizovaného součinu.]
Proceedings of International XConference on Informatics in Control, Automation and Robotics. Angers: Institute for Systems and Technologies of Information, Control and Communication, 2007, s. 467-475. ISBN 978-972-8865-82-5.
[ICINCO 2007 International Conference on Informatics in Control, Automation and Robotics. Angers (FR), 09.05.2007-12.05.2007]
R&D Projects: GA AV ČR(CZ) KJB100190609
Institutional research plan: CEZ:AV0Z10190503
Keywords : timed discrete-event systems * heap automata * dioid algebra
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0146989 - 6.0042669 - MÚ 2007 RIV PL eng C - Conference Paper (international conference)
Komenda, Jan - Marchand, H. - Pinchinnat, S.
A constructive and modular approach to decentralized supervisory control problems.
[Konstruktivní a modulární přístup k řešení problémů decentralizovaného supervizního řízení.]
Proceedings of 3rd IFAC Workshop on Discrete Event Systems Design (DESDes´06). Zielona Gora: University of Zielona Gora Press, 2006 - (Adamski, M.), s. 111-116. ISBN 83-7481-035-1.
[IFAC Workshop on Discrete Event Systems Design/3./ (DESdes´06). Rydzyna (PL), 26.09.2006-28.09.2006]
R&D Projects: GA AV ČR(CZ) KJB100190609
Institutional research plan: CEZ:AV0Z10190503
Keywords : discrete-event systems * decentralized supervisory control * modular supervisory control
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0135849File Download Size Commentary Version Access Komenda.pdf 1 81.6 KB Author´s preprint require - 7.0042657 - MÚ 2007 RIV US eng C - Conference Paper (international conference)
Komenda, Jan - van Schuppen, J. H.
Optimal Solutions of Modular Supervisory Control Problems with Indecomposable Specification Languages.
[Optimální řešení problému modulárního supervizního řešení s nerozložitelnými specifikačními jazyky.]
Proceedings 8th International Workshop on Discrete Event Systems ( WODES 2006 ). New York: IEEE Press, 2006 - (Lafortune, S.; Lin, F.; Tilbury, D.), s. 143-148. ISBN 1-4244-0053-8.
[International Workshop on Discrete Event Systems /8./ ( WODES 2006 ). Ann Arbor (US), 10.07.2006-12.07.2006]
R&D Projects: GA AV ČR(CZ) KJB100190609
Institutional research plan: CEZ:AV0Z10190503
Keywords : discrete-event systems * modular supervisory control * supremal normal and controllable sublanguages
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0135839File Download Size Commentary Version Access Komenda2.pdf 1 78 KB Author´s preprint require - 8.0042604 - MÚ 2007 RIV DE eng C - Conference Paper (international conference)
Komenda, Jan - van Schuppen, J. H.
Control of Modular and Distributed Discrete-Event Systems.
[Řízení modulárních a distribuovaných diskrétních událostních systémů.]
Formal Methods for Components and Objects. Berlin: Springer, 2006 - (de Boer, F.; Bonsangue, M.), s. 44-63. Lecture Notes in Computer Science, 4111. ISBN 978-3-540-36749-7.
[Formal Methods for Components and Objects 2005 (FMCO 2005). Amsterdam (NL), 01.11.2005-04.11.2005]
R&D Projects: GA AV ČR(CZ) KJB100190609
Institutional research plan: CEZ:AV0Z10190503
Keywords : modular supervisory control * distributed discrete event systems * computational complexity
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0135794File Download Size Commentary Version Access Komenda1.pdf 1 435.3 KB Publisher’s postprint require