logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
C

Carla Seatzu

University of Cagliari

41H-index
349Paper Count
6.1KCitation Count
Published Papers 76
Publication Date
logo
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
errShare
errSave
Guest Editorial: Special Issue on the 2024 IEEE International Conference on Automation Science and Engineering
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
errShare
errSave
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
errShare
errSave
Allocation and Scheduling of Resource Allocation Systems via Variable Timed Petri Nets
errIEEE Transactions on Automation Science and Engineering
IF6.4
err2026-01-13
err0
PREAI
errWeijie Shi; Jianbin Qiu; Shan Luo; Zhou He; Carla Seatzu
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
Noninterference Analysis of Bounded Petri Nets Using Basis Reachability Graph
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2024-10-01
err0
PREAI
errRan, Ning; Nie, Jingyao; Meng, Aiwen; Seatzu, Carla
errShare
errSave
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
errShare
errSave
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
errShare
errSave
Prognosability Analysis and Enforcement of Bounded Labeled Petri Nets
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2022-10-01
err14
PREAI
errRan, Ning; Hao, Jinyuan; Seatzu, Carla
errShare
errSave
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
errShare
errSave
Consistent reduction in discrete-event systems
errAUTOMATICA
IF5.9
err2022-08-01
err1
PREAI
errCai, Kai; Giua, Alessandro; Seatzu, Carla
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
Supervisory Control of Petri Nets in the Presence of Replacement Attacks
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2022-03-01
err21
PREAI
errYou, Dan; Wang, Shouguang; Zhou, Mengchu; Seatzu, Carla
errShare
errSave
An MPC-Based Rescheduling Algorithm for Disruptions and Disturbances in Large-Scale Railway Networks
errIEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING
IF6.4
err2022-01-01
err29
errOAAI
errCavone, Graziana; van den Boom, Ton; Blenkers, Lex; Dotoli, Mariagrazia; Seatzu, Carla; De Schutter, Bart
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
M
MengChu Zhou
H-index: 131 · Papers: 1.7K
Z
Zheng‐Guang Wu
H-index: 87 · Papers: 461
J
Jianbin Qiu
H-index: 80 · Papers: 367
H
Hongye Su
H-index: 80 · Papers: 929
孙
孙宇 (Yu Sun)
H-index: 80 · Papers: 844
View more