World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
43
Citations
7472
World Ranking
8013
National Ranking
214

Overview

Carla Seatzu is affiliated with the University of Cagliari in Italy and has a research focus primarily within the field of Computer Science. Their work spans several subfields, including Computational Theory and Mathematics, Computer Networks and Communications, Artificial Intelligence, Hardware and Architecture, and Industrial and Manufacturing Engineering.

The scientist's research topics cover a diverse range of areas related to system modeling and formal methods, with emphasis on:

  • Petri Nets in System Modeling
  • Formal Methods in Verification
  • Distributed Systems and Fault Tolerance
  • Flexible and Reconfigurable Manufacturing Systems
  • Security and Verification in Computing
  • Smart Grid Security and Resilience
  • Real-Time Systems Scheduling

Carla Seatzu has published extensively, with notable contributions to the following venues:

  • IEEE Transactions on Automatic Control
  • IFAC-PapersOnLine
  • arXiv (Cornell University)
  • IEEE Transactions on Automation Science and Engineering
  • Automatica

Recent publications by Carla Seatzu include:

  • "An MPC-Based Rescheduling Algorithm for Disruptions and Disturbances in Large-Scale Railway Networks," 2020, IEEE Transactions on Automation Science and Engineering
  • "Supervisory Control of Petri Nets in the Presence of Replacement Attacks," 2021, IEEE Transactions on Automatic Control
  • "Design of Modern Supply Chain Networks Using Fuzzy Bargaining Game and Data Envelopment Analysis," 2020, IEEE Transactions on Automation Science and Engineering
  • "A Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks," 2021, IEEE Transactions on Systems Man and Cybernetics Systems
  • "Prognosability Analysis and Enforcement of Bounded Labeled Petri Nets," 2021, IEEE Transactions on Automatic Control

Frequent collaborators include Alessandro Giua, Yin Tong, Dimitri Lefebvre, Zhiwu Li, and Hao Lan. Collaboration with these coauthors reflects a sustained effort in areas related to control theory, formal verification, and system resilience.

Best Publications

  • Fault detection for discrete event systems using Petri nets with unobservable transitions

    A. Giua;C. Seatzu

  • Verification of State-Based Opacity Using Petri Nets

    Yin Tong;Zhiwu Li;Carla Seatzu;Alessandro Giua

  • Optimal control of continuous-time switched affine systems

    C. Seatzu;D. Corona;A. Giua;A. Bemporad

  • Discrete event diagnosis using labeled Petri nets. An application to manufacturing systems

    Maria Paola Cabasino;Alessandro Giua;M Pocci;Carla Seatzu

  • Observability of place/transition nets

    A. Giua;C. Seatzu

  • Modeling and Supervisory Control of Railway Networks Using Petri Nets

    A. Giua;C. Seatzu

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

    M. P. Cabasino;A. Giua;S. Lafortune;C. Seatzu

  • Optimal control of switched autonomous linear systems

    A. Giua;C. Seatzu;C. Van der Mee

  • Marking estimation of Petri nets with silent transitions

    A. Giua;C. Seatzu;D. Corona

  • Decentralized estimation of Laplacian eigenvalues in multi-agent systems

    Mauro Franceschelli;Andrea Gasparri;Alessandro Giua;Carla Seatzu

  • State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions

    Francesco Basile;Maria Paola Cabasino;Carla Seatzu

  • Diagnosability of Discrete-Event Systems Using Labeled Petri Nets

    Maria Paola Cabasino;Alessandro Giua;Carla Seatzu

  • Control of Discrete-Event Systems: Automata and Petri Net Perspectives

    Carla Seatzu;Manuel Silva;Jan H. van Schuppen

  • An overview of current technologies and emerging trends in factory automation

    Mariagrazia Dotoli;Alexander Fay;Marek Miśkowicz;Carla Seatzu

  • DESIGN OF A PREDICTIVE SEMIACTIVE SUSPENSION SYSTEM

    Alessanro Giua;Mauro Melas;Carla Seatzu;Giampaolo Usai

  • Observer-based state-feedback control of timed Petri nets with deadlock recovery

    A. Giua;C. Seatzu;F. Basile

  • Distributed Averaging in Sensor Networks Based on Broadcast Gossip Algorithms

    M Franceschelli;A Giua;C Seatzu

  • Identification of Petri Nets from Knowledge of Their Language

    Maria Paola Cabasino;Alessandro Giua;Carla Seatzu

  • Modelling and simulation of manufacturing systems with first-order hybrid Petri nets

    Fabio Balduzzi;Alessandro Giua;Carla Seatzu

  • Current-state opacity enforcement in discrete event systems under incomparable observations

    Yin Tong;Zhiwu Li;Zhiwu Li;Carla Seatzu;Alessandro Giua;Alessandro Giua

  • Brief Observer-controller design for cranes via Lyapunov equivalence

    Alessandro Giua;Carla Seatzu;Giampaolo Usai

Frequent Co-Authors

Alessandro Giua
Alessandro Giua University of Cagliari
Mariagrazia Dotoli
Mariagrazia Dotoli Polytechnic University of Bari
Zhiwu Li
Zhiwu Li Macau University of Science and Technology
Christoforos N. Hadjicostis
Christoforos N. Hadjicostis University of Cyprus
Manuel Silva
Manuel Silva University of Zaragoza
Maria Pia Fanti
Maria Pia Fanti Polytechnic University of Bari
Magnus Egerstedt
Magnus Egerstedt University of North Carolina at Chapel Hill
Stéphane Lafortune
Stéphane Lafortune University of Michigan–Ann Arbor
Alberto Bemporad
Alberto Bemporad IMT Institute for Advanced Studies Lucca
Francesco Bullo
Francesco Bullo University of California, Santa Barbara

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring Computer Science in the USA opens doors to a wide range of online degree options, each tailored to diverse career aspirations. Many students aim for advanced leadership or interdisciplinary roles, where an affordable online executive MBA programs can add management expertise to technical skills. This path is ideal for those seeking to lead tech-driven enterprises.

If your interests combine information technology with library or data management, consider an mlis degree. This qualification is uniquely positioned for careers in digital archiving, knowledge management, and information science.

Financial considerations can be an obstacle, so looking into the cheapest online masters programs helps minimize debt while gaining a valued credential. These programs span technology, engineering, business, and more.

For those with aspirations toward research or executive leadership, pursuing an affordable doctoral programs in leadership can be a transformative step. This qualification prepares graduates for high-level roles in both academia and industry.

Best Scientists Citing Carla Seatzu

Trending Scientists

Recently Published Articles