| Publication | Date of Publication | Type |
|---|
| Synthesis of event-triggered controllers for SIRS epidemic models | 2024-03-01 | Paper |
| Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications | 2024-02-20 | Paper |
| Maximally Permissive Supervisors for Nonblocking Similarity Control of Nondeterministic Discrete-Event Systems | 2023-10-02 | Paper |
| Polynomial-time verification for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specifications | 2023-06-26 | Paper |
| Deterministic supervisory control with flexible upper-bounds on observation delay and control delay | 2022-08-23 | Paper |
| Decentralized diagnosis of discrete event systems subject to permanent sensor failures | 2022-06-13 | Paper |
| Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems | 2021-12-14 | Paper |
| A general framework for diagnosis of discrete event systems subject to sensor failures | 2021-11-18 | Paper |
| Synthesis of Maximally Permissive Supervisors for Nondeterministic Discrete Event Systems With Nondeterministic Specifications | 2021-07-26 | Paper |
| Linear Convergence of Consensus-Based Quantized Optimization for Smooth and Strongly Convex Cost Functions | 2021-05-28 | Paper |
| Estimate based limited lookahead supervisory control for closed language specifications | 2019-10-02 | Paper |
| Implementation of inference-based diagnosis: computing delay bound and ambiguity levels | 2018-10-08 | Paper |
| Distributed Subgradient Method With Edge-Based Event-Triggered Communication | 2018-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5375230 | 2018-09-14 | Paper |
| GTS-based communication task scheduling for quantized output consensus over IEEE 802.15.4 wireless networks | 2018-01-12 | Paper |
| A Generalized Framework for Inference-Based Diagnosis of Discrete Event Systems Capturing Both Disjunctive and Conjunctive Decision-Making | 2017-09-08 | Paper |
| Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions | 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 |
| Inference-Based Decentralized Prognosis in Discrete Event Systems | 2017-08-25 | Paper |
| Synthesis of Inference-Based Decentralized Control for Discrete Event Systems | 2017-08-08 | Paper |
| Inference-Based Ambiguity Management in Decentralized Decision-Making: Decentralized Control of Discrete Event Systems | 2017-07-27 | Paper |
| Characterization of co-observable languages and formulas for their super/sublanguages | 2017-07-12 | Paper |
| Synthesis of maximally permissive and robust supervisors for prefix-closed language specifications | 2017-06-20 | 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 |
| Nonblocking Supervisory Control of Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions | 2017-05-03 | Paper |
| Computation of the delay bounds and synthesis of diagnosers for decentralized diagnosis with conditional decisions | 2017-03-03 | Paper |
| Abstraction-Based Verification and Synthesis for Prognosis of Discrete Event Systems | 2016-09-19 | Paper |
| Diagnosability of discrete event systems subject to permanent sensor failures | 2016-04-08 | Paper |
| Robust prognosability for a set of partially observed discrete event systems | 2015-04-28 | Paper |
| Verification of robust diagnosability for partially observed discrete event systems | 2013-07-31 | Paper |
| A new class of supervisors for timed discrete event systems under partial observation | 2007-01-18 | Paper |
| Effective computation of an \(L_{m}(G)\)-closed, controllable, and observable sublanguage arising in supervisory control | 2006-09-21 | Paper |
| Supervisory control of partially observed discrete event systems with arbitrary control patterns | 2006-02-14 | Paper |
| Maximally permissive mutually and globally nonblocking supervision with application to switching control | 2005-12-08 | Paper |
| Control-invariance of hybrid systems with forcible events | 2005-05-12 | Paper |
| Supervisory control of a class of concurrent discrete event systems under partial observation | 2005-04-25 | Paper |
| Maximizing robustness of supervisors for partially observed discrete event systems. | 2004-03-14 | Paper |
| A modified normality condition for decentralized supervisory control of discrete event systems | 2003-07-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4782061 | 2003-04-24 | Paper |
| Optimal state-space partition for control of discrete-event systems with static specifications | 2000-10-17 | Paper |
| Formulas for the extremal controllable sequences in timed-event graphs | 2000-10-17 | Paper |
| Minimizing the set of local supervisors in fully decentralized supervision | 2000-10-17 | Paper |
| On the language generated under fully decentralized supervision | 2000-10-17 | Paper |
| Robust supervisory control of a class of timed discrete event systems under partial observation | 2000-06-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4782032 | 2000-01-01 | Paper |
| Characterization of all M-controllable subpredicates of a given predicate | 1999-08-22 | Paper |
| Supervisory control of timed event graphs with partial specifications | 1999-01-01 | Paper |
| A characterization of realizable behavior in supervisory control of timed event graphs | 1998-08-20 | Paper |
| M -controllable subpredicates arising in state feed back control of discrete event systems | 1998-03-16 | Paper |
| The infimal controllable and N-observable superpredicate of a given predicate | 1997-02-26 | Paper |
| Static-state feedback control of discrete-event systems under partial observation | 1996-07-18 | Paper |
| Stabilization and blocking in state feedback control of discrete event systems | 1995-05-01 | Paper |
| Concurrency and maximally permissive feedback in Petri nets with external input places | 1994-10-26 | Paper |
| Decentralized state feedback control of discrete event systems | 1994-06-01 | Paper |
