| Publication | Date of Publication | Type |
|---|
| Estimation and prevention of actuator enablement attacks in discrete-event systems under supervisory control | 2025-01-21 | Paper |
| On the existence of nonblocking bounded supervisors for discrete-event systems | 2025-01-21 | Paper |
| Concealability analysis for current-state opacity enforcement via editing functions | 2025-01-21 | Paper |
| Event concealment and concealability enforcement in discrete event systems under partial observation | 2025-01-21 | Paper |
| Verification of state-based timed opacity for constant-time labeled automata | 2025-01-21 | Paper |
| A joint diagnoser approach for diagnosability of discrete event systems under attack | 2025-01-16 | Paper |
| Path detectability verification for time-dependent systems with application to flexible manufacturing systems | 2025-01-08 | Paper |
| Tamper-tolerant diagnosability analysis and tampering detectability in discrete event systems under cost constraints | 2025-01-08 | Paper |
| Obfuscation mechanism for simultaneous public event information release and private event information hiding in discrete event systems | 2024-11-28 | Paper |
| An extremum timed extended reachability graph for temporal analysis of time Petri nets | 2024-11-28 | Paper |
| State estimation for constant-time labeled automata under dense time | 2024-11-04 | Paper |
| Opacity enforcement in discrete event systems using differential privacy | 2024-10-29 | Paper |
| Infinite- and \(K\)-step opacity verification of discrete-event systems under nondeterministic observations | 2024-08-29 | Paper |
| Opacity of discrete-event systems under nondeterministic observation mechanism | 2024-07-30 | Paper |
| Nonlinear cascade control based on an integral separated disturbance observer of proportional poppet valve | 2024-07-23 | Paper |
| Complete inference via knowledge Petri nets and resolution rules | 2024-07-01 | Paper |
| Liveness and deadlock-freeness verification and enforcement in bounded Petri nets using basis reachability graphs | 2024-06-05 | Paper |
| Identification of labeled Petri nets from finite automata | 2024-05-27 | Paper |
| Quantifying opacity of discrete event systems modeled with probabilistic Petri nets | 2024-05-14 | Paper |
| A model-based deep reinforcement learning approach to the nonblocking coordination of modular supervisors of discrete event systems | 2024-05-02 | Paper |
| Secret inference and attacktability analysis of discrete event systems | 2024-03-27 | Paper |
| Critical Observability Verification and Enforcement of Labeled Petri Nets by Using Basis Markings | 2024-02-29 | Paper |
| Opacity Enforcement in Discrete Event Systems Using Extended Insertion Functions Under Inserted Language Constraints | 2024-02-22 | Paper |
| On scalable supervisory control of multi-agent discrete-event systems | 2024-02-20 | Paper |
| Symbolic state estimation in bounded timed labeled Petri nets | 2024-02-13 | Paper |
| Error- and Tamper-Tolerant State Estimation for Discrete Event Systems Under Cost Constraints | 2024-01-26 | Paper |
| Modeling and analysis of rumor propagation in social networks | 2024-01-10 | Paper |
| Interval state estimation‐based robust model predictive control for linear parameter varying systems | 2023-11-23 | Paper |
| Adaptive supervisory control for a class of Petri nets with bimodal transitions | 2023-11-01 | Paper |
| Granular computing: an augmented scheme of degranulation through a modified partition matrix | 2023-10-30 | Paper |
| Extended Insertion Functions for Opacity Enforcement in Discrete-Event Systems | 2023-09-24 | Paper |
| Liveness enforcement for production systems modeled by time Petri nets | 2023-09-22 | Paper |
| Robust fuzzy predictive switching control for nonlinear multi-phase batch processes with synchronous vs asynchronous cases | 2023-09-08 | Paper |
| Diagnosis of timed patterns for discrete event systems by means of state isolation | 2023-07-05 | Paper |
| Approximately global optimal control for max-plus linear systems and its application on load distribution | 2023-06-27 | Paper |
| Quantile deep learning model and multi-objective opposition elite marine predator optimization algorithm for wind speed prediction | 2023-03-21 | Paper |
| Strong current-state and initial-state opacity of discrete-event systems | 2023-01-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5047616 | 2022-11-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5047647 | 2022-11-17 | Paper |
| Finite-time group consensus via pinning control for heterogeneous multi-agent systems with disturbances by integral sliding mode | 2022-11-16 | Paper |
| Online verification of \(K\)-step opacity by Petri nets in centralized and decentralized structures | 2022-09-30 | Paper |
| A Weighted Fidelity and Regularization-Based Method for Mixed or Unknown Noise Removal From Images on Graphs | 2022-09-16 | Paper |
| Design of Optimal Control Sequences in Petri Nets Using Basis Marking Analysis | 2022-07-28 | Paper |
| A Clustering Approach to Approximate the Timed Reachability Graph for a Class of Time Petri Nets | 2022-07-28 | Paper |
| Modular control of discrete-event systems using similarity | 2022-07-05 | Paper |
| Output feedback MPC for uncertain delayed system and control of a wind tunnel system | 2022-04-19 | Paper |
| Closed-Loop Deadlock-Free Supervision for GMECs in Time Petri Net Systems | 2022-02-24 | Paper |
| Observers for a Class of Timed Automata Based on Elapsed Time Graphs | 2022-02-24 | Paper |
| Time based deadlock prevention for Petri nets | 2022-01-31 | Paper |
| Verification and enforcement of strong infinite- and \(k\)-step opacity using state recognizers | 2022-01-07 | Paper |
| Design of supervisors for linear marking specifications in labeled Petri nets | 2022-01-03 | Paper |
| Detectability verification of probabilistic Boolean networks | 2021-12-02 | Paper |
| Group consensus via pinning control for a class of heterogeneous multi-agent systems with input constraints | 2021-11-30 | Paper |
| Marking diagnosability verification in labeled Petri nets | 2021-11-19 | Paper |
| Diagnosability enforcement in labeled Petri nets using supervisory control | 2021-11-19 | Paper |
| Coevolution of fairness and spite on stochastic dynamics networks | 2021-10-19 | Paper |
| Marking Predictability and Prediction in Labeled Petri Nets | 2021-09-09 | Paper |
| An Efficient Fault Diagnosis Approach Based on Integer Linear Programming for Labeled Petri Nets | 2021-05-28 | Paper |
| An observer‐based output feedback robust MPC approach for constrained LPV systems with bounded disturbance and noise | 2021-05-28 | Paper |
| Initial-state detectability and initial-state opacity of unambiguous weighted automata | 2021-04-20 | Paper |
| Scheduling periodic and aperiodic tasks with time, energy harvesting and precedence constraints on multi-core systems | 2021-03-31 | Paper |
| Design of Supervisors for Active Diagnosis in Discrete Event Systems | 2021-03-12 | Paper |
| Marking Estimation in Petri Nets Using Hierarchical Basis Reachability Graphs | 2021-03-12 | Paper |
| Deadlock analysis and control using Petri net decomposition techniques | 2020-11-17 | Paper |
| Bicriterion scheduling with a negotiable common due window and resource-dependent processing times | 2020-10-07 | Paper |
| Marking Estimation in a Class of Time Labeled Petri Nets | 2020-10-07 | Paper |
| Computation of Admissible Marking Sets in Weighted Synchronization-Free Petri Nets by Dynamic Programming | 2020-10-07 | Paper |
| Observer-based output feedback robust MPC via zonotopic set-membership state estimation for LPV systems with bounded disturbances and noises | 2020-09-15 | Paper |
| Deadlock and liveness characterization for a class of generalized Petri nets | 2020-07-16 | Paper |
| Petri net-based approach to short-term scheduling of crude oil operations with less tank requirement | 2020-07-02 | Paper |
| Current-state opacity modelling and verification in partially observed Petri nets | 2020-04-14 | Paper |
| Deadlock recovery for flexible manufacturing systems modeled with Petri nets | 2020-02-06 | Paper |
| Some Remarks on “State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions” | 2020-01-28 | Paper |
| An Approach to Improve Permissiveness of Supervisors for GMECs in Time Petri Net Systems | 2020-01-28 | Paper |
| An improved approach for marking optimization of timed weighted marked graphs | 2020-01-22 | Paper |
| A multistep look-ahead deadlock avoidance policy for automated manufacturing systems | 2019-07-30 | Paper |
| Influence minimization in linear threshold networks | 2019-04-24 | Paper |
| Model-based fault identification of discrete event systems using partially observed Petri nets | 2019-02-05 | Paper |
| A Learning-Based Synthesis Approach to the Supremal Nonblocking Supervisor of Discrete-Event Systems | 2018-12-04 | Paper |
| On the synthesis of liveness-enforcing supervisors for flexible manufacturing systems using global idle places | 2018-11-23 | Paper |
| On-line verification of current-state opacity by Petri nets and integer linear programming | 2018-10-17 | Paper |
| Current-state opacity enforcement in discrete event systems under incomparable observations | 2018-10-08 | Paper |
| Confusion avoidance for discrete event systems by P/E constraints and supervisory control | 2018-09-27 | Paper |
| A resource configuration method for liveness of a class of Petri nets | 2018-09-27 | Paper |
| Performance Optimization for Timed Weighted Marked Graphs Under Infinite Server Semantics | 2018-09-18 | Paper |
| Design of Optimal Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs | 2018-07-12 | Paper |
| On the enforcement of a class of nonlinear constraints on Petri nets | 2018-01-12 | Paper |
| Quadratic boundedness of LPV systems via saturated dynamic output feedback controller | 2018-01-05 | Paper |
| Decidability of opacity verification problems in labeled Petri net systems | 2017-09-28 | Paper |
| Verification of State-Based Opacity Using Petri Nets | 2017-09-08 | Paper |
| Reconfigurable Multiagent Embedded Control Systems: From Modeling to Implementation | 2017-07-27 | Paper |
| Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem | 2017-07-27 | Paper |
| Characterization of Admissible Marking Sets in Petri Nets With Conflicts and Synchronizations | 2017-07-27 | Paper |
| Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints | 2017-05-16 | Paper |
| On the Equivalence of Observation Structures for Petri Net Generators | 2017-05-03 | Paper |
| Petri net controllers for generalized mutual exclusion constraints with floor operators | 2016-11-14 | Paper |
| Elementary-Siphon-Based Control Policy for Flexible Manufacturing Systems with Partial Observability and Controllability of Transitions | 2016-03-02 | Paper |
| A two-stage method for member selection of emergency medical service | 2015-11-03 | Paper |
| Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems | 2015-09-25 | Paper |
| A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets | 2015-06-25 | Paper |
| Comments on ``Maximally permissive supervisor synthesis based on a new constraint transformation method [Automatica 48 (2012), 1097-1101] | 2015-04-28 | Paper |
| Extended Elementary Siphons and Their Application to Liveness‐Enforcement of Generalized <scp>P</scp>etri Nets | 2015-03-10 | Paper |
| A versatile supervisor with one monitor based on macro-tokens | 2014-08-25 | Paper |
| Structure reduction of liveness‐enforcing Petri nets using mixed integer programming | 2014-05-15 | Paper |
| Robustness of deadlock control for a class of Petri nets with unreliable resources | 2014-04-16 | Paper |
| Confusion Diagnosis and Control of Discrete Event Systems Using Synchronized <scp>P</scp>etri Nets | 2014-02-25 | Paper |
| On structural minimality of optimal supervisors for flexible manufacturing systems | 2013-08-28 | Paper |
| Supervisor reconfiguration for deadlock prevention by resources reallocation | 2013-06-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4901932 | 2013-01-24 | Paper |
| Erratum to ``Liveness of an extended S\(^{3}\)PR [Automatica 46 (2010) 1008-1018] | 2012-08-27 | Paper |
| Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems | 2011-06-01 | Paper |
| Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming | 2010-12-15 | Paper |
| On deadlock control for a class of generalised Petri net models of flexible manufacturing systems | 2010-11-07 | Paper |
| Non-blocking Supervisory Design Using Mixed Integer Programming | 2010-07-08 | Paper |
| Liveness of an extended S\(^{3}\)PR | 2010-06-17 | Paper |
| Unstable and stable galaxy models | 2008-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5755235 | 2007-08-20 | Paper |
| An Optimal Vanishing Point Detection Method with Error Analysis | 1998-07-07 | Paper |
