Publication | Date of Publication | Type |
---|
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 |