The following pages link to Francesco Basile (Q446717):
Displaying 24 items.
- Equivalence of QCD in the \(\epsilon\)-regime and chiral random matrix theory with or without chemical potential (Q446718) (← links)
- Closed-loop live marked graphs under generalized mutual exclusion constraint enforcement (Q838995) (← links)
- Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places (Q857147) (← links)
- Massive partition functions and complex eigenvalue correlations in matrix models with symplectic symmetry (Q881339) (← links)
- (Q1937477) (redirect page) (← links)
- On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming (Q1937479) (← links)
- An optimization-based approach to assess non-interference in labeled and bounded Petri net systems (Q2123401) (← links)
- An approach based on timed Petri nets and tree encoding to implement search algorithms for a class of scheduling problems (Q2127112) (← links)
- A branch and bound approach for the design of decentralized supervisors in Petri net models (Q2342792) (← links)
- Integrated design of optimal supervisors for the enforcement of static and behavioral specifications in Petri net models (Q2350813) (← links)
- State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions (Q2982770) (← links)
- (Q3152837) (← links)
- (Q4782036) (← links)
- Noninterference Enforcement via Supervisory Control in Bounded Petri Nets (Q4957611) (← links)
- An Efficient Approach for Online Diagnosis of Discrete Event Systems (Q4974517) (← links)
- Closed-Loop Deadlock-Free Supervision for GMECs in Time Petri Net Systems (Q5033822) (← links)
- Supervisory Control of Timed Discrete-Event Systems With Logical and Temporal Specifications (Q5092184) (← links)
- Some Remarks on “State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions” (Q5211303) (← links)
- An Approach to Improve Permissiveness of Supervisors for GMECs in Time Petri Net Systems (Q5211328) (← links)
- Observer-Based State-Feedback Control of Timed Petri Nets With Deadlock Recovery (Q5273656) (← links)
- An Optimization Approach to Petri Net Monitor Design (Q5282039) (← links)
- Feedback Control Logic for Backward Conflict Free Choice Nets (Q5282055) (← links)
- Diagnosability Analysis of Labeled Time Petri Net Systems (Q5282382) (← links)
- Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques (Q6160740) (← links)
