logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
F

Francesco Basile

university of salerno

27H指数
181论文数
2.5K被引数
收录论文 39
发表时间
logo
Initial-State-Opacity Assessment in Timed Discrete Event Systems via Optimization Techniques基于优化技术的定时离散事件系统初始状态不透明性评估
errIEEE Transactions on Automatic Control
IF7
err2026-02-27
err0
PREAI
errFrancesco Basile; Enrica Calce; Gianmaria De Tommasi
err分享
err收藏
Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques (vol 152, 110911, 2023)
errAUTOMATICA
IF5.9
err2025-01-01
err0
PREAI
errBasile, Francesco; De Tommasi, Gianmaria; Motta, Carlo
err分享
err收藏
Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques
errAUTOMATICA
IF5.9
err2023-06-01
err8
PREAI
errBasile, Francesco; De Tommasi, Gianmaria; Motta, Carlo
err分享
err收藏
Validation of Industrial Automation Systems Using a Timed Model of System Requirements
errIEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY
IF3.9
err2023-01-01
err5
PREAI
errBasile, Francesco; Ferrara, Luigi
err分享
err收藏
Residuals-based fault diagnosis of industrial automation systems using timed and untimed Interpreted Petri nets
errCONTROL ENGINEERING PRACTICE
IF4.6
err2022-12-01
err2
PREAI
errBasile, Francesco; Ferrara, Luigi
err分享
err收藏
Supervisory Control of Timed Discrete-Event Systems With Logical and Temporal Specifications
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2022-06-01
err16
errOAAI
errBasile, Francesco; Cordone, Roberto; Piroddi, Luigi
err分享
err收藏
An optimization-based approach to assess non-interference in labeled and bounded Petri net systems
errNONLINEAR ANALYSIS-HYBRID SYSTEMS
IF4.1
err2022-05-01
err5
PREAI
errBasile, Francesco; Boccia, Maurizio; De Tommasi, Gianmaria; Motta, Carlo; Sterle, Claudio
err分享
err收藏
Closed-Loop Deadlock-Free Supervision for GMECs in Time Petri Net Systems
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2021-11-01
err23
PREAI
errLi, Liang; Basile, Francesco; Li, Zhiwu
err分享
err收藏
Noninterference Enforcement via Supervisory Control in Bounded Petri Nets通过有界Petri网中的监督控制实现无干扰执行
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2021-08-01
err14
PREAI
errBasile, Francesco; De Tommasi, Gianmaria; Sterle, Claudio
err分享
err收藏
An Optimization-Based Approach to Discover the Unobservable Behavior of a Discrete-Event System Through Interpreted Petri Nets
errIEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING
IF6.4
err2020-04-01
err18
errOAAI
errBasile, Francesco; Faraut, Gregory; Ferrara, Luigi; Lesage, Jean-Jacques
err分享
err收藏
An Approach to Improve Permissiveness of Supervisors for GMECs in Time Petri Net Systems一种提高时间Petri网系统中GMECs主管权限的方法
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2020-01-01
err54
PREAI
errLi, Liang; Basile, Francesco; Li, Zhiwu
err分享
err收藏
Some Remarks on State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2019-12-01
err18
errOAAI
errHe, Zhou; Li, Zhiwu; Giua, Alessandro; Basile, Francesco; Seatzu, Carla
err分享
err收藏
An auction-based approach to control automated warehouses using smart vehicles
errCONTROL ENGINEERING PRACTICE
IF4.6
err2019-09-01
err12
PREAI
errBasile, F.; Chiacchio, P.; Di Marino, E.
err分享
err收藏
Identification of Time Petri Net Models时间Petri网模型的辨识
errieee transactions on cybernetics
IF8.7
err2017-09-01
err19
PREAI
errBasile, Francesco; Chiacchio, Pasquale; Coppola, Jolanda
err分享
err收藏
Diagnosability Analysis of Labeled Time Petri Net Systems
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2017-03-01
err49
errOAAI
errBasile, Francesco; Cabasino, Maria Paola; Seatzu, Carla
err分享
err收藏
A Novel Model Repair Approach of Timed Discrete-Event Systems With Anomalies
errIEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING
IF6.4
err2016-10-01
err15
PREAI
errBasile, Francesco; Chiacchio, Pasquale; Coppola, Jolanda
err分享
err收藏
State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2015-04-01
err107
PREAI
errBasile, Francesco; Cabasino, Maria Paola; Seatzu, Carla
err分享
err收藏
A branch and bound approach for the design of decentralized supervisors in Petri net modelsPetri网模型中分散监督者设计的分支定界方法
errAUTOMATICA
IF5.9
err2015-02-01
err53
errOAAI
errBasile, Francesco; Cordone, Roberto; Piroddi, Luigi
err分享
err收藏
Automated synthesis of hybrid Petri net models for robotic cells in the aircraft industry
errCONTROL ENGINEERING PRACTICE
IF4.6
err2014-10-01
err10
PREAI
errBasile, Francesco; Caccavale, Fabrizio; Chiacchio, Pasquale; Coppola, Jolanda; Marino, Alessandro; Gerbasio, Diego
err分享
err收藏
Supervisory Control for State-Vector Transition Models-A Unified Approach
errIEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING
IF6.4
err2014-01-01
err7
PREAI
errLennartson, Bengt; Basile, Francesco; Miremadi, Sajed; Fei, Zhennan; Hosseini, Mona Noori; Fabian, Martin; Akesson, Knut
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
Z
Zhiwu Li
H 指数: 78 · 论文数: 931
A
Alessandro Giua
H 指数: 51 · 论文数: 531
F
Francesco Amato
H 指数: 43 · 论文数: 469
C
Carla Seatzu
H 指数: 41 · 论文数: 351
F
Fabrizio Caccavale
H 指数: 39 · 论文数: 185
查看更多