Výsledky vyhledávání
- 1.0486267 - MÚ 2019 RIV US eng J - Článek v odborném periodiku
Masopust, Tomáš
Complexity of verifying nonblockingness in modular supervisory control.
IEEE Transactions on Automatic Control. Roč. 63, č. 2 (2018), s. 602-607. ISSN 0018-9286. E-ISSN 1558-2523
Institucionální podpora: RVO:67985840
Klíčová slova: nonblockingness * modular supervisory control * complexity
Obor OECD: Automation and control systems
Impakt faktor: 5.093, rok: 2018
http://ieeexplore.ieee.org/document/7979596/
Trvalý link: http://hdl.handle.net/11104/0281137Název souboru Staženo Velikost Komentář Verze Přístup Masopust3.pdf 2 420.5 KB Vydavatelský postprint vyžádat - 2.0348278 - MÚ 2011 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
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 ostatní: EU Projekt(XE) EU.ICT.DISC 224498
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: discrete-event systems * modular supervisory control * coordinator * conditional controllability
Kód oboru RIV: BA - Obecná matematika
http://www.ifac-papersonline.net/Detailed/42964.html
Trvalý link: http://hdl.handle.net/11104/0188848Název souboru Staženo Velikost Komentář Verze Přístup Komenda3.pdf 1 156 KB Autorský preprint vyžádat - 3.0307560 - MÚ 2008 RIV US eng J - Článek v odborném periodiku
Komenda, Jan - van Schuppen, J. H.
Modular Control of Discrete-Event Systems with Coalgebra.
[Modulární řízení diskrétních událostních systémů pomocí koalgebry.]
IEEE Transactions on Automatic Control. Roč. 53, č. 2 (2008), s. 447-460. ISSN 0018-9286. E-ISSN 1558-2523
Grant CEP: GA AV ČR(CZ) KJB100190609
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: discrete-event systems * modular supervisory control * coalgebra
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 3.293, rok: 2008
Trvalý link: http://hdl.handle.net/11104/0160285Název souboru Staženo Velikost Komentář Verze Přístup Komenda3.pdf 1 294.5 KB Vydavatelský postprint vyžádat - 4.0306505 - MÚ 2008 RIV NL eng J - Článek v odborném periodiku
Komenda, Jan - van Schuppen, J. H. - Gaudin, B. - Marchand, H.
Supervisory Control of Modular Systems with Global Specification Languages.
[Supervizní řízení modulárních systémů s globálními specifikačními jazyky.]
Automatica. Roč. 44, č. 4 (2008), s. 1127-1134. ISSN 0005-1098. E-ISSN 1873-2836
Grant CEP: GA AV ČR(CZ) KJB100190609
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: discrete-event systems * modular supervisory control * global specification
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 3.178, rok: 2008
Trvalý link: http://hdl.handle.net/11104/0159512Název souboru Staženo Velikost Komentář Verze Přístup Komenda.pdf 1 272.7 KB Vydavatelský postprint vyžádat - 5.0106893 - MU-W 20040100 RIV PL eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA ČR GP201/03/P077
Výzkumný záměr: CEZ:AV0Z1019905
Klíčová slova: discrete event systems * modular supervisory control * coalgebra
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0014065 - 6.0042669 - MÚ 2007 RIV PL eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA AV ČR(CZ) KJB100190609
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: discrete-event systems * decentralized supervisory control * modular supervisory control
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0135849Název souboru Staženo Velikost Komentář Verze Přístup Komenda.pdf 1 81.6 KB Autorský preprint vyžádat - 7.0042657 - MÚ 2007 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA AV ČR(CZ) KJB100190609
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: discrete-event systems * modular supervisory control * supremal normal and controllable sublanguages
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0135839Název souboru Staženo Velikost Komentář Verze Přístup Komenda2.pdf 1 78 KB Autorský preprint vyžádat - 8.0042604 - MÚ 2007 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA AV ČR(CZ) KJB100190609
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: modular supervisory control * distributed discrete event systems * computational complexity
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0135794Název souboru Staženo Velikost Komentář Verze Přístup Komenda1.pdf 1 435.3 KB Vydavatelský postprint vyžádat - 9.0026074 - MÚ 2006 RIV IT eng C - Konferenční příspěvek (zahraniční konf.)
Komenda, Jan - van Schuppen, J. H. - Gaudin, B. - Marchand, H.
Modular supervisory control with general indecomposable specification languages.
[Modulární supervizní řízení s obecnými nerozložitelnými specifikačními jazyky.]
Proceedings of Joint 44th IEEE Conference on Decision and Control and European Control Conference. Sevilla: IEEE Press, 2005, s. 3474-3479. ISBN 0-7803-9568-9.
[IEEE Conference on Decision and Control and European Control Conference/44./. Sevilla (IT), 12.12.2005-15.12.2005]
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: modular supervisory control * partial controllability * supremal controllable sublanguages
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0116374Název souboru Staženo Velikost Komentář Verze Přístup Komenda2.pdf 1 175.4 KB Vydavatelský postprint vyžádat - 10.0026041 - MÚ 2006 RIV IT eng C - Konferenční příspěvek (zahraniční konf.)
Komenda, Jan - van Schuppen, J. H.
Supremal Sublanguages of General Specification Languages Arising in Modular Control of Discrete-Event Systems.
[Supremální podjazyky obecných specifikačních jazyků v modulárním řízení diskrétních událostních systémů.]
Proceedings of Joint 44th IEEE Conference on Decision and Control and European Control Conference. Sevilla: IEEE Press, 2005, s. 2775-2780. ISBN 0-7803-9568-9.
[IEEE Conference on Decision and Control and European Control Conference/44./. Sevilla (IT), 12.12.2005-15.12.2005]
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: modular supervisory control * partial observations * global specifications
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0116346Název souboru Staženo Velikost Komentář Verze Přístup Komenda3.pdf 1 168.7 KB Vydavatelský postprint vyžádat