On the Calculation of the Transfer Function of Timed Event Petri Nets. - Jan Komenda; Abdellah El Moudni; Nourredine Zerhouni; Michel Ferney (Cybern. Syst., 1997)

Analysis of hybrid Petri nets based on the hybrid state equation. - Jan Komenda; Nourredine Zerhouni; Abdellah El Moudni (SMC, 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)

Input-Output Relation and Time-Optimal Control of a Class of Hybrid Petri Nets Using min, +) Semiring. - Jan Komenda; Abdellah El Moudni; Noureddine Zerhouni (Discret. Event Dyn. Syst., 2001)

Decentralized supervisory control with coalgebra. - Jan Komenda; Jan H. van Schuppen (ECC, 2003)

Coinduction in Control of Partially Observed Discrete-Event Systems. - Jan Komenda (CMCS, 2003)

Supremal Sublanguages of General Specification Languages Arising in Modular Control of Discrete-Event Systems. - Jan Komenda; Jan H. van Schuppen (CDC/ECC, 2005)

Modular Supervisory Control with General Indecomposable Specification Languages. - Jan Komenda; Jan H. van Schuppen; Benoit Gaudin; Hervé Marchand (CDC/ECC, 2005)

Control of Modular and Distributed Discrete-Event Systems. - Jan Komenda; Jan H. van Schuppen (FMCO, 2005)

Control of Discrete-Event Systems with Partial Observations Using Coalgebra and Coinduction. - Jan Komenda; Jan H. van Schuppen (Discret. Event Dyn. Syst., 2005)

Supervisory control of heap models using synchronous composition. - Jan Komenda; Jean-Louis Boimond; Sébastien Lahaye (ICINCO-ICSO, 2007)

Control of discrete-event systems with modular or distributed structure. - Jan Komenda; Jan H. van Schuppen (Theor. Comput. Sci., 2007)

Supervisory control of modular systems with global specification languages. - Jan Komenda; Jan H. van Schuppen; Benoit Gaudin; Hervé Marchand (Autom., 2008)

Modular Control of Discrete-Event Systems With Coalgebra. - Jan Komenda; Jan H. van Schuppen (IEEE Trans. Autom. Control., 2008)

Control of (max, +) automata: A single step approach. - Jan Komenda; Sébastien Lahaye; Jean-Louis Boimond (ECC, 2009)

Supervisory Control of (max, +) Automata: A Behavioral Approach. - Jan Komenda; Sébastien Lahaye; Jean-Louis Boimond (Discret. Event Dyn. Syst., 2009)

Synchronous composition of interval weighted automata. - Jan Komenda; Sébastien Lahaye; Jean-Louis Boimond (WODES, 2010)

Supremal normal sublanguages in hierarchical supervisory control. - Jan Komenda; Tomás Masopust (WODES, 2010)

Synthesis of safe sublanguages satisfying global specification using coordination scheme for discrete-event systems. - Jan Komenda; Tomás Masopust; Jan H. van Schuppen (WODES, 2010)

Modeling of interval P-time Petri nets using dioid algebra. - Pavel Spacek; Jan Komenda (WODES, 2010)

Coinduction in Concurrent Timed Systems. - Jan Komenda (CMCS@ETAPS, 2010)

Residuation of tropical series: Rationality issues. - Éric Badouel; Anne Bouillard; Philippe Darondeau; Jan Komenda (CDC/ECC, 2011)

Hierarchical control with partial observations: Sufficient conditions. - Olivier Boutin; Jan Komenda; Tomás Masopust; Klaus Schmidt 002; Jan H. van Schuppen (CDC/ECC, 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)

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)

Decentralized control of product (max+)-automata using coinduction. - Jan Komenda; Sébastien Lahaye; Jean-Louis Boimond (WODES, 2012)

On algorithms and extensions of coordination control of discrete-event systems. - Jan Komenda; Tomás Masopust; Jan H. van Schuppen (WODES, 2012)

Supervisory control synthesis of discrete-event systems using a coordination scheme. - Jan Komenda; Tomás Masopust; Jan H. van Schuppen (Autom., 2012)

On conditional decomposability. - Jan Komenda; Tomás Masopust; Jan H. van Schuppen (Syst. Control. Lett., 2012)

Supervisory Control with Partial Observations. - Jan Komenda (Control of Discrete-Event Systems, 2013)

Supervisory Control of Distributed Discrete-Event Systems. - Jan Komenda; Tomás Masopust; Jan H. van Schuppen (Control of Discrete-Event Systems, 2013)

Coordination Control of Distributed Discrete-Event Systems. - Jan Komenda; Tomás Masopust; Jan H. van Schuppen (Control of Discrete-Event Systems, 2013)

A bridge between decentralized and coordination control. - Jan Komenda; Tomás Masopust (Allerton, 2013)

Multilevel coordination control of modular DES. - Jan Komenda; Tomás Masopust; Jan H. van Schuppen (CDC, 2013)

Decentralized supervisory control with communicating supervisors based on top-down coordination control. - Jan Komenda; Tomás Masopust (CDC, 2014)

Bottom-up approach to multilevel supervisory control with coordination. - Jan Komenda; Tomás Masopust; Jan H. van Schuppen (ECC, 2014)

Modeling of Timed Petri Nets Using Deterministic (max, +) Automata. - Sébastien Lahaye; Jan Komenda; Jean-Louis Boimond (WODES, 2014)

Maximally Permissive Coordination Supervisory Control - Towards Necessary and Sufficient Conditions. - Jan Komenda; Tomás Masopust; Jan H. van Schuppen (CoRR, 2014)

A Note on Relative Observability in Coordination Control. - Jan Komenda; Tomás Masopust; Jan H. van Schuppen (CoRR, 2014)

Multilevel coordination control of partially observed modular DES. - Jan Komenda; Tomás Masopust; Jan H. van Schuppen (ACC, 2015)

Relative observability in coordination control. - Jan Komenda; Tomás Masopust; Jan H. van Schuppen (CASE, 2015)

On the Computation of Controllable and Coobservable Sublanguages in Decentralized Supervisory Control. - Jan Komenda; Tomás Masopust (CoRR, 2015)

Coordination control of discrete-event systems revisited. - Jan Komenda; Tomás Masopust; Jan H. van Schuppen (Discret. Event Dyn. Syst., 2015)

Compositions of (max, +) automata. - Sébastien Lahaye; Jan Komenda; Jean-Louis Boimond (Discret. Event Dyn. Syst., 2015)

Supervisory control of (max, +) automata: extensions towards applications. - Sébastien Lahaye; Jan Komenda; Jean-Louis Boimond (Int. J. Control, 2015)

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 (CDC, 2016)

Modular supervisory control of networked discrete-event systems. - Jan Komenda; Feng Lin 001 (WODES, 2016)

Control of an engineering-structured multilevel discrete-event system. - Jan Komenda; Tomás Masopust; Jan H. van Schuppen (WODES, 2016)

On a Distributed Computation of Supervisors in Modular Supervisory Control. - Jan Komenda; Tomás Masopust; Jan H. van Schuppen (CoRR, 2016)

Determinization of timed Petri nets behaviors. - Jan Komenda; Sébastien Lahaye; Jean-Louis Boimond (Discret. Event Dyn. Syst., 2016)

Distributed computation of supremal conditionally controllable sublanguages. - Jan Komenda; Tomás Masopust (Int. J. Control, 2016)

Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication. - Jan Komenda; Tomás Masopust (Discret. Event Dyn. Syst., 2017)

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)

A Unifying Approach to Maximal Permissiveness in Modular Control of Discrete-Event Systems. - Jan Komenda; Feng Lin 001; Jan H. van Schuppen (CDC, 2019)

A Uniform Approach to Maximal Permissiveness in Modular Control of Discrete-Event Systems. - Jan Komenda; Feng Lin 001; Jan H. van Schuppen (CoRR, 2019)

Conditions for Hierarchical Supervisory Control under Partial Observation. - Jan Komenda; Tomás Masopust (CoRR, 2019)

Bounded Consistency of P-Time Event Graphs. - Davide Zorzenon; Jan Komenda; Jörg Raisch (CDC, 2020)

Analysis of P-time Event Graphs in (Max, +) and (Min, +) Algebras. - Pavel Spacek; Jan Komenda; Sébastien Lahaye (CoRR, 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)

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)

Supervisory Control of Multi-Agent Discrete-Event Systems with Partial Observation. - Yingying Liu; Jan Komenda; Zhiwu Li 001 (CoRR, 2021)

Analysis of P-time event graphs in (max, +) and (min, +) semirings. - Pavel Spacek; Jan Komenda; Sébastien Lahaye (Int. J. Syst. Sci., 2021)

Modular control of discrete-event systems using similarity. - Yingying Liu; Jan Komenda; Tomás Masopust; Zhiwu Li 001 (Autom., 2022)

Hierarchical and Modular Supervisory Control under Partial Observation: Normality. - Jan Komenda; Tomás Masopust (CoRR, 2022)

Switched Max-Plus Linear-Dual Inequalities: Application in Scheduling of Multi-Product Processing Networks. - Davide Zorzenon; Jan Komenda; Jörg Raisch (CoRR, 2022)

Supervisory Control of Multiagent Discrete-Event Systems With Partial Observation. - Yingying Liu; Jan Komenda; Zhiwu Li 001 (IEEE Control. Syst. Lett., 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)

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)

Observer Construction for Polynomially Ambiguous Max-Plus Automata. - Aiwen Lai; Sébastien Lahaye; Jan Komenda (IEEE Trans. Autom. Control., 2022)

Diagnosability of Unambiguous Max-Plus Automata. - Aiwen Lai; Jan Komenda; Sébastien Lahaye (IEEE Trans. Syst. Man Cybern. Syst., 2022)

Representation of Time Petri Nets using Interval Weighted Automata. - Bérangère Daviaud; Sébastien Lahaye; Mehdi Lhommeau; Jan Komenda (CoDIT, 2023)

Verification of Detectability for Unambiguous Weighted Automata Using Self-Composition. - Shaowen Miao; Aiwen Lai; Xiao Yu 002; Sébastien Lahaye; Jan Komenda (CoDIT, 2023)

Coordination Control of Discrete Event Systems under Cyber Attacks. - Fei Wang 015; Jan Komenda; Feng Lin 001 (CoRR, 2023)

Hierarchical Supervisory Control Under Partial Observation: Normality. - Jan Komenda; Tomás Masopust (IEEE Trans. Autom. Control., 2023)

Initial-and - Final-State Detectability of Nondeterministic Finite-State Automata. - Liren Shen; Shaowen Miao; Aiwen Lai; Jan Komenda; Sébastien Lahaye (ASCC, 2024)

On the Existence of Simulations for Max-Plus Automata. - Bérangère Daviaud; Sébastien Lahaye; Mehdi Lhommeau; Jan Komenda (IEEE Control. Syst. Lett., 2024)

Decentralized Fault Diagnosis for Constant-Time Automata. - Shaowen Miao; Aiwen Lai; Jan Komenda; Sébastien Lahaye (IEEE Control. Syst. Lett., 2024)

Switched max-plus linear-dual inequalities: cycle time analysis and applications. - Davide Zorzenon; Jan Komenda; Jörg Raisch (Discret. Event Dyn. Syst., 2024)

Supervisory Control of Modular Discrete-Event Systems Under Partial Observation: Normality. - Jan Komenda; Tomás Masopust (IEEE Trans. Autom. Control., 2024)

Always guarding you: Strong initial-and-final-state opacity of discrete-event systems. - Shaowen Miao; Aiwen Lai; Jan Komenda (Autom., 2025)

Active Diagnosis of Time-Interval Automata: Time Perspectives. - Shaowen Miao; Jan Komenda; Aiwen Lai (IEEE Trans Autom. Sci. Eng., 2025)