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
662018
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
662011
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
542009
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
322011
Compositions of (max,+) automata
S Lahaye, J Komenda, JL Boimond
Discrete Event Dynamic Systems 25, 323-344, 2015
292015
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
252016
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
242005
Control of discrete-event systems with modular or distributed structure
J Komenda, JH van Schuppen
Theoretical Computer Science 388 (1-3), 199-226, 2007
222007
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
Multilevel coordination control of modular DES
J Komenda, T Masopust, JH van Schuppen
52nd IEEE Conference on Decision and Control, 6323-6328, 2013
182013
Le produit synchrone des automates (max,+)
J Komenda, S Lahaye, JL Boimond
Apii Jesa Journal Europeen Des Systemes Automatises 43 (7), 1033, 2009
182009
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
Computation of supremal sublanguages of supervisory control using coalgebra
J Komenda
Sixth International Workshop on Discrete Event Systems, 2002. Proceedings …, 2002
172002
The system can't perform the operation now. Try again later.
Articles 1–20