Concepedia

Carla Seatzu

CS

Statistics

Publications

136

Citations

5.3K

H-Index

40

Active since

1999

Affiliations

University of Cagliari(Current)

Polytechnic University of Bari

Xidian University

Centre National de la Recherche Scientifique

Université de Toulon

Carla Seatzu is an author at University of Cagliari specializing in engineering, systems engineering, and computer science.

Top concepts

EngineeringSystems EngineeringComputer ScienceProcess ControlFormal MethodsFormal VerificationComputer EngineeringVerificationNetwork AnalysisOperations Research

Publications per year

1999–2022

136

Publications

136

Verification of State-Based Opacity Using Petri Nets

Yin Tong, Zhiwu Li, Carla Seatzu et al. · IEEE Transactions on Automatic Control · 2016 · 269 citations · Full text

Petri Net, Engineering, Reachability Problem +19

Optimal Control of Continuous-Time Switched Affine Systems

Carla Seatzu, Daniele Corona, Alessandro Giua et al. · IEEE Transactions on Automatic Control · 2006 · 181 citations

Mathematical Programming, Optimal Control, Finite Length +9

Observability of place/transition nets

Alessandro Giua, Carla Seatzu · IEEE Transactions on Automatic Control · 2002 · 165 citations

Petri Net, Engineering, Initial Marking +16

Modeling and Supervisory Control of Railway Networks Using Petri Nets

Alessandro Giua, Carla Seatzu · IEEE Transactions on Automation Science and Engineering · 2008 · 156 citations

Railway Traffic, Petri Net, Engineering +16

A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets

Maria Paola Cabasino, Alessandro Giua, Stéphane Lafortune et al. · IEEE Transactions on Automatic Control · 2012 · 153 citations · Full text

Petri Net, Engineering, Reachability Problem +26

1–5 of 136