Jan Komenda

Recent 5

Lahaye Sebastien, Komenda Jan, Boimond Jean-Louis
Modeling of timed Petri nets using deterministic (max,+) automata
in Proceedings of the 12th IFAC - IEEE International Workshop on Discrete Event Systems (WODES 2014), Paris, France, 14.5.2014 - 16.5.2014, editor(s): Jean-Jacques Lesage, José E. Ribeiro Cury, Bengt Lennartson, Proceedings of the 12th IFAC - IEEE International Workshop on Discrete Event Systems, IFAC, Paris, France, 2014, 471--476.

Associated with grants:
P103/11/0517

Komenda Jan, Masopust Tomáš
Decentralized Supervisory Control with Communicating Supervisors Based on Top-Down Coordination Control
in Proceedings of the 53rd IEEE Conference on Decision and Control, Los Angeles, CA, USA, 15.12.2014 - 17.12.2014, editor(s): F. Jabbari and A. R. Teel, IEEE Control Systems Society, Los Angeles, CA, USA, 2014, 5149-5155.

Associated with grants:
MUSIC(LH13012)

Komenda Jan, Masopust Tomáš, Van Schuppen Jan H.
Bottom-Up Approach to Multilevel Supervisory Control with Coordination
in Proceedings of the 13th European Control Conference (ECC), Strasbourg, France, 24.6.2014 - 27.6.2014, editor(s): Carlos Canudas de Wit, Proc. 2014 European Control Conference, European Control Association, Strasbourg, France, 2014, 2715-2720.

Associated with grants:
MUSIC(LH13012)

Boimond Jean-Louis, Komenda Jan, Lahaye Sebastien
Séquentialisation du comportement des réseaux de Petri temporisés
in Proceedings of the Modélisation des Systèmes Réactifs (MSR) 2013, Rennes, Francie, 13.11.2013 - 15.11.2013, editor(s): Hervé Marchand, Loic Hélouet, Modélisation des Systèmes Réactifs (Actes de MSR 2013), Lavoisier, Cachan, France, 2013, 139-154.

Associated with grants:
P103/11/0517

Komenda Jan, Masopust Tomáš
A Bridge between Decentralized and Coordination Control
in Proceedings of the 51st Annual Allerton Conference on Communication, Control, and Computing, Allerton House, UIUC, Illinois, USA, 2.10.2013 - 3.10.2013, editor(s): T. Basar and O. Milenkovic, IEEE, Allerton House, UIUC, Illinois, USA, 2013, 966-972.

Associated with grants:
P103/11/0517,
P202/11/P028,
MUSIC(LH13012)

	Select
Year:		Type