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

Carla Seatzu

University of Cagliari

41H指数
351论文数
6.1K被引数
收录论文 78
发表时间
logo
A Real-Time Heuristic for Large-Scale Workforce Task Assignment, Multi-Vehicle Routing, and Scheduling With Time-Dependent Profits大规模劳动力任务分配、多车辆路径规划和时间依赖性利润调度实时启发式算法
errIEEE Transactions on Automation Science and Engineering
IF6.4
err2026-09-03
err0
errOAAI
errDiego Deplano; Carla Seatzu; Mauro Franceschelli
err分享
err收藏
Observer design and opacity verification for a class of timed automata时序自动机类系统的观测器设计与不透明性验证
errNonlinear Analysis-Hybrid Systems
IF4.1
err2026-08-19
err0
PREAI
errChao Gao; Dimitri Lefebvre; Carla Seatzu; Zhiwu Li; Alessandro Giua
err分享
err收藏
Thermal modeling of thin-layer bread via neural networks: Experimental validation in a Sardinian bakery通过神经网络对薄层面包进行热建模：在撒丁岛面包店的实验验证
errControl Engineering Practice
IF4.6
err2026-04-29
err0
errOAAI
errDiego Deplano; Nicola Arridu; Carla Seatzu; Mauro Franceschelli
err分享
err收藏
Guest Editorial: Special Issue on the 2024 IEEE International Conference on Automation Science and Engineering客座编辑：2024年IEEE国际自动化科学与工程会议专刊
errIEEE Transactions on Automation Science and Engineering
IF6.4
err2026-03-25
err0
PREAI
errCarla Seatzu; Birgit Vogel-Heuser; Paolo Scarabaggio; Jingang Yi; Michael Yu Wang; Qianchuan Zhao
err分享
err收藏
Noninterference Analysis of Bounded Labeled Petri Nets
errIEEE Transactions on Automatic Control
IF7
err2026-02-06
err0
PREAI
errNing Ran; Zhengguang Wu; Shaokang Zhang; Zhou He; Carla Seatzu
err分享
err收藏
Allocation and Scheduling of Resource Allocation Systems via Variable Timed Petri Nets基于可变时间Petri网的资源分配系统的分配和调度
errIEEE Transactions on Automation Science and Engineering
IF6.4
err2026-01-13
err0
PREAI
errWeijie Shi; Jianbin Qiu; Shan Luo; Zhou He; Carla Seatzu
err分享
err收藏
State Estimation of Timed Automata Under Partial Observation
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2025-03-01
err0
PREAI
errGao, Chao; Lefebvre, Dimitri; Seatzu, Carla; Li, Zhiwu; Giua, Alessandro
err分享
err收藏
Detectability notions for a class of finite labeled Markovian systems
errNONLINEAR ANALYSIS-HYBRID SYSTEMS
IF4.1
err2025-03-01
err0
errOAAI
errLefebvre, Dimitri; Seatzu, Carla; Hadjicostis, Christoforos N.; Giua, Alessandro
err分享
err收藏
A joint diagnoser approach for diagnosability of discrete event systems under attack
errAUTOMATICA
IF5.9
err2025-02-01
err0
PREAI
errKang, Tenglong; Seatzu, Carla; Li, Zhiwu; Giua, Alessandro
err分享
err收藏
Signal-Interpreted Coloured Petri Nets: A modelling tool for rapid prototyping in feedback-based control of discrete event systems
errCONTROL ENGINEERING PRACTICE
IF4.6
err2024-12-01
err1
PREAI
errBorges, Matheus Ungaretti; Pilloni, Alessandro; Pontes, Gustavo Ribeiro; Seatzu, Carla; Lima II, Eduardo Jose
err分享
err收藏
Concealability Analysis for Current-State Opacity Enforcement via Editing Functions
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2024-10-01
err0
PREAI
errPeng, Kun; Chen, Yufeng; Seatzu, Carla; Li, Zhiwu; Giua, Alessandro
err分享
err收藏
Noninterference Analysis of Bounded Petri Nets Using Basis Reachability Graph基于可达性图的有界Petri网无干扰分析
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2024-10-01
err0
PREAI
errRan, Ning; Nie, Jingyao; Meng, Aiwen; Seatzu, Carla
err分享
err收藏
Verification of Pattern-Pattern Diagnosability in Partially Observed Discrete Event Systems在部分观察到的离散事件系统中验证模式模式可诊断性
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2024-03-01
err1
PREAI
errMa, Ziyue; Tong, Yin; Seatzu, Carla
err分享
err收藏
Codiagnosability Enforcement in Labeled Petri Nets
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2023-04-01
err16
PREAI
errRan, Ning; Li, Tingting; He, Zhou; Seatzu, Carla
err分享
err收藏
Prognosability Analysis and Enforcement of Bounded Labeled Petri Nets有界标记Petri网的可预测性分析与实施
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2022-10-01
err14
PREAI
errRan, Ning; Hao, Jinyuan; Seatzu, Carla
err分享
err收藏
Selection of a stealthy and harmful attack function in discrete event systems
errSCIENTIFIC REPORTS
IF3.9
err2022-09-29
err9
errOAAI
errZhang, Qi; Seatzu, Carla; Li, Zhiwu; Giua, Alessandro
err分享
err收藏
Consistent reduction in discrete-event systems
errAUTOMATICA
IF5.9
err2022-08-01
err1
PREAI
errCai, Kai; Giua, Alessandro; Seatzu, Carla
err分享
err收藏
Verification of K-step and infinite-step opacity of bounded labeled Petri nets
errAUTOMATICA
IF5.9
err2022-06-01
err10
PREAI
errTong, Yin; Lan, Hao; Seatzu, Carla
err分享
err收藏
Crucial States Estimation in Radio Block Center Handover Using Petri Nets With Unobservable Transitions
errIEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING
IF6.4
err2022-04-01
err10
PREAI
errLan, Hao; Tong, Yin; Seatzu, Carla
err分享
err收藏
A Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks
errieee transactions on cybernetics
IF8.7
err2022-04-01
err16
PREAI
errYou, Dan; Wang, Shouguang; Seatzu, Carla
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
M
MengChu Zhou
H 指数: 131 · 论文数: 1.7K
Z
Zheng‐Guang Wu
H 指数: 87 · 论文数: 462
J
Jianbin Qiu
H 指数: 80 · 论文数: 368
H
Hongye Su
H 指数: 80 · 论文数: 932
孙
孙宇 (Yu Sun)
H 指数: 80 · 论文数: 847
查看更多