Jan Komenda

According to our database, Jan Komenda authored at least 76 papers between 1997 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Switched max-plus linear-dual inequalities: cycle time analysis and applications.

Davide Zorzenon, Jan Komenda, Jörg Raisch

Discret. Event Dyn. Syst., 2024

2023

Hierarchical Supervisory Control Under Partial Observation: Normality.

Jan Komenda, Tomás Masopust

IEEE Trans. Autom. Control., December, 2023

Coordination Control of Discrete Event Systems under Cyber Attacks.

Fei Wang, Jan Komenda, Feng Lin

CoRR, 2023

Supervisory Control of Modular Discrete-Event Systems under Partial Observation: Normality.

Jan Komenda, Tomás Masopust

CoRR, 2023

Verification of Detectability for Unambiguous Weighted Automata Using Self-Composition.

Shaowen Miao, Aiwen Lai, Xiao Yu, Sébastien Lahaye, Jan Komenda

Proceedings of the 9th International Conference on Control, 2023

Representation of Time Petri Nets using Interval Weighted Automata.

B. Daviaud, Sébastien Lahaye, Mehdi Lhommeau, Jan Komenda

Proceedings of the 9th International Conference on Control, 2023

2022

Diagnosability of Unambiguous Max-Plus Automata.

Aiwen Lai, Jan Komenda, Sébastien Lahaye

IEEE Trans. Syst. Man Cybern. Syst., 2022

Observer Construction for Polynomially Ambiguous Max-Plus Automata.

Aiwen Lai, Sébastien Lahaye, Jan Komenda

IEEE Trans. Autom. Control., 2022

The non-positive circuit weight problem in parametric graphs: A solution based on dioid theory.

Davide Zorzenon, Jan Komenda, Jörg Raisch

Discret. Appl. Math., 2022

Periodic Trajectories in P-Time Event Graphs and the Non-Positive Circuit Weight Problem.

Davide Zorzenon, Jan Komenda, Jörg Raisch

IEEE Control. Syst. Lett., 2022

Supervisory Control of Multiagent Discrete-Event Systems With Partial Observation.

Yingying Liu, Jan Komenda, Zhiwu Li

IEEE Control. Syst. Lett., 2022

Switched Max-Plus Linear-Dual Inequalities: Application in Scheduling of Multi-Product Processing Networks.

Davide Zorzenon, Jan Komenda, Jörg Raisch

CoRR, 2022

Hierarchical and Modular Supervisory Control under Partial Observation: Normality.

Jan Komenda, Tomás Masopust

CoRR, 2022

Modular control of discrete-event systems using similarity.

Yingying Liu, Jan Komenda, Tomás Masopust, Zhiwu Li

Autom., 2022

2021

Analysis of P-time event graphs in (max, +) and (min, +) semirings.

Pavel Spacek, Jan Komenda, Sébastien Lahaye

Int. J. Syst. Sci., 2021

Supervisory Control of Multi-Agent Discrete-Event Systems with Partial Observation.

Yingying Liu, Jan Komenda, Zhiwu Li

CoRR, 2021

The non-positive circuit weight problem in parametric graphs: a fast solution based on dioid theory.

Davide Zorzenon, Jan Komenda, Jörg Raisch

CoRR, 2021

2020

A contribution to the determinization of max-plus automata.

Sébastien Lahaye, Aiwen Lai, Jan Komenda, Jean-Louis Boimond

Discret. Event Dyn. Syst., 2020

Analysis of P-time Event Graphs in (Max, +) and (Min, +) Algebras.

Pavel Spacek, Jan Komenda, Sébastien Lahaye

CoRR, 2020

Bounded Consistency of P-Time Event Graphs.

Davide Zorzenon, Jan Komenda, Jörg Raisch

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

2019

Conditions for Hierarchical Supervisory Control under Partial Observation.

Jan Komenda, Tomás Masopust

CoRR, 2019

A Uniform Approach to Maximal Permissiveness in Modular Control of Discrete-Event Systems.

Jan Komenda, Feng Lin, Jan H. van Schuppen

CoRR, 2019

A Unifying Approach to Maximal Permissiveness in Modular Control of Discrete-Event Systems.

Jan Komenda, Feng Lin, Jan H. van Schuppen

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

2018

Max-plus algebra in the history of discrete event systems.

Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond, Ton J. J. van den Boom

Annu. Rev. Control., 2018

2017

Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication.

Jan Komenda, Tomás Masopust

Discret. Event Dyn. Syst., 2017

2016

Distributed computation of supremal conditionally controllable sublanguages.

Jan Komenda, Tomás Masopust

Int. J. Control, 2016

Determinization of timed Petri nets behaviors.

Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond

Discret. Event Dyn. Syst., 2016

On a Distributed Computation of Supervisors in Modular Supervisory Control.

Jan Komenda, Tomás Masopust, Jan H. van Schuppen

CoRR, 2016

Control of an engineering-structured multilevel discrete-event system.

Jan Komenda, Tomás Masopust, Jan H. van Schuppen

Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Modular supervisory control of networked discrete-event systems.

Jan Komenda, Feng Lin

Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Distributed computation of maximally permissive supervisors in three-level relaxed coordination control of discrete-event systems.

Jan Komenda, Tomás Masopust, Jan H. van Schuppen

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

2015

Supervisory control of (max, +) automata: extensions towards applications.

Sébastien Lahaye, Jan Komenda, Jean-Louis Boimond

Int. J. Control, 2015

Compositions of (max, +) automata.

Sébastien Lahaye, Jan Komenda, Jean-Louis Boimond

Discret. Event Dyn. Syst., 2015

Coordination control of discrete-event systems revisited.

Jan Komenda, Tomás Masopust, Jan H. van Schuppen

Discret. Event Dyn. Syst., 2015

On the Computation of Controllable and Coobservable Sublanguages in Decentralized Supervisory Control.

Jan Komenda, Tomás Masopust

CoRR, 2015

Relative observability in coordination control.

Jan Komenda, Tomás Masopust, Jan H. van Schuppen

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

Multilevel coordination control of partially observed modular DES.

Jan Komenda, Tomás Masopust, Jan H. van Schuppen

Proceedings of the American Control Conference, 2015

2014

A Note on Relative Observability in Coordination Control.

Jan Komenda, Tomás Masopust, Jan H. van Schuppen

CoRR, 2014

Maximally Permissive Coordination Supervisory Control - Towards Necessary and Sufficient Conditions.

Jan Komenda, Tomás Masopust, Jan H. van Schuppen

CoRR, 2014

Modeling of Timed Petri Nets Using Deterministic (max, +) Automata.

Sébastien Lahaye, Jan Komenda, Jean-Louis Boimond

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Bottom-up approach to multilevel supervisory control with coordination.

Jan Komenda, Tomás Masopust, Jan H. van Schuppen

Proceedings of the 13th European Control Conference, 2014

Decentralized supervisory control with communicating supervisors based on top-down coordination control.

Jan Komenda, Tomás Masopust

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

2013

Multilevel coordination control of modular DES.

Jan Komenda, Tomás Masopust, Jan H. van Schuppen

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

A bridge between decentralized and coordination control.

Jan Komenda, Tomás Masopust

Proceedings of the 51st Annual Allerton Conference on Communication, 2013

Coordination Control of Distributed Discrete-Event Systems.

Jan Komenda, Tomás Masopust, Jan H. van Schuppen

Proceedings of the Control of Discrete-Event Systems, 2013

Supervisory Control of Distributed Discrete-Event Systems.

Jan Komenda, Tomás Masopust, Jan H. van Schuppen

Proceedings of the Control of Discrete-Event Systems, 2013

Supervisory Control with Partial Observations.

Jan Komenda

Proceedings of the Control of Discrete-Event Systems, 2013

2012

On conditional decomposability.

Jan Komenda, Tomás Masopust, Jan H. van Schuppen

Syst. Control. Lett., 2012

Supervisory control synthesis of discrete-event systems using a coordination scheme.

Jan Komenda, Tomás Masopust, Jan H. van Schuppen

Autom., 2012

On algorithms and extensions of coordination control of discrete-event systems.

Jan Komenda, Tomás Masopust, Jan H. van Schuppen

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

Decentralized control of product (max+)-automata using coinduction.

Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

2011

Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator.

Jan Komenda, Tomás Masopust, Jan H. van Schuppen

Syst. Control. Lett., 2011

Control of Distributed Systems: Tutorial and Overview.

Olivier Boutin, Jan Komenda, Tomás Masopust, Nicola Pambakian, Jan H. van Schuppen, Pia L. Kempker, André C. M. Ran

Eur. J. Control, 2011

Hierarchical control with partial observations: Sufficient conditions.

Olivier Boutin, Jan Komenda, Tomás Masopust, Klaus Schmidt, Jan H. van Schuppen

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Residuation of tropical series: Rationality issues.

Éric Badouel, Anne Bouillard, Philippe Darondeau, Jan Komenda

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

2010

Coinduction in Concurrent Timed Systems.

Jan Komenda

Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science, 2010

Modeling of interval P-time Petri nets using dioid algebra.

Pavel Spacek, Jan Komenda

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Synthesis of safe sublanguages satisfying global specification using coordination scheme for discrete-event systems.

Jan Komenda, Tomás Masopust, Jan H. van Schuppen

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Supremal normal sublanguages in hierarchical supervisory control.

Jan Komenda, Tomás Masopust

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Synchronous composition of interval weighted automata.

Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

2009

Supervisory Control of (max, +) Automata: A Behavioral Approach.

Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond

Discret. Event Dyn. Syst., 2009

Control of (max, +) automata: A single step approach.

Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond

Proceedings of the 10th European Control Conference, 2009

2008

Modular Control of Discrete-Event Systems With Coalgebra.

Jan Komenda, Jan H. van Schuppen

IEEE Trans. Autom. Control., 2008

Supervisory control of modular systems with global specification languages.

Jan Komenda, Jan H. van Schuppen, Benoit Gaudin, Hervé Marchand

Autom., 2008

2007

Control of discrete-event systems with modular or distributed structure.

Jan Komenda, Jan H. van Schuppen

Theor. Comput. Sci., 2007

Supervisory control of heap models using synchronous composition.

Jan Komenda, Jean-Louis Boimond, Sébastien Lahaye

Proceedings of the ICINCO 2007, 2007

2005

Control of Discrete-Event Systems with Partial Observations Using Coalgebra and Coinduction.

Jan Komenda, Jan H. van Schuppen

Discret. Event Dyn. Syst., 2005

Control of Modular and Distributed Discrete-Event Systems.

Jan Komenda, Jan H. van Schuppen

Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005

Modular Supervisory Control with General Indecomposable Specification Languages.

Jan Komenda, Jan H. van Schuppen, Benoit Gaudin, Hervé Marchand

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Supremal Sublanguages of General Specification Languages Arising in Modular Control of Discrete-Event Systems.

Jan Komenda, Jan H. van Schuppen

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

2003

Coinduction in Control of Partially Observed Discrete-Event Systems.

Jan Komenda

Proceedings of the 6th International Workshop on Coalgebraic Methods in Computer Science, 2003

Decentralized supervisory control with coalgebra.

Jan Komenda, Jan H. van Schuppen

Proceedings of the 7th European Control Conference, 2003

2001

Input-Output Relation and Time-Optimal Control of a Class of Hybrid Petri Nets Using <i>min</i>, +) Semiring.

Jan Komenda, Abdellah El Moudni, Noureddine Zerhouni

Discret. Event Dyn. Syst., 2001

1998

The Use of Conventional and Minplus Algebra for the Modeling of Hybrid Petri Nets.

Jan Komenda, Abdellah El Moudni, Nourredine Zerhouni

Cybern. Syst., 1998

Analysis of hybrid Petri nets based on the hybrid state equation.

Jan Komenda, Nourredine Zerhouni, Abdellah El Moudni

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

1997

On the Calculation of the Transfer Function of Timed Event Petri Nets.

Jan Komenda, Abdellah El Moudni, Nourredine Zerhouni, Michel Ferney

Cybern. Syst., 1997