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 |