| Publication | Date of Publication | Type |
|---|
| Optimal synthesis of opacity-enforcing supervisors for qualitative and quantitative specifications | 2025-01-21 | Paper |
| Distributed fault diagnosis in discrete event systems with transmission delay impairments | 2025-01-21 | Paper |
| Contribution functions for quantitative bipolar argumentation graphs: a principle-based analysis | 2024-09-02 | Paper |
| A unified framework for verification of observational properties for partially-observed discrete-event systems | 2024-08-19 | Paper |
| A uniform framework for diagnosis of discrete-event systems with unreliable sensors using linear temporal logic | 2024-07-21 | Paper |
| Opacity enforcement via greedy privately-and-publicly known insertion functions | 2024-07-21 | Paper |
| Safe-by-construction autonomous vehicle overtaking using control barrier functions and model predictive control | 2024-06-18 | Paper |
| Optimal supervisory control of discrete event systems for cyclic tasks | 2024-06-05 | Paper |
| On the verification of detectability for timed discrete event systems | 2024-06-05 | Paper |
| Sensor deception attacks against security in supervisory control systems | 2024-05-14 | Paper |
| Enforcing opacity by insertion functions under multiple energy constraints | 2024-02-20 | Paper |
| Model predictive monitoring of dynamical systems for signal temporal logic specifications | 2024-02-13 | Paper |
| Secure Your Intention: On Notions of Pre-Opacity in Discrete-Event Systems | 2023-10-06 | Paper |
| Opacity Enforcing Supervisory Control Using Nondeterministic Supervisors | 2023-09-26 | Paper |
| Reconstruction of pitchfork bifurcation with exogenous disturbances based on equivalent-input-disturbance approach | 2023-08-16 | Paper |
| Disturbance rejection and performance analysis for nonlinear systems based on nonlinear equivalent-input-disturbance approach | 2023-08-09 | Paper |
| Online Supervisory Control of Networked Discrete Event Systems With Control Delays | 2022-07-28 | Paper |
| Local Mean Payoff Supervisory Control for Discrete Event Systems | 2022-07-28 | Paper |
| A framework for current-state opacity under dynamic information release mechanism | 2022-04-14 | Paper |
| Disturbance rejection using SMC-based-equivalent-input-disturbance approach | 2022-01-27 | Paper |
| Verification and enforcement of strong infinite- and \(k\)-step opacity using state recognizers | 2022-01-07 | Paper |
| Marking diagnosability verification in labeled Petri nets | 2021-11-19 | Paper |
| Marking Predictability and Prediction in Labeled Petri Nets | 2021-09-09 | Paper |
| On Approximate Opacity of Cyber-Physical Systems | 2021-05-28 | Paper |
| Authors' reply to ``Comments on: ``A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers' | 2021-04-20 | Paper |
| An improved approach for verifying delayed detectability of discrete-event systems | 2021-04-20 | Paper |
| Optimal supervisory control with mean payoff objectives and under partial observation | 2021-04-12 | Paper |
| Chaos suppression in speed control for permanent-magnet-synchronous-motor drive system | 2020-12-31 | Paper |
| Synthesis of Dynamic Masks for Infinite-Step Opacity | 2020-10-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3307392 | 2020-08-12 | Paper |
| Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions | 2020-01-28 | Paper |
| Robust Fault Diagnosis of Stochastic Discrete Event Systems | 2020-01-28 | Paper |
| Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach | 2020-01-28 | Paper |
| A general approach for optimizing dynamic sensor activation for discrete event systems | 2019-12-19 | Paper |
| Block-based minimum input design for the structural controllability of complex networks | 2019-12-19 | Paper |
| Corrections to “On the Decidability and Complexity of Diagnosability for Labeled Petri Nets” [Nov 17 5931-5938] | 2019-07-18 | Paper |
| Complexity of detectability, opacity and A-diagnosability for modular discrete event systems | 2019-04-24 | Paper |
| Deciding detectability for labeled Petri nets | 2019-04-24 | Paper |
| Trajectory detectability of discrete-event systems | 2019-02-27 | Paper |
| Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems | 2019-02-05 | Paper |
| Synthesis of Maximally Permissive Nonblocking Supervisors for the Lower Bound Containment Problem | 2018-12-18 | Paper |
| Minimization of Sensor Activation in Decentralized Discrete-Event Systems | 2018-12-04 | Paper |
| Bifurcation analysis and chaotic behavior of a discrete-time delayed genetic oscillator model | 2018-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5375267 | 2018-09-14 | Paper |
| On the Decidability and Complexity of Diagnosability for Labeled Petri Nets | 2018-06-27 | Paper |
| Synthesis of Maximally-Permissive Supervisors for the Range Control Problem | 2017-11-10 | Paper |
| Verification complexity of a class of observational properties for modular discrete events systems | 2017-11-08 | Paper |
| Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures | 2017-09-28 | Paper |
| A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers | 2017-09-28 | Paper |
| Supervisor Synthesis for Mealy Automata With Output Functions: A Model Transformation Approach | 2017-07-27 | Paper |
| A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems | 2017-05-03 | Paper |
| Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems | 2017-05-03 | Paper |
| Decentralized Supervisory Control With Intersection-Based Architecture | 2017-05-03 | Paper |
| Modeling concurrency with interval traces | 2017-03-16 | Paper |
| Decentralized fault prognosis of discrete event systems with guaranteed performance bound | 2016-05-20 | Paper |
| Codiagnosability and coobservability under dynamic observations: transformation and verification | 2015-12-22 | Paper |
| Modeling Interval Order Structures with Partially Commutative Monoids | 2012-09-25 | Paper |
| Quadtree Representation and Compression of Spatial Data | 2011-02-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4456498 | 2004-03-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4545983 | 2002-08-18 | Paper |
