Search results
- 1.0433083 - MÚ 2016 RIV CH eng M - Monography Chapter
Komenda, Jan - Masopust, Tomáš
Supervisory control of discrete-event systems.
Coordination Control of Distributed Systems. 1. Heidelberg: Springer, 2015 - (van Schuppen, J.; Villa, T.), s. 129-136. Lecture Notes in Control and Information Sciences, 456. ISBN 978-3-319-10406-5
Institutional support: RVO:67985840
Keywords : discrete event systems * supervisory control * automata
Subject RIV: BA - General Mathematics
http://link.springer.com/chapter/10.1007%2F978-3-319-10407-2_16
Permanent Link: http://hdl.handle.net/11104/0237367File Download Size Commentary Version Access Masopust1.pdf 0 1.1 MB Publisher’s postprint require - 2.0433081 - MÚ 2016 RIV CH eng M - Monography Chapter
Komenda, Jan - Masopust, Tomáš
Coordination control of distributed discrete-event systems.
Coordination Control of Distributed Systems. 1. Heidelberg: Springer, 2015 - (van Schuppen, J.; Villa, T.), s. 137-144. Lecture Notes in Control and Information Sciences, 456. ISBN 978-3-319-10406-5
Institutional support: RVO:67985840
Keywords : distributed discrete-event systems
Subject RIV: BA - General Mathematics
http://link.springer.com/chapter/10.1007%2F978-3-319-10407-2_17
Permanent Link: http://hdl.handle.net/11104/0237431File Download Size Commentary Version Access Masopust2.pdf 0 886.6 KB Publisher’s postprint require - 3.0379766 - MÚ 2013 RIV GB eng M - Monography Chapter
Komenda, Jan - Masopust, Tomáš - van Schuppen, J. H.
Coordination control of distributed discrete-event systems.
Control of Disrete-Event Systems : Automata and Petri Net Perspectives. 1. London: Springer, 2013 - (Seatzu, C.; Silva, M.; van Schuppen, J.), s. 147-167. Lecture Notes in Control and Information Sciences, 433. ISBN 978-1-4471-4275-1
R&D Projects: GA ČR(CZ) GPP202/11/P028; GA ČR GAP103/11/0517
Grant - others:European Commission(XE) EU.ICT.DISC 224498
Institutional support: RVO:67985840
Keywords : discrete-event systems * coordination control * coordinator
Subject RIV: BA - General Mathematics
http://link.springer.com/chapter/10.1007/978-1-4471-4276-8_8
Permanent Link: http://hdl.handle.net/11104/0210648 - 4.0379764 - MÚ 2013 RIV GB eng M - Monography Chapter
Komenda, Jan - Masopust, Tomáš - van Schuppen, J. H.
Supervisory control of distributed discrete-event systems.
Control of Disrete-Event Systems : Automata and Petri Net Perspectives. 1. London: Springer, 2013 - (Seatzu, C.; Silva, M.; van Schuppen, J.), s. 107-126. Lecture Notes in Control and Information Sciences, 433. ISBN 978-1-4471-4275-1
R&D Projects: GA ČR(CZ) GPP202/11/P028; GA ČR GAP103/11/0517
Grant - others:European Commission(XE) EU.ICT.DISC 224498
Institutional support: RVO:67985840
Keywords : supervisory control * distributed control * decentralized control
Subject RIV: BA - General Mathematics
http://link.springer.com/chapter/10.1007/978-1-4471-4276-8_6
Permanent Link: http://hdl.handle.net/11104/0210647 - 5.0379763 - MÚ 2013 RIV GB eng M - Monography Chapter
Masopust, Tomáš - van Schuppen, J. H.
Supervisory control with complete observations.
Control of Disrete-Event Systems : Automata and Petri Net Perspectives. 1. London: Springer, 2013 - (Seatzu, C.; Silva, M.; van Schuppen, J.), s. 45-64. Lecture Notes in Control and Information Sciences, 433. ISBN 978-1-4471-4275-1
R&D Projects: GA ČR GPP202/11/P028
Grant - others:European Commission(XE) EU.ICT.DISC 224498
Institutional support: RVO:67985840
Keywords : supervisory control * complete observation * supervisor
Subject RIV: BA - General Mathematics
http://link.springer.com/chapter/10.1007/978-1-4471-4276-8_3
Permanent Link: http://hdl.handle.net/11104/0210646 - 6.0379746 - MÚ 2013 RIV GB eng M - Monography Chapter
Haar, S. - Masopust, Tomáš
Languages, decidability, and complexity.
Control of Disrete-Event Systems : Automata and Petri Net Perspectives. 1. London: Springer, 2013 - (Seatzu, C.; Silva, M.; van Schuppen, J.), s. 23-43. Lecture Notes in Control and Information Sciences, 433. ISBN 978-1-4471-4275-1
R&D Projects: GA ČR GPP202/11/P028
Grant - others:European Commission(XE) EU.ICT.DISC 224498
Institutional support: RVO:67985840
Keywords : Automata theory * decidability * complexity
Subject RIV: BA - General Mathematics
http://link.springer.com/chapter/10.1007/978-1-4471-4276-8_2
Permanent Link: http://hdl.handle.net/11104/0210630File Download Size Commentary Version Access Masopust2.pdf 4 528.8 KB Publisher’s postprint require