2008 |
9 | EE | Jan Komenda,
Jan H. van Schuppen,
Benoit Gaudin,
Hervé Marchand:
Supervisory control of modular systems with global specification languages.
Automatica 44(4): 1127-1134 (2008) |
2007 |
8 | | Jan Komenda,
Jean-Louis Boimond,
Sébastien Lahaye:
Supervisory control of heap models using synchronous composition.
ICINCO-ICSO 2007: 467-475 |
7 | EE | Jan Komenda,
Jan H. van Schuppen:
Control of discrete-event systems with modular or distributed structure.
Theor. Comput. Sci. 388(1-3): 199-226 (2007) |
2005 |
6 | EE | Jan Komenda,
Jan H. van Schuppen:
Control of Modular and Distributed Discrete-Event Systems.
FMCO 2005: 44-63 |
5 | EE | Jan Komenda,
Jan H. van Schuppen:
Control of Discrete-Event Systems with Partial Observations Using Coalgebra and Coinduction.
Discrete Event Dynamic Systems 15(3): 257-315 (2005) |
2003 |
4 | EE | Jan Komenda:
Coinduction in Control of Partially Observed Discrete-Event Systems.
Electr. Notes Theor. Comput. Sci. 82(1): (2003) |
2001 |
3 | EE | Jan Komenda,
Abdellah El Moudni,
Noureddine Zerhouni:
Input-Output Relation and Time-Optimal Control of a Class of Hybrid Petri Nets Using min, +) Semiring.
Discrete Event Dynamic Systems 11(1-2): 59-75 (2001) |
1998 |
2 | EE | Jan Komenda,
Abdellah El Moudni,
Nourredine Zerhouni:
The Use of Conventional and Minplus Algebra for the Modeling of Hybrid Petri Nets.
Cybernetics and Systems 29(8): 869-884 (1998) |
1997 |
1 | EE | Jan Komenda,
Abdellah El Moudni,
Nourredine Zerhouni,
Michel Ferney:
On the Calculation of the Transfer Function of Timed Event Petri Nets.
Cybernetics and Systems 28(7): 607-624 (1997) |