Search results
- 1.0491959 - MÚ 2019 RIV NL eng C - Conference Paper (international conference)
Komenda, Jan - Lahaye, S. - Boimond, J.-L.
(Max,+)-automata with partial observations.
IFAC-PapersOnLine. Vol. 51, Issue 7. Amsterdam: Elsevier, 2018 - (De Tommasi, G.), s. 192-197. ISSN 2405-8963.
[14th Workshop on Discrete Event Systems (WODES 2018). Sorrento Coast (IT), 29.05.2018-01.06.2018]
Institutional support: RVO:67985840
Keywords : (Max,+)-automata * partial observations * weak bisimulation
OECD category: Automation and control systems
https://www.sciencedirect.com/science/article/pii/S240589631830630X?via%3Dihub
Permanent Link: http://hdl.handle.net/11104/0285545File Download Size Commentary Version Access Komenda1.pdf 1 391.8 KB Publisher’s postprint require - 2.0460479 - MÚ 2017 RIV US eng J - Journal Article
Komenda, Jan - Lahaye, S. - Boimond, J.-L.
Determinization of timed Petri nets behaviors.
Discrete Event Dynamic Systems-Theory and Applications. Roč. 26, č. 3 (2016), s. 413-437. ISSN 0924-6703. E-ISSN 1573-7594
R&D Projects: GA MŠMT LH13012; GA ČR GA15-02532S
Institutional support: RVO:67985840
Keywords : timed Petri nets * (max,+) automata * determinization
Subject RIV: BA - General Mathematics
Impact factor: 1.660, year: 2016
http://link.springer.com/article/10.1007%2Fs10626-015-0214-1
Permanent Link: http://hdl.handle.net/11104/0260547File Download Size Commentary Version Access Komenda3.pdf 2 1.1 MB Publisher’s postprint require - 3.0458232 - MÚ 2017 RIV FR fre C - Conference Paper (international conference)
Lahaye, S. - Komenda, Jan - Boimond, J.-L.
Amélioration de la procédure de déterminisation des automates (max,+).
[Improvement of the determinization procedure of (max,+)-automata.]
10ème Colloque sur la Modélisation des Systèmes Réactifs (MSR 2015). Nancy: Inria, 2015 - (Merz, S.), s. 1-15
[10ème Colloque sur la Modélisation des Systèmes Réactifs (MSR 2015). Nancy (FR), 18.11.2015-20.11.2015]
R&D Projects: GA ČR GA15-02532S
Institutional support: RVO:67985840
Keywords : discrete-event systems * (max,+)-automata * determinization
Subject RIV: BA - General Mathematics
https://hal.inria.fr/hal-01224219
Permanent Link: http://hdl.handle.net/11104/0258528File Download Size Commentary Version Access Komenda6.pdf 1 657.8 KB Publisher’s postprint require - 4.0450641 - MÚ 2016 RIV GB eng J - Journal Article
Lahaye, S. - Komenda, Jan - Boimond, J.-L.
Supervisory control of (max,+) automata: extensions towards applications.
International Journal of Control. Roč. 88, č. 12 (2015), s. 2523-2537. ISSN 0020-7179. E-ISSN 1366-5820
Institutional support: RVO:67985840
Keywords : discrete event systems * logical and timed behaviors * (max,+) automata * supervisory control
Subject RIV: BA - General Mathematics
Impact factor: 1.880, year: 2015
http://www.tandfonline.com/doi/full/10.1080/00207179.2015.1048295
Permanent Link: http://hdl.handle.net/11104/0251999File Download Size Commentary Version Access Komenda4.pdf 2 485.8 KB Publisher’s postprint require - 5.0443129 - MÚ 2016 RIV US eng J - Journal Article
Lahaye, S. - Komenda, Jan - Boimond, J.-L.
Compositions of (max, +) automata.
Discrete Event Dynamic Systems-Theory and Applications. Roč. 25, 1-2 (2015), s. 323-344. ISSN 0924-6703. E-ISSN 1573-7594
R&D Projects: GA ČR(CZ) GAP103/11/0517
Institutional support: RVO:67985840
Keywords : (max,+) automata * synchronous product * asynchronous product
Subject RIV: BA - General Mathematics
Impact factor: 1.268, year: 2015
http://link.springer.com/article/10.1007/s10626-014-0186-6
Permanent Link: http://hdl.handle.net/11104/0245884File Download Size Commentary Version Access Komenda.pdf 2 1.3 MB Publisher’s postprint require - 6.0422087 - MÚ 2014 RIV FR fre J - Journal Article
Boimond, J.-L. - Komenda, Jan - Lahaye, S.
Séquentialisation du comportement des réseaux de Petri temporisés.
[Sequentialization of timed Petri net behaviours.]
Journal Européen des Systèmes Automatisés. Roč. 47, 1-3 (2013), s. 139-154. ISSN 1269-6935.
[Modélisation des Systèmes Réactifs (MSR) 2013. Rennes, 13.11.2013-15.11.2013]
R&D Projects: GA ČR(CZ) GAP103/11/0517
Institutional support: RVO:67985840
Keywords : timed Petri nets * (max,+) automata * race policy
Subject RIV: BA - General Mathematics
http://jesa.revuesonline.com/article.jsp?articleId=18769
Permanent Link: http://hdl.handle.net/11104/0228302File Download Size Commentary Version Access Komenda.pdf 2 505.9 KB Publisher’s postprint require - 7.0386937 - MÚ 2013 RIV MX eng C - Conference Paper (international conference)
Komenda, Jan - Lahaye, S. - Boimond, J.-L.
Decentralized control of product (max+)-automata using coinduction.
Proceedings of the 11th International Workshop on Discrete Event Systems (WODES 2012). Guadalajara: IFAC, 2012 - (Ramírez-Treviño, A.; López-Mellado, E.; Lesage, J.), s. 122-127. ISBN 978-3-902823-28-1.
[11th International Workshop on Discrete Event Systems (WODES 2012). Guadalajara (MX), 03.10.2012-05.10.2012]
R&D Projects: GA ČR(CZ) GAP103/11/0517
Institutional support: RVO:67985840
Keywords : (max,+) automata * decentralized control * coalgebra
Subject RIV: BA - General Mathematics
http://www.ifac-papersonline.net/Detailed/58179.html
Permanent Link: http://hdl.handle.net/11104/0216163 - 8.0386930 - MÚ 2013 RIV MX eng C - Conference Paper (international conference)
Lahaye, S. - Komenda, Jan - Boimond, J.-L.
Compositions of (max+)-automata.
Proceedings of the 11th International Workshop on Discrete Event Systems (WODES 2012). Guadalajara: IFAC, 2012 - (Ramírez-Treviño, A.; López-Mellado, E.; Lesage, J.), s. 61-66. ISBN 978-3-902823-28-1.
[11th International Workshop on Discrete Event Systems (WODES 2012). Guadalajara (MX), 03.10.2012-05.10.2012]
R&D Projects: GA ČR(CZ) GAP103/11/0517
Institutional support: RVO:67985840
Keywords : (max,+) automata * synchronous composition * asynchronous composition
Subject RIV: BA - General Mathematics
http://www.ifac-papersonline.net/Detailed/58159.html
Permanent Link: http://hdl.handle.net/11104/0216166File Download Size Commentary Version Access Komenda3.pdf 2 257.4 KB Author´s preprint open-access - 9.0330875 - MÚ 2010 RIV FR fre C - Conference Paper (international conference)
Komenda, Jan - Lahaye, S. - Boimond, J.-L.
Le produit synchrone des automates (max,+).
[Synchronous product of **(max,+) **automata.]
Modélisation des systèmes réactifs : MSR 2009. Paris: Lavoisier, 2009 - (Roux, O.; Lime, D.), s. 1033-1047. ISBN 2-7462-2601-4.
[7ième Colloque Francophone sur la Modélisation des Systèmes. Nantes (FR), 16.11.2009-18.11.2009]
Grant - others:EU Projekt(XE) EU.ICT.DISC 224498
Institutional research plan: CEZ:AV0Z10190503
Keywords : (max,+) automata * synchronous product * parallelism
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0176557File Download Size Commentary Version Access Komenda2.pdf 2 245.2 KB Publisher’s postprint require - 10.0330864 - MÚ 2011 RIV IT eng C - Conference Paper (international conference)
Komenda, Jan - Lahaye, S. - Boimond, J.-L.
Controllability of (max,+) formal power series.
[Kontrolovatelnost (max,+) formálních mocninných řad.]
Proceedings of IFAC DCDS'09. Bari: The International Federation of Automatic Control, 2009 - (Fanti, M.; Dotoli, M.), s. 97-102. ISBN 978-3-902661-44-9.
[2nd IFAC Workshop on Dependable Control of Discrete Systems. Bari (IT), 10.06.2009-12.06.2009]
Grant - others:EU Projekt(XE) EU.ICT.DISC 224498
Institutional research plan: CEZ:AV0Z10190503
Keywords : controllability * (max,+) automata * (max,+) formal power series * Hadamard product
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0176549File Download Size Commentary Version Access Komenda1.pdf 1 122 KB Author´s preprint require