| Publication | Date of Publication | Type |
|---|
Optimization-based computation of bounded sequences to reach target states in DESs
Discrete Event Dynamic Systems | 2025-07-18 | Paper |
Corrigendum to: ``Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques''
Automatica | 2025-01-08 | Paper |
Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques
Automatica | 2023-06-26 | Paper |
Supervisory Control of Timed Discrete-Event Systems With Logical and Temporal Specifications
IEEE Transactions on Automatic Control | 2022-07-28 | Paper |
An approach based on timed Petri nets and tree encoding to implement search algorithms for a class of scheduling problems
Information Sciences | 2022-04-19 | Paper |
An optimization-based approach to assess non-interference in labeled and bounded Petri net systems
Nonlinear Analysis. Hybrid Systems | 2022-04-08 | Paper |
Closed-Loop Deadlock-Free Supervision for GMECs in Time Petri Net Systems
IEEE Transactions on Automatic Control | 2022-02-24 | Paper |
Noninterference Enforcement via Supervisory Control in Bounded Petri Nets
IEEE Transactions on Automatic Control | 2021-09-09 | 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 Efficient Approach for Online Diagnosis of Discrete Event Systems
IEEE Transactions on Automatic Control | 2017-08-08 | Paper |
Feedback Control Logic for Backward Conflict Free Choice Nets
IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
An Optimization Approach to Petri Net Monitor Design
IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
Diagnosability Analysis of Labeled Time Petri Net Systems
IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
Observer-Based State-Feedback Control of Timed Petri Nets With Deadlock Recovery
IEEE Transactions on Automatic Control | 2017-07-12 | Paper |
State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions
IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
Integrated design of optimal supervisors for the enforcement of static and behavioral specifications in Petri net models
Automatica | 2015-06-25 | Paper |
A branch and bound approach for the design of decentralized supervisors in Petri net models
Automatica | 2015-04-29 | Paper |
On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming
Automatica | 2013-03-01 | Paper |
Equivalence of QCD in the \(\epsilon\)-regime and chiral random matrix theory with or without chemical potential
Journal of High Energy Physics | 2012-09-08 | Paper |
Closed-loop live marked graphs under generalized mutual exclusion constraint enforcement
Discrete Event Dynamic Systems | 2009-09-01 | Paper |
Massive partition functions and complex eigenvalue correlations in matrix models with symplectic symmetry
Nuclear Physics B | 2007-05-22 | Paper |
Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places
Automatica | 2006-12-14 | Paper |
| scientific article; zbMATH DE number 1820092 (Why is no real title available?) | 2002-12-16 | Paper |
| scientific article; zbMATH DE number 1836366 (Why is no real title available?) | 2002-11-27 | Paper |
