Jan Komenda

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 35

Top Topics

Supervisory Control

Top Venues

Discret. Event Dyn. Syst.

IEEE Control. Syst. Lett.

Publications

Davide Zorzenon, Jan Komenda, Jörg Raisch
Switched max-plus linear-dual inequalities: cycle time analysis and applications. Discret. Event Dyn. Syst. 34 (1) (2024)
Bérangère Daviaud, Sébastien Lahaye, Mehdi Lhommeau, Jan Komenda
On the Existence of Simulations for Max-Plus Automata. IEEE Control. Syst. Lett. 8 (2024)
Jan Komenda, Tomás Masopust
Supervisory Control of Modular Discrete-Event Systems Under Partial Observation: Normality. IEEE Trans. Autom. Control. 69 (6) (2024)
Davide Zorzenon, Jan Komenda, Jörg Raisch
Switched max-plus linear-dual inequalities: cycle time analysis and applications. CoRR (2023)
Fei Wang, Jan Komenda, Feng Lin
Coordination Control of Discrete Event Systems under Cyber Attacks. CoRR (2023)
Jan Komenda, Tomás Masopust
Supervisory Control of Modular Discrete-Event Systems under Partial Observation: Normality. CoRR (2023)
Shaowen Miao, Aiwen Lai, Xiao Yu, Sébastien Lahaye, Jan Komenda
Verification of Detectability for Unambiguous Weighted Automata Using Self-Composition. CoDIT (2023)
Jan Komenda, Tomás Masopust
Hierarchical Supervisory Control Under Partial Observation: Normality. IEEE Trans. Autom. Control. 68 (12) (2023)
B. Daviaud, Sébastien Lahaye, Mehdi Lhommeau, Jan Komenda
Representation of Time Petri Nets using Interval Weighted Automata. CoDIT (2023)
Aiwen Lai, Sébastien Lahaye, Jan Komenda
Observer Construction for Polynomially Ambiguous Max-Plus Automata. IEEE Trans. Autom. Control. 67 (3) (2022)
Yingying Liu, Jan Komenda, Tomás Masopust, Zhiwu Li
Modular control of discrete-event systems using similarity. Autom. 142 (2022)
Jan Komenda, Tomás Masopust
Hierarchical and Modular Supervisory Control under Partial Observation: Normality. CoRR (2022)
Yingying Liu, Jan Komenda, Zhiwu Li
Supervisory Control of Multiagent Discrete-Event Systems With Partial Observation. IEEE Control. Syst. Lett. 6 (2022)
Aiwen Lai, Jan Komenda, Sébastien Lahaye
Diagnosability of Unambiguous Max-Plus Automata. IEEE Trans. Syst. Man Cybern. Syst. 52 (11) (2022)
Davide Zorzenon, Jan Komenda, Jörg Raisch
The non-positive circuit weight problem in parametric graphs: A solution based on dioid theory. Discret. Appl. Math. 315 (2022)
Davide Zorzenon, Jan Komenda, Jörg Raisch
Switched Max-Plus Linear-Dual Inequalities: Application in Scheduling of Multi-Product Processing Networks. CoRR (2022)
Davide Zorzenon, Jan Komenda, Jörg Raisch
Periodic Trajectories in P-Time Event Graphs and the Non-Positive Circuit Weight Problem. IEEE Control. Syst. Lett. 6 (2022)
Davide Zorzenon, Jan Komenda, Jörg Raisch
The non-positive circuit weight problem in parametric graphs: a fast solution based on dioid theory. CoRR (2021)
Yingying Liu, Jan Komenda, Zhiwu Li
Supervisory Control of Multi-Agent Discrete-Event Systems with Partial Observation. CoRR (2021)
Pavel Spacek, Jan Komenda, Sébastien Lahaye
Analysis of P-time event graphs in (max, +) and (min, +) semirings. Int. J. Syst. Sci. 52 (4) (2021)
Davide Zorzenon, Jan Komenda, Jörg Raisch
Periodic trajectories in P-time event graphs and the non-positive circuit weight problem. CoRR (2021)
Davide Zorzenon, Jan Komenda, Jörg Raisch
Bounded Consistency of P-Time Event Graphs. CDC (2020)
Sébastien Lahaye, Aiwen Lai, Jan Komenda, Jean-Louis Boimond
A contribution to the determinization of max-plus automata. Discret. Event Dyn. Syst. 30 (1) (2020)
Pavel Spacek, Jan Komenda, Sébastien Lahaye
Analysis of P-time Event Graphs in (Max, +) and (Min, +) Algebras. CoRR (2020)
Jan Komenda, Tomás Masopust
Conditions for Hierarchical Supervisory Control under Partial Observation. CoRR (2019)
Jan Komenda, Feng Lin, Jan H. van Schuppen
A Uniform Approach to Maximal Permissiveness in Modular Control of Discrete-Event Systems. CoRR (2019)
Jan Komenda, Feng Lin, Jan H. van Schuppen
A Unifying Approach to Maximal Permissiveness in Modular Control of Discrete-Event Systems. CDC (2019)
Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond, Ton J. J. van den Boom
Max-plus algebra in the history of discrete event systems. Annu. Rev. Control. 45 (2018)
Jan Komenda, Tomás Masopust
Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication. Discret. Event Dyn. Syst. 27 (4) (2017)
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
Control of an engineering-structured multilevel discrete-event system. WODES (2016)
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
On a Distributed Computation of Supervisors in Modular Supervisory Control. CoRR (2016)
Jan Komenda, Feng Lin
Modular supervisory control of networked discrete-event systems. WODES (2016)
Jan Komenda, Tomás Masopust
Distributed computation of supremal conditionally controllable sublanguages. Int. J. Control 89 (2) (2016)
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
Distributed computation of maximally permissive supervisors in three-level relaxed coordination control of discrete-event systems. CDC (2016)
Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond
Determinization of timed Petri nets behaviors. Discret. Event Dyn. Syst. 26 (3) (2016)
Jan Komenda, Tomás Masopust
On the Computation of Controllable and Coobservable Sublanguages in Decentralized Supervisory Control. CoRR (2015)
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
Relative observability in coordination control. CASE (2015)
Sébastien Lahaye, Jan Komenda, Jean-Louis Boimond
Compositions of (max, +) automata. Discret. Event Dyn. Syst. 25 (1-2) (2015)
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
Multilevel coordination control of partially observed modular DES. ACC (2015)
Sébastien Lahaye, Jan Komenda, Jean-Louis Boimond
Supervisory control of (max, +) automata: extensions towards applications. Int. J. Control 88 (12) (2015)
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
Coordination control of discrete-event systems revisited. Discret. Event Dyn. Syst. 25 (1-2) (2015)
Sébastien Lahaye, Jan Komenda, Jean-Louis Boimond
Modeling of Timed Petri Nets Using Deterministic (max, +) Automata. WODES (2014)
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
Bottom-up approach to multilevel supervisory control with coordination. ECC (2014)
Jan Komenda, Tomás Masopust
Decentralized Supervisory Control with Communicating Supervisors Based on Top-Down Coordination Control. CoRR (2014)
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
A Note on Relative Observability in Coordination Control. CoRR (2014)
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
Maximally Permissive Coordination Supervisory Control - Towards Necessary and Sufficient Conditions. CoRR (2014)
Jan Komenda, Tomás Masopust
Decentralized supervisory control with communicating supervisors based on top-down coordination control. CDC (2014)
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
Multilevel coordination control of modular DES. CDC (2013)
Jan Komenda, Tomás Masopust
A bridge between decentralized and coordination control. Allerton (2013)
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
Coordination Control of Discrete-Event Systems Revisited. CoRR (2013)
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
On Conditional Decomposability CoRR (2012)
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
On algorithms and extensions of coordination control of discrete-event systems. WODES (2012)
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
On conditional decomposability. Syst. Control. Lett. 61 (12) (2012)
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
On Algorithms and Extensions of Coordination Control of Discrete-Event Systems CoRR (2012)
Sébastien Lahaye, Jan Komenda, Jean-Louis Boimond
Compositions of (max, +) automata. WODES (2012)
Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond
Decentralized control of product (max+)-automata using coinduction. WODES (2012)
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
Supervisory control synthesis of discrete-event systems using a coordination scheme. Autom. 48 (2) (2012)
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator. Syst. Control. Lett. 60 (7) (2011)
Olivier Boutin, Jan Komenda, Tomás Masopust, Klaus Schmidt, Jan H. van Schuppen
Hierarchical control with partial observations: Sufficient conditions. CDC/ECC (2011)
Olivier Boutin, Jan Komenda, Tomás Masopust, Nicola Pambakian, Jan H. van Schuppen, Pia L. Kempker, André C. M. Ran
Control of Distributed Systems: Tutorial and Overview. Eur. J. Control 17 (5-6) (2011)
Éric Badouel, Anne Bouillard, Philippe Darondeau, Jan Komenda
Residuation of tropical series: Rationality issues. CDC/ECC (2011)
Pavel Spacek, Jan Komenda
Modeling of interval P-time Petri nets using dioid algebra. WODES (2010)
Jan Komenda
Coinduction in Concurrent Timed Systems. CMCS (2010)
Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond
Synchronous composition of interval weighted automata. WODES (2010)
Jan Komenda, Tomás Masopust
Supremal normal sublanguages in hierarchical supervisory control. WODES (2010)
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
Supervisory Control Synthesis of Discrete-Event Systems using Coordination Scheme CoRR (2010)
Jan Komenda, Tomás Masopust, Jan H. van Schuppen
Synthesis of safe sublanguages satisfying global specification using coordination scheme for discrete-event systems. WODES (2010)
Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond
Supervisory Control of (max, +) Automata: A Behavioral Approach. Discret. Event Dyn. Syst. 19 (4) (2009)
Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond
Control of (max, +) automata: A single step approach. ECC (2009)
Jan Komenda, Jan H. van Schuppen, Benoit Gaudin, Hervé Marchand
Supervisory control of modular systems with global specification languages. Autom. 44 (4) (2008)
Jan Komenda, Jan H. van Schuppen
Modular Control of Discrete-Event Systems With Coalgebra. IEEE Trans. Autom. Control. 53 (2) (2008)
Jan Komenda, Jan H. van Schuppen
Control of discrete-event systems with modular or distributed structure. Theor. Comput. Sci. 388 (1-3) (2007)
Jan Komenda, Jean-Louis Boimond, Sébastien Lahaye
Supervisory control of heap models using synchronous composition. ICINCO-ICSO (2007)
Jan Komenda, Jan H. van Schuppen, Benoit Gaudin, Hervé Marchand
Modular Supervisory Control with General Indecomposable Specification Languages. CDC/ECC (2005)
Jan Komenda, Jan H. van Schuppen
Supremal Sublanguages of General Specification Languages Arising in Modular Control of Discrete-Event Systems. CDC/ECC (2005)
Jan Komenda, Jan H. van Schuppen
Control of Modular and Distributed Discrete-Event Systems. FMCO (2005)
Jan Komenda, Jan H. van Schuppen
Control of Discrete-Event Systems with Partial Observations Using Coalgebra and Coinduction. Discret. Event Dyn. Syst. 15 (3) (2005)
Jan Komenda, Jan H. van Schuppen
Decentralized supervisory control with coalgebra. ECC (2003)
Jan Komenda
Coinduction in Control of Partially Observed Discrete-Event Systems. CMCS (2003)
Jan Komenda, Abdellah El Moudni, Noureddine Zerhouni
, +) Semiring. Discret. Event Dyn. Syst. 11 (1-2) (2001)
Jan Komenda, Nourredine Zerhouni, Abdellah El Moudni
Analysis of hybrid Petri nets based on the hybrid state equation. SMC (1998)
Jan Komenda, Abdellah El Moudni, Nourredine Zerhouni
The Use of Conventional and Minplus Algebra for the Modeling of Hybrid Petri Nets. Cybern. Syst. 29 (8) (1998)
Jan Komenda, Abdellah El Moudni, Nourredine Zerhouni, Michel Ferney
On the Calculation of the Transfer Function of Timed Event Petri Nets. Cybern. Syst. 28 (7) (1997)
Jan Komenda, Abdellah El Moudni, Noureddine Zerhouni, Michel Ferney
On the calculation of transfer function of timed event Petri nets. ICRA (1996)