Follow
Jan Komenda
Jan Komenda
Institute of Mathematics, Czech Academy of Sciences
Verified email at ipm.cz
Title
Cited by
Cited by
Year
Max-plus algebra in the history of discrete event systems
J Komenda, S Lahaye, JL Boimond, T van den Boom
Annual Reviews in Control 45, 240-249, 2018
782018
Control of distributed systems: Tutorial and overview
JH van Schuppen, O Boutin, PL Kempker, J Komenda, T Masopust, ...
European Journal of Control 17 (5-6), 579-602, 2011
682011
Supervisory control synthesis of discrete-event systems using a coordination scheme
J Komenda, T Masopust, JH van Schuppen
Automatica 48 (2), 247-254, 2012
572012
Supervisory control of (max,+) automata: A behavioral approach
J Komenda, S Lahaye, JL Boimond
Discrete Event Dynamic Systems 19, 525-549, 2009
562009
Coordination control of discrete-event systems revisited
J Komenda, T Masopust, JH van Schuppen
Discrete Event Dynamic Systems 25, 65-94, 2015
512015
On conditional decomposability
J Komenda, T Masopust, JH van Schuppen
Systems & Control Letters 61 (12), 1260-1268, 2012
482012
Control of discrete-event systems with partial observations using coalgebra and coinduction
J Komenda, JH van Schuppen
Discrete Event Dynamic Systems 15, 257-315, 2005
422005
Coordination control of discrete-event systems
J Komenda, JH van Schuppen
2008 9th International Workshop on Discrete Event Systems, 9-15, 2008
412008
Modular control of discrete-event systems with coalgebra
J Komenda, JH van Schuppen
IEEE Transactions on Automatic Control 53 (2), 447-460, 2008
382008
Supervisory control of modular systems with global specification languages
J Komenda, JH van Schuppen, B Gaudin, H Marchand
Automatica 44 (4), 1127-1134, 2008
362008
Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator
J Komenda, T Masopust, JH Van Schuppen
Systems & Control Letters 60 (7), 492-502, 2011
352011
Compositions of (max,+) automata
S Lahaye, J Komenda, JL Boimond
Discrete Event Dynamic Systems 25, 323-344, 2015
322015
Control of an engineering-structured multilevel discrete-event system
J Komenda, T Masopust, JH van Schuppen
2016 13th International Workshop on Discrete Event Systems (WODES), 103-108, 2016
282016
Modular supervisory control with general indecomposable specification languages
J Komenda, JH van Schuppen, B Gaudin, H Marchand
Proceedings of the 44th IEEE Conference on Decision and Control, 3474-3479, 2005
232005
Control of discrete-event systems with modular or distributed structure
J Komenda, JH van Schuppen
Theoretical Computer Science 388 (1-3), 199-226, 2007
212007
Multilevel coordination control of modular DES
J Komenda, T Masopust, JH van Schuppen
52nd IEEE Conference on Decision and Control, 6323-6328, 2013
192013
Supremal sublanguages of general specification languages arising in modular control of discrete-event systems
J Komenda, JH van Schuppen
Proceedings of the 44th IEEE Conference on Decision and Control, 2775-2780, 2005
192005
Le produit synchrone des automates (max,+)
J Komenda, S Lahaye, JL Boimond
Apii Jesa Journal Europeen Des Systemes Automatises 43 (7), 1033, 2009
182009
Conjugacy criteria and principal solutions of self-adjoint differential equations
O Došlý, J Komenda
Archivum Mathematicum 31 (3), 217-238, 1995
181995
Synthesis of safe sublanguages satisfying global specification using coordination scheme for discrete-event systems
J Komenda, T Masopust, JH van Schuppen
IFAC Proceedings Volumes 43 (12), 426-431, 2010
172010
The system can't perform the operation now. Try again later.
Articles 1–20