Francesco Basile

From MaRDI portal
Person:446717

Available identifiers

zbMath Open basile.francescoWikidataQ109856927 ScholiaQ109856927MaRDI QIDQ446717

List of research outcomes





PublicationDate of PublicationType
Corrigendum to: ``Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques2025-01-08Paper
Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques2023-06-26Paper
Supervisory Control of Timed Discrete-Event Systems With Logical and Temporal Specifications2022-07-28Paper
An approach based on timed Petri nets and tree encoding to implement search algorithms for a class of scheduling problems2022-04-19Paper
An optimization-based approach to assess non-interference in labeled and bounded Petri net systems2022-04-08Paper
Closed-Loop Deadlock-Free Supervision for GMECs in Time Petri Net Systems2022-02-24Paper
Noninterference Enforcement via Supervisory Control in Bounded Petri Nets2021-09-09Paper
An Approach to Improve Permissiveness of Supervisors for GMECs in Time Petri Net Systems2020-01-28Paper
Some Remarks on “State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions”2020-01-28Paper
An Efficient Approach for Online Diagnosis of Discrete Event Systems2017-08-08Paper
Feedback Control Logic for Backward Conflict Free Choice Nets2017-07-27Paper
An Optimization Approach to Petri Net Monitor Design2017-07-27Paper
Diagnosability Analysis of Labeled Time Petri Net Systems2017-07-27Paper
Observer-Based State-Feedback Control of Timed Petri Nets With Deadlock Recovery2017-07-12Paper
State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions2017-05-16Paper
Integrated design of optimal supervisors for the enforcement of static and behavioral specifications in Petri net models2015-06-25Paper
A branch and bound approach for the design of decentralized supervisors in Petri net models2015-04-29Paper
On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming2013-03-01Paper
Equivalence of QCD in the \(\epsilon\)-regime and chiral random matrix theory with or without chemical potential2012-09-08Paper
Closed-loop live marked graphs under generalized mutual exclusion constraint enforcement2009-09-01Paper
Massive partition functions and complex eigenvalue correlations in matrix models with symplectic symmetry2007-05-22Paper
Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places2006-12-14Paper
https://portal.mardi4nfdi.de/entity/Q31528372002-12-16Paper
https://portal.mardi4nfdi.de/entity/Q47820362002-11-27Paper

Research outcomes over time

This page was built for person: Francesco Basile