Francesco Basile

Available identifiers

zbMath Open basile.francescoWikidataQ109856927 ScholiaQ109856927MaRDI QIDQ446717

List of research outcomes

Publication	Date of Publication	Type
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
Some Remarks on “State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions”	2020-01-28	Paper
An Approach to Improve Permissiveness of Supervisors for GMECs in Time Petri Net Systems	2020-01-28	Paper
An Efficient Approach for Online Diagnosis of Discrete Event Systems	2017-08-08	Paper
An Optimization Approach to Petri Net Monitor Design	2017-07-27	Paper
Feedback Control Logic for Backward Conflict Free Choice Nets	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Francesco Basile