| Publication | Date of Publication | Type |
|---|
| Sufficiency for diagnosability of stochastic discrete-event systems and a polynomial-time verification | 2024-07-30 | Paper |
| Reliable fuzzy prognosability of decentralized fuzzy discrete-event systems and verification algorithm | 2024-04-25 | Paper |
| Active opacity of discrete-event systems | 2023-07-25 | Paper |
| Robust predictability of stochastic discrete-event systems and a polynomial-time verification | 2022-08-23 | Paper |
| Verification of safe diagnosability of stochastic discrete-event systems | 2022-02-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5143024 | 2021-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5143040 | 2021-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5129489 | 2020-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5209311 | 2020-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5209327 | 2020-01-22 | Paper |
| Relative predictability of failure event occurrences and its opacity-based test algorithm | 2019-07-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5381362 | 2019-06-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4574716 | 2018-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4574663 | 2018-07-18 | Paper |
| Correctability of fault-tolerant stochastic discrete-event systems | 2017-10-18 | Paper |
| Decentralized Diagnosis of Stochastic Discrete Event Systems | 2017-08-08 | Paper |
| Safe Diagnosability of Stochastic Discrete Event Systems | 2017-08-08 | Paper |
| Decentralized supervisory control of fuzzy discrete event systems | 2017-04-19 | Paper |
| Some new entropy measures for interval-valued intuitionistic fuzzy sets based on distances and their relationships with similarity and inclusion measures | 2017-02-07 | Paper |
| Existence and verification for decentralized nondeterministic discrete-event systems under bisimulation equivalence | 2016-10-26 | Paper |
| Semantics of model theory and fixed points for logic programming based on further extension of fuzzy logic | 2016-03-15 | Paper |
| Polynomial-time verification of diagnosability of fuzzy discrete event systems | 2015-11-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3194124 | 2015-10-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3447866 | 2015-10-28 | Paper |
| An enhanced grey relational analysis method for interval-valued intuitionistic fuzzy multiattribute decision making | 2015-03-04 | Paper |
| Reply to ``comments on 'bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm' [automatica 43 (2007), 1363-1368] | 2014-10-17 | Paper |
| Reliable Decentralized Supervisors for Discrete‐Event Systems Under Communication Delays: Existence and Verification | 2014-05-15 | Paper |
| Decentralized diagnosis of fuzzy discrete-event systems | 2013-02-28 | Paper |
| On closed-form solutions to the generalized Sylvester-conjugate matrix equation | 2012-08-19 | Paper |
| Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm | 2011-05-17 | Paper |
| Reliable supervisory control for general architecture of decentralized discrete event systems | 2010-10-22 | Paper |
| Automata theory based on complete residuated lattice-valued logic: Pushdown automata | 2009-11-17 | Paper |
| Stability analysis of networked control systems with time-varying sampling periods | 2008-11-24 | Paper |
| Equivalence in automata theory based on complete residuated lattice-valued logic | 2007-07-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3365812 | 2006-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5314415 | 2005-09-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4456852 | 2004-03-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4215215 | 1998-10-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4399656 | 1998-07-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4388346 | 1998-05-07 | Paper |
