Jan Komenda

97 papers A* 1B 1C 3Journal 60Unranked 29
YearRankTypeTitle / Venue / Authors
2026 J jnl
Diagnosability verification for automata and Petri nets: Can we do better?
Autom.
Shaowen Miao, Petr Jancar, Jan Komenda, Tomás Masopust, Aiwen Lai
2026 J jnl
Enforcement of Critical Observability in Modular Discrete-Event Systems.
IEEE Trans. Autom. Control.
Shaowen Miao, Jan Komenda, Tomás Masopust, Aiwen Lai
2026 J jnl
Hierarchical supervisory control of networked and cyber-attacked discrete-event systems.
Autom.
Shaowen Miao, Jan Komenda, Feng Lin
2026 J jnl
On clock interval automata for a class of time PNs.
Discret. Event Dyn. Syst.
Jan Komenda, Dimitri Lefebvre, Olivier H. Roux
2026 J jnl
Weakly strong semantics of Time Petri Nets and its algebraic description.
Discret. Event Dyn. Syst.
Jan Komenda, Sébastien Lahaye, Rémi Parrot, Olivier H. Roux
2025 J jnl
Active Diagnosis of Time-Interval Automata: Time Perspectives.
IEEE Trans Autom. Sci. Eng.
Shaowen Miao, Jan Komenda, Aiwen Lai
2025 J jnl
Active prognosis and diagnosis of modular discrete-event systems.
CoRR
Shaopeng Hu, Shaowen Miao, Jan Komenda, Zhi-Wu Li
2025 J jnl
Always guarding you: Strong initial-and-final-state opacity of discrete-event systems.
Autom.
Shaowen Miao, Aiwen Lai, Jan Komenda
2024 J jnl
Decentralized Fault Diagnosis for Constant-Time Automata.
IEEE Control. Syst. Lett.
Shaowen Miao, Aiwen Lai, Jan Komenda, Sébastien Lahaye
2024 — conf
Initial-and - Final-State Detectability of Nondeterministic Finite-State Automata.
ASCC
Liren Shen, Shaowen Miao, Aiwen Lai, Jan Komenda, Sébastien Lahaye
2024 J jnl
On the Existence of Simulations for Max-Plus Automata.
IEEE Control. Syst. Lett.
Bérangère Daviaud, Sébastien Lahaye, Mehdi Lhommeau, Jan Komenda
2024 J jnl
Supervisory Control of Modular Discrete-Event Systems Under Partial Observation: Normality.
IEEE Trans. Autom. Control.
Jan Komenda, Tomás Masopust
2024 J jnl
Switched max-plus linear-dual inequalities: cycle time analysis and applications.
Discret. Event Dyn. Syst.
Davide Zorzenon, Jan Komenda, Jörg Raisch
2023 J jnl
Coordination Control of Discrete Event Systems under Cyber Attacks.
CoRR
Fei Wang, Jan Komenda, Feng Lin
2023 J jnl
Hierarchical Supervisory Control Under Partial Observation: Normality.
IEEE Trans. Autom. Control.
Jan Komenda, Tomás Masopust
2023 C conf
Representation of Time Petri Nets using Interval Weighted Automata.
CoDIT
Bérangère Daviaud, Sébastien Lahaye, Mehdi Lhommeau, Jan Komenda
2023 J jnl
Supervisory Control of Modular Discrete-Event Systems under Partial Observation: Normality.
CoRR
Jan Komenda, Tomás Masopust
2023 J jnl
Switched max-plus linear-dual inequalities: cycle time analysis and applications.
CoRR
Davide Zorzenon, Jan Komenda, Jörg Raisch
2023 C conf
Verification of Detectability for Unambiguous Weighted Automata Using Self-Composition.
CoDIT
Shaowen Miao, Aiwen Lai, Xiao Yu, Sébastien Lahaye, Jan Komenda
2022 J jnl
Diagnosability of Unambiguous Max-Plus Automata.
IEEE Trans. Syst. Man Cybern. Syst.
Aiwen Lai, Jan Komenda, Sébastien Lahaye
2022 J jnl
Hierarchical and Modular Supervisory Control under Partial Observation: Normality.
CoRR
Jan Komenda, Tomás Masopust
2022 J jnl
Modular control of discrete-event systems using similarity.
Autom.
Yingying Liu, Jan Komenda, Tomás Masopust, ZhiWu Li
2022 J jnl
Observer Construction for Polynomially Ambiguous Max-Plus Automata.
IEEE Trans. Autom. Control.
Aiwen Lai, Sébastien Lahaye, Jan Komenda
2022 J jnl
Periodic Trajectories in P-Time Event Graphs and the Non-Positive Circuit Weight Problem.
IEEE Control. Syst. Lett.
Davide Zorzenon, Jan Komenda, Jörg Raisch
2022 J jnl
Supervisory Control of Multiagent Discrete-Event Systems With Partial Observation.
IEEE Control. Syst. Lett.
Yingying Liu, Jan Komenda, ZhiWu Li
2022 J jnl
Switched Max-Plus Linear-Dual Inequalities: Application in Scheduling of Multi-Product Processing Networks.
CoRR
Davide Zorzenon, Jan Komenda, Jörg Raisch
2022 J jnl
The non-positive circuit weight problem in parametric graphs: A solution based on dioid theory.
Discret. Appl. Math.
Davide Zorzenon, Jan Komenda, Jörg Raisch
2021 J jnl
Analysis of P-time event graphs in (max, +) and (min, +) semirings.
Int. J. Syst. Sci.
Pavel Spacek, Jan Komenda, Sébastien Lahaye
2021 J jnl
Periodic trajectories in P-time event graphs and the non-positive circuit weight problem.
CoRR
Davide Zorzenon, Jan Komenda, Jörg Raisch
2021 J jnl
Supervisory Control of Multi-Agent Discrete-Event Systems with Partial Observation.
CoRR
Yingying Liu, Jan Komenda, ZhiWu Li
2021 J jnl
The non-positive circuit weight problem in parametric graphs: a fast solution based on dioid theory.
CoRR
Davide Zorzenon, Jan Komenda, Jörg Raisch
2020 J jnl
A contribution to the determinization of max-plus automata.
Discret. Event Dyn. Syst.
Sébastien Lahaye, Aiwen Lai, Jan Komenda, Jean-Louis Boimond
2020 J jnl
Analysis of P-time Event Graphs in (Max, +) and (Min, +) Algebras.
CoRR
Pavel Spacek, Jan Komenda, Sébastien Lahaye
2020 — conf
Bounded Consistency of P-Time Event Graphs.
CDC
Davide Zorzenon, Jan Komenda, Jörg Raisch
2019 J jnl
A Uniform Approach to Maximal Permissiveness in Modular Control of Discrete-Event Systems.
CoRR
Jan Komenda, Feng Lin, Jan H. van Schuppen
2019 — conf
A Unifying Approach to Maximal Permissiveness in Modular Control of Discrete-Event Systems.
CDC
Jan Komenda, Feng Lin, Jan H. van Schuppen
2019 J jnl
Conditions for Hierarchical Supervisory Control under Partial Observation.
CoRR
Jan Komenda, Tomás Masopust
2018 J jnl
Max-plus algebra in the history of discrete event systems.
Annu. Rev. Control.
Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond, Ton J. J. van den Boom
2017 J jnl
Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication.
Discret. Event Dyn. Syst.
Jan Komenda, Tomás Masopust
2016 — conf
Control of an engineering-structured multilevel discrete-event system.
WODES
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
2016 J jnl
Determinization of timed Petri nets behaviors.
Discret. Event Dyn. Syst.
Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond
2016 — conf
Distributed computation of maximally permissive supervisors in three-level relaxed coordination control of discrete-event systems.
CDC
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
2016 J jnl
Distributed computation of supremal conditionally controllable sublanguages.
Int. J. Control
Jan Komenda, Tomás Masopust
2016 — conf
Modular supervisory control of networked discrete-event systems.
WODES
Jan Komenda, Feng Lin
2016 J jnl
On a Distributed Computation of Supervisors in Modular Supervisory Control.
CoRR
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
2015 J jnl
Compositions of (max, +) automata.
Discret. Event Dyn. Syst.
Sébastien Lahaye, Jan Komenda, Jean-Louis Boimond
2015 J jnl
Coordination control of discrete-event systems revisited.
Discret. Event Dyn. Syst.
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
2015 C conf
Multilevel coordination control of partially observed modular DES.
ACC
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
2015 J jnl
On the Computation of Controllable and Coobservable Sublanguages in Decentralized Supervisory Control.
CoRR
Jan Komenda, Tomás Masopust
2015 — conf
Relative observability in coordination control.
CASE
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
2015 J jnl
Supervisory control of (max, +) automata: extensions towards applications.
Int. J. Control
Sébastien Lahaye, Jan Komenda, Jean-Louis Boimond
2014 J jnl
A Note on Relative Observability in Coordination Control.
CoRR
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
2014 — conf
Bottom-up approach to multilevel supervisory control with coordination.
ECC
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
2014 J jnl
Decentralized Supervisory Control with Communicating Supervisors Based on Top-Down Coordination Control.
CoRR
Jan Komenda, Tomás Masopust
2014 — conf
Decentralized supervisory control with communicating supervisors based on top-down coordination control.
CDC
Jan Komenda, Tomás Masopust
2014 J jnl
Maximally Permissive Coordination Supervisory Control - Towards Necessary and Sufficient Conditions.
CoRR
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
2014 — conf
Modeling of Timed Petri Nets Using Deterministic (max, +) Automata.
WODES
Sébastien Lahaye, Jan Komenda, Jean-Louis Boimond
2013 — conf
A bridge between decentralized and coordination control.
Allerton
Jan Komenda, Tomás Masopust
2013 J jnl
Coordination Control of Discrete-Event Systems Revisited.
CoRR
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
2013 — ch.
Coordination Control of Distributed Discrete-Event Systems.
Control of Discrete-Event Systems
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
2013 — conf
Multilevel coordination control of modular DES.
CDC
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
2013 — ch.
Supervisory Control of Distributed Discrete-Event Systems.
Control of Discrete-Event Systems
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
2013 — ch.
Supervisory Control with Partial Observations.
Control of Discrete-Event Systems
Jan Komenda
2012 — conf
Compositions of (max, +) automata.
WODES
Sébastien Lahaye, Jan Komenda, Jean-Louis Boimond
2012 — conf
Decentralized control of product (max+)-automata using coinduction.
WODES
Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond
2012 J jnl
On Algorithms and Extensions of Coordination Control of Discrete-Event Systems
CoRR
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
2012 J jnl
On Conditional Decomposability
CoRR
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
2012 — conf
On algorithms and extensions of coordination control of discrete-event systems.
WODES
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
2012 J jnl
On conditional decomposability.
Syst. Control. Lett.
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
2012 J jnl
Supervisory control synthesis of discrete-event systems using a coordination scheme.
Autom.
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
2011 J jnl
Control of Distributed Systems: Tutorial and Overview.
Eur. J. Control
Olivier Boutin, Jan Komenda, Tomás Masopust, Nicola Pambakian, Jan H. van Schuppen, Pia L. Kempker, André C. M. Ran
2011 — conf
Hierarchical control with partial observations: Sufficient conditions.
CDC/ECC
Olivier Boutin, Jan Komenda, Tomás Masopust, Klaus Schmidt, Jan H. van Schuppen
2011 — conf
Residuation of tropical series: Rationality issues.
CDC/ECC
Éric Badouel, Anne Bouillard, Philippe Darondeau, Jan Komenda
2011 J jnl
Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator.
Syst. Control. Lett.
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
2010 — conf
Coinduction in Concurrent Timed Systems.
CMCS@ETAPS
Jan Komenda
2010 — conf
Modeling of interval P-time Petri nets using dioid algebra.
WODES
Pavel Spacek, Jan Komenda
2010 J jnl
Supervisory Control Synthesis of Discrete-Event Systems using Coordination Scheme
CoRR
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
2010 — conf
Supremal normal sublanguages in hierarchical supervisory control.
WODES
Jan Komenda, Tomás Masopust
2010 — conf
Synchronous composition of interval weighted automata.
WODES
Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond
2010 — conf
Synthesis of safe sublanguages satisfying global specification using coordination scheme for discrete-event systems.
WODES
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
2009 — conf
Control of (max, +) automata: A single step approach.
ECC
Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond
2009 J jnl
Supervisory Control of (max, +) Automata: A Behavioral Approach.
Discret. Event Dyn. Syst.
Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond
2008 J jnl
Modular Control of Discrete-Event Systems With Coalgebra.
IEEE Trans. Autom. Control.
Jan Komenda, Jan H. van Schuppen
2008 J jnl
Supervisory control of modular systems with global specification languages.
Autom.
Jan Komenda, Jan H. van Schuppen, Benoit Gaudin, Hervé Marchand
2007 J jnl
Control of discrete-event systems with modular or distributed structure.
Theor. Comput. Sci.
Jan Komenda, Jan H. van Schuppen
2007 — conf
Supervisory control of heap models using synchronous composition.
ICINCO-ICSO
Jan Komenda, Jean-Louis Boimond, Sébastien Lahaye
2005 J jnl
Control of Discrete-Event Systems with Partial Observations Using Coalgebra and Coinduction.
Discret. Event Dyn. Syst.
Jan Komenda, Jan H. van Schuppen
2005 — conf
Control of Modular and Distributed Discrete-Event Systems.
FMCO
Jan Komenda, Jan H. van Schuppen
2005 — conf
Modular Supervisory Control with General Indecomposable Specification Languages.
CDC/ECC
Jan Komenda, Jan H. van Schuppen, Benoit Gaudin, Hervé Marchand
2005 — conf
Supremal Sublanguages of General Specification Languages Arising in Modular Control of Discrete-Event Systems.
CDC/ECC
Jan Komenda, Jan H. van Schuppen
2003 — conf
Coinduction in Control of Partially Observed Discrete-Event Systems.
CMCS
Jan Komenda
2003 — conf
Decentralized supervisory control with coalgebra.
ECC
Jan Komenda, Jan H. van Schuppen
2001 J jnl
Input-Output Relation and Time-Optimal Control of a Class of Hybrid Petri Nets Using
Discret. Event Dyn. Syst.
Jan Komenda, Abdellah El Moudni, Noureddine Zerhouni
1998 B conf
Analysis of hybrid Petri nets based on the hybrid state equation.
SMC
Jan Komenda, Nourredine Zerhouni, Abdellah El Moudni
1998 J jnl
The Use of Conventional and Minplus Algebra for the Modeling of Hybrid Petri Nets.
Cybern. Syst.
Jan Komenda, Abdellah El Moudni, Nourredine Zerhouni
1997 J jnl
On the Calculation of the Transfer Function of Timed Event Petri Nets.
Cybern. Syst.
Jan Komenda, Abdellah El Moudni, Nourredine Zerhouni, Michel Ferney
1996 A* conf
On the calculation of transfer function of timed event Petri nets.
ICRA
Jan Komenda, Abdellah El Moudni, Noureddine Zerhouni, Michel Ferney