| Publication | Date of Publication | Type |
|---|
Secret protections with costs and disruptiveness in discrete-event systems using centralities
IEEE Transactions on Automatic Control | 2024-08-19 | Paper |
Verification of pattern-pattern diagnosability in partially observed discrete event systems
IEEE Transactions on Automatic Control | 2024-07-21 | Paper |
Liveness and deadlock-freeness verification and enforcement in bounded Petri nets using basis reachability graphs
Automatica | 2024-06-05 | Paper |
Verification of $k$-Step and Definite Critical Observability in Discrete-Event Systems
IEEE Transactions on Automatic Control | 2023-10-02 | Paper |
Design of Optimal Control Sequences in Petri Nets Using Basis Marking Analysis
IEEE Transactions on Automatic Control | 2022-07-28 | Paper |
Optimal Secret Protections in Discrete-Event Systems
IEEE Transactions on Automatic Control | 2022-07-28 | 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 |
Marking diagnosability verification in labeled Petri nets
Automatica | 2021-11-19 | Paper |
Performance safety enforcement in stochastic event graphs against boost and slow attacks
Nonlinear Analysis. Hybrid Systems | 2021-11-19 | Paper |
Diagnosability enforcement in labeled Petri nets using supervisory control
Automatica | 2021-11-19 | Paper |
Marking Predictability and Prediction in Labeled Petri Nets
IEEE Transactions on Automatic Control | 2021-09-09 | Paper |
Performance safety enforcement in strongly connected timed event graphs
Automatica | 2021-04-26 | 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 |
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 |
An improved approach for marking optimization of timed weighted marked graphs
Discrete Event Dynamic Systems | 2020-01-22 | 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 |
Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints
IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
Petri net controllers for generalized mutual exclusion constraints with floor operators
Automatica | 2016-11-14 | Paper |
Comments on ``Maximally permissive supervisor synthesis based on a new constraint transformation method [Automatica 48 (2012), 1097-1101]
Automatica | 2015-04-28 | Paper |
