Discrete-Event Systems and Theoretical Computer Science Research Group/Projects
Z ApolloWiki
Projects from Discrete-Event Systems and Theoretical Computer Science Research Group
Projects from Discrete-Event Systems and Theoretical Computer Science Research Group
Martin Trnečka
Jiří Balun, Jiří Valůšek
Martin Trnečka
Jiří Balun, Jiří Valůšek
Verification and Control of Networked Discrete Event Systems
Verification and Control of Networked Discrete Event Systems
Tomáš Masopust, Jan Komenda
Jiří Balun, Stéphane Lafortune, Spyros Reveliotis, Feng Lin
Compositional Methods for the Control of Concurrent Timed Discrete-Event Systems
Compositional Methods for the Control of Concurrent Timed Discrete-Event Systems
Jan Komenda, Jörg Raisch
Tomáš Masopust, Thomas Moor