Jan Komenda

Autom., 2026

2025

Active Diagnosis of Time-Interval Automata: Time Perspectives.

[BibT_eX]

[DOI]

Shaowen Miao

IEEE Trans Autom. Sci. Eng., 2025

Always guarding you: Strong initial-and-final-state opacity of discrete-event systems.

[BibT_eX]

[DOI]

Shaowen Miao

Autom., 2025

2024

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

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., June, 2024

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

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2024

Decentralized Fault Diagnosis for Constant-Time Automata.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2024

On the Existence of Simulations for Max-Plus Automata.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2024

Initial-and - Final-State Detectability of Nondeterministic Finite-State Automata.

[BibT_eX]

[DOI]

Proceedings of the 14th Asian Control Conference, 2024

2023

Hierarchical Supervisory Control Under Partial Observation: Normality.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., December, 2023

Coordination Control of Discrete Event Systems under Cyber Attacks.

[BibT_eX]

[DOI]

Fei Wang

CoRR, 2023

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

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Control, 2023

Representation of Time Petri Nets using Interval Weighted Automata.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Control, 2023

2022

Diagnosability of Unambiguous Max-Plus Automata.

[BibT_eX]

[DOI]

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

Observer Construction for Polynomially Ambiguous Max-Plus Automata.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2022

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

[BibT_eX]

[DOI]

Discret. Appl. Math., 2022

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

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2022

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

[BibT_eX]

[DOI]

Yingying Liu

Zhiwu Li

IEEE Control. Syst. Lett., 2022

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

[BibT_eX]

[DOI]

CoRR, 2022

Hierarchical and Modular Supervisory Control under Partial Observation: Normality.

[BibT_eX]

[DOI]

CoRR, 2022

Modular control of discrete-event systems using similarity.

[BibT_eX]

[DOI]

Autom., 2022

2021

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

[BibT_eX]

[DOI]

Pavel Spacek

Int. J. Syst. Sci., 2021

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

[BibT_eX]

[DOI]

Yingying Liu

Zhiwu Li

CoRR, 2021

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

[BibT_eX]

[DOI]

CoRR, 2021

2020

A contribution to the determinization of max-plus automata.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2020

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

[BibT_eX]

[DOI]

Pavel Spacek

CoRR, 2020

Bounded Consistency of P-Time Event Graphs.

[BibT_eX]

[DOI]

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

2019

Conditions for Hierarchical Supervisory Control under Partial Observation.

[BibT_eX]

[DOI]

CoRR, 2019

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

[BibT_eX]

[DOI]

CoRR, 2019

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

[BibT_eX]

[DOI]

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

2018

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

[BibT_eX]

[DOI]

Ton J. J. van den Boom

Annu. Rev. Control., 2018

2017

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

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2017

2016

Distributed computation of supremal conditionally controllable sublanguages.

[BibT_eX]

[DOI]

Int. J. Control, 2016

Determinization of timed Petri nets behaviors.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2016

On a Distributed Computation of Supervisors in Modular Supervisory Control.

[BibT_eX]

[DOI]

CoRR, 2016

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

[BibT_eX]

[DOI]

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

Modular supervisory control of networked discrete-event systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

2015

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

[BibT_eX]

[DOI]

Int. J. Control, 2015

Coordination control of discrete-event systems revisited.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2015

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

[BibT_eX]

[DOI]

CoRR, 2015

Relative observability in coordination control.

[BibT_eX]

[DOI]

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

Multilevel coordination control of partially observed modular DES.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2015

2014

A Note on Relative Observability in Coordination Control.

[BibT_eX]

[DOI]

CoRR, 2014

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

[BibT_eX]

[DOI]

CoRR, 2014

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

[BibT_eX]

[DOI]

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

Bottom-up approach to multilevel supervisory control with coordination.

[BibT_eX]

[DOI]

Proceedings of the 13th European Control Conference, 2014

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

[BibT_eX]

[DOI]

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

2013

Multilevel coordination control of modular DES.

[BibT_eX]

[DOI]

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

A bridge between decentralized and coordination control.

[BibT_eX]

[DOI]

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

Coordination Control of Distributed Discrete-Event Systems.

[BibT_eX]

[DOI]

Proceedings of the Control of Discrete-Event Systems, 2013

Supervisory Control of Distributed Discrete-Event Systems.

[BibT_eX]

[DOI]

Proceedings of the Control of Discrete-Event Systems, 2013

Supervisory Control with Partial Observations.

[BibT_eX]

[DOI]

Proceedings of the Control of Discrete-Event Systems, 2013

2012

On conditional decomposability.

[BibT_eX]

[DOI]

Syst. Control. Lett., 2012

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

[BibT_eX]

[DOI]

Autom., 2012

Compositions of (max, +) automata.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Syst. Control. Lett., 2011

Control of Distributed Systems: Tutorial and Overview.

[BibT_eX]

[DOI]

Eur. J. Control, 2011

Hierarchical control with partial observations: Sufficient conditions.

[BibT_eX]

[DOI]

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

Residuation of tropical series: Rationality issues.

[BibT_eX]

[DOI]

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

2010

Coinduction in Concurrent Timed Systems.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Pavel Spacek

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.

[BibT_eX]

[DOI]

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

Supremal normal sublanguages in hierarchical supervisory control.

[BibT_eX]

[DOI]

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

Synchronous composition of interval weighted automata.

[BibT_eX]

[DOI]

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

2009

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

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2009

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

[BibT_eX]

[DOI]

Proceedings of the 10th European Control Conference, 2009

2008

Modular Control of Discrete-Event Systems With Coalgebra.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2008

Supervisory control of modular systems with global specification languages.

[BibT_eX]

[DOI]

Autom., 2008

2007

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

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2007

Supervisory control of heap models using synchronous composition.

[BibT_eX]

Proceedings of the ICINCO 2007, 2007

2005

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

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2005

Control of Modular and Distributed Discrete-Event Systems.

[BibT_eX]

[DOI]

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

Modular Supervisory Control with General Indecomposable Specification Languages.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

Decentralized supervisory control with coalgebra.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Abdellah El Moudni

Nourredine Zerhouni

Cybern. Syst., 1998

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

[BibT_eX]

[DOI]