| Publication | Date of Publication | Type |
|---|
| Nonexistence of upper bound to inferencing level in decentralized discrete event control | 2025-01-21 | Paper |
| Implementation of inference-based diagnosis: computing delay bound and ambiguity levels | 2018-10-08 | Paper |
| A Generalized Framework for Inference-Based Diagnosis of Discrete Event Systems Capturing Both Disjunctive and Conjunctive Decision-Making | 2017-09-08 | Paper |
| Distributed Failure Prognosis of Discrete Event Systems With Bounded-Delay Communications | 2017-09-08 | Paper |
| Decentralized Prognosis of Failures in Discrete Event Systems | 2017-08-25 | Paper |
| Synthesis of Over-Approximating Inference-Based Decentralized Supervisors for Discrete Event Systems | 2017-08-25 | Paper |
| Real-Time Control of Dense-Time Systems Using Digital-Clocks | 2017-08-25 | Paper |
| Inference-Based Decentralized Prognosis in Discrete Event Systems | 2017-08-25 | Paper |
| Bisimilarity Enforcement for Discrete Event Systems Using Deterministic Control | 2017-08-25 | Paper |
| Synthesis of Inference-Based Decentralized Control for Discrete Event Systems | 2017-08-08 | Paper |
| Optimal Nonblocking Directed Control of Discrete Event Systems | 2017-08-08 | Paper |
| A Framework for Fault-Tolerant Control of Discrete Event Systems | 2017-08-08 | Paper |
| Decentralized Control of Discrete Event Systems Using Prioritized Composition With Exclusion | 2017-08-08 | Paper |
| Computation of Diagnosable Fault-Occurrence Indices for Systems With Repeatable Faults | 2017-08-08 | Paper |
| Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence | 2017-07-27 | Paper |
| On Decidability of Distributed Diagnosis Under Unbounded-Delay Communication | 2017-07-27 | Paper |
| Bisimilarity Control of Partially Observed Deterministic Systems | 2017-07-27 | Paper |
| Inference-Based Ambiguity Management in Decentralized Decision-Making: Decentralized Control of Discrete Event Systems | 2017-07-27 | Paper |
| Failure Diagnosis of Discrete-Event Systems With Linear-Time Temporal Logic Specifications | 2017-07-12 | Paper |
| Characterization of co-observable languages and formulas for their super/sublanguages | 2017-07-12 | Paper |
| Polynomial synthesis of supervisor for partially observed discrete-event systems by allowing nondeterminism in control | 2017-07-12 | Paper |
| Controlled Markov chains with safety upper bound | 2017-06-20 | Paper |
| Optimal sensor selection for discrete-event systems with partial observation | 2017-06-20 | Paper |
| Supervisory control of nondeterministic discrete-event systems with driven events via masked prioritized synchronization | 2017-06-20 | Paper |
| Failure Detection Framework for Stochastic Discrete Event Systems With Guaranteed Error Bounds | 2017-05-16 | Paper |
| Stochastic Failure Prognosability of Discrete Event Systems | 2017-05-16 | Paper |
| Comments on “Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems” versus “Decentralized Failure Diagnosis of Discrete Event Systems”: Complexity Clarification | 2017-05-16 | Paper |
| Comment on ``bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm [automatica 47 (2011) 782-788] | 2014-10-17 | Paper |
| Semantic translation of Simulink diagrams to input/output extended finite automata | 2012-07-10 | Paper |
| Maximally permissive mutually and globally nonblocking supervision with application to switching control | 2005-12-08 | Paper |
| Modeling Discrete Event Systems With Faults Using a Rules-based Modeling Formalism | 2004-05-27 | Paper |
| Prioritized Composition With Exclusion and Generation for the Interaction and Control of Discrete Event Systems | 2004-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4782073 | 2003-04-21 | Paper |
| A Event Occurrence Rules based Compact Modeling Formalism for a Class of Discrete Event Systems | 2003-02-19 | Paper |
| Control of stochastic discrete event systems modeled by probabilistic languages | 2002-07-21 | Paper |
| A polynomial algorithm for testing diagnosability of discrete-event systems | 2002-07-21 | Paper |
| Mutually nonblocking supervisory control of discrete event systems | 2001-09-02 | Paper |
| Masked prioritized synchronization for interaction and control of discrete event systems | 2001-08-05 | Paper |
| A probabilistic language formalism for stochastic discrete-event systems | 2000-10-17 | Paper |
| Process objects/masked composition: an object-oriented approach for modeling and control of discrete-event systems | 2000-10-17 | Paper |
| Extension based limited lookahead supervision of discrete event systems | 2000-06-27 | Paper |
| Formulae relating controllability, observability, and co-observability | 1999-04-23 | Paper |
| Centralized and Decentralized Supervisory Control of Nondeterministic Systems Under Partial Observation | 1998-11-05 | Paper |
| A discrete event systems approach for protocol conversion | 1997-09-18 | Paper |
| Nonblocking supervisory control of nondeterministic systems via prioritized synchronization | 1997-07-08 | Paper |
| Extremal solutions of inequations over lattices with applications to supervisory control | 1997-02-28 | Paper |
| Supervisory control of deterministic Petri nets with regular specification languages | 1996-06-13 | Paper |
| Corrections to "Finite buffer realization of input-output discrete event systems" | 1996-01-01 | Paper |
| Finite buffer realization of input-output discrete-event systems | 1995-11-09 | Paper |
| Supervisory Control of Nondeterministic Systems with Driven Events via Prioritized Synchronization and Trajectory Models | 1995-08-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4763559 | 1995-08-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4840936 | 1995-08-01 | Paper |
| Optimal Supervisory Control of Discrete Event Dynamical Systems | 1995-05-11 | Paper |
| Language Stability and Stabilizability of Discrete Event Dynamical Systems | 1994-04-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4203423 | 1993-09-13 | Paper |
| On supervisory control of sequential behaviors | 1993-08-12 | Paper |
| Predicates and predicate transformers for supervisory control of discrete event dynamical systems | 1993-08-12 | Paper |
| On controllability and normality of discrete event dynamical systems | 1992-09-26 | Paper |
| Formulas for calculating supremal controllable and normal sublanguages | 1990-01-01 | Paper |
