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