Francesco Basile

Available identifiers

zbMath Open basile.francescoWikidataQ109856927 ScholiaQ109856927MaRDI QIDQ446717

List of research outcomes

Publication	Date of Publication	Type
Corrigendum to: ``Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques	2025-01-08	Paper
Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques	2023-06-26	Paper
Supervisory Control of Timed Discrete-Event Systems With Logical and Temporal Specifications	2022-07-28	Paper
An approach based on timed Petri nets and tree encoding to implement search algorithms for a class of scheduling problems	2022-04-19	Paper
An optimization-based approach to assess non-interference in labeled and bounded Petri net systems	2022-04-08	Paper
Closed-Loop Deadlock-Free Supervision for GMECs in Time Petri Net Systems	2022-02-24	Paper
Noninterference Enforcement via Supervisory Control in Bounded Petri Nets	2021-09-09	Paper
An Approach to Improve Permissiveness of Supervisors for GMECs in Time Petri Net Systems	2020-01-28	Paper
Some Remarks on “State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions”	2020-01-28	Paper
An Efficient Approach for Online Diagnosis of Discrete Event Systems	2017-08-08	Paper
Feedback Control Logic for Backward Conflict Free Choice Nets	2017-07-27	Paper
An Optimization Approach to Petri Net Monitor Design	2017-07-27	Paper
Diagnosability Analysis of Labeled Time Petri Net Systems	2017-07-27	Paper
Observer-Based State-Feedback Control of Timed Petri Nets With Deadlock Recovery	2017-07-12	Paper
State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions	2017-05-16	Paper
Integrated design of optimal supervisors for the enforcement of static and behavioral specifications in Petri net models	2015-06-25	Paper
A branch and bound approach for the design of decentralized supervisors in Petri net models	2015-04-29	Paper
On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming	2013-03-01	Paper
Equivalence of QCD in the \(\epsilon\)-regime and chiral random matrix theory with or without chemical potential	2012-09-08	Paper
Closed-loop live marked graphs under generalized mutual exclusion constraint enforcement	2009-09-01	Paper
Massive partition functions and complex eigenvalue correlations in matrix models with symplectic symmetry	2007-05-22	Paper
Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places	2006-12-14	Paper
https://portal.mardi4nfdi.de/entity/Q3152837	2002-12-16	Paper
https://portal.mardi4nfdi.de/entity/Q4782036	2002-11-27	Paper

Research outcomes over time

This page was built for person: Francesco Basile