Her main research concerns Petri net, Stochastic Petri net, Control theory, Process architecture and Discrete mathematics. Her Petri net study integrates concerns from other disciplines, such as Linear programming and Automaton, Theoretical computer science. Her Stochastic Petri net research integrates issues from Hybrid system, Net and Reachability.
Her Control theory research incorporates themes from Sequence and State. Carla Seatzu works mostly in the field of Process architecture, limiting it down to concerns involving Bounded function and, occasionally, Damper and Suspension. Her Discrete mathematics research is multidisciplinary, incorporating perspectives in Upper and lower bounds, Set, Monotonic function and Formal language.
Her primary areas of investigation include Petri net, Stochastic Petri net, Control theory, Theoretical computer science and Algorithm. Her Petri net study combines topics from a wide range of disciplines, such as Bounded function, Set and Reachability. Her research integrates issues of Discrete mathematics, Net, Linear programming and Integer programming in her study of Stochastic Petri net.
Her Control theory study deals with Sequence intersecting with State. Her studies deal with areas such as Computational complexity theory and Finite-state machine as well as Theoretical computer science. Her work on State as part of general Algorithm study is frequently linked to Event, therefore connecting diverse disciplines of science.
Carla Seatzu mostly deals with Petri net, Algorithm, Theoretical computer science, Bounded function and Automaton. Her primary area of study in Petri net is in the field of Stochastic Petri net. The study incorporates disciplines such as Observer and Set in addition to Algorithm.
Her study focuses on the intersection of Theoretical computer science and fields such as Finite-state machine with connections in the field of Structure. Her Bounded function study incorporates themes from Lyapunov function, Outlier, Network topology, Tracking error and Consensus. Her Automaton research incorporates elements of Discrete mathematics, Cover, State, Linear programming and Function.
The scientist’s investigation covers issues in Petri net, Algorithm, Automaton, Operations research and Theoretical computer science. Carla Seatzu studies Stochastic Petri net which is a part of Petri net. Her work in Stochastic Petri net addresses subjects such as Process architecture, which are connected to disciplines such as Reachability and Graph.
Her study looks at the relationship between Algorithm and topics such as Graph, which overlap with Model checking. Her biological study spans a wide range of topics, including Discrete mathematics, Linear programming, Basis and Integer programming. Her research investigates the connection with Operations research and areas like Data envelopment analysis which intersect with concerns in Maximization.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
Fault detection for discrete event systems using Petri nets with unobservable transitions
A. Giua;C. Seatzu.
conference on decision and control (2005)
Optimal control of continuous-time switched affine systems
C. Seatzu;D. Corona;A. Giua;A. Bemporad.
IEEE Transactions on Automatic Control (2006)
Observability of place/transition nets
A. Giua;C. Seatzu.
IEEE Transactions on Automatic Control (2002)
Modeling and Supervisory Control of Railway Networks Using Petri Nets
A. Giua;C. Seatzu.
IEEE Transactions on Automation Science and Engineering (2008)
Verification of State-Based Opacity Using Petri Nets
Yin Tong;Zhiwu Li;Carla Seatzu;Alessandro Giua.
Discrete event diagnosis using labeled Petri nets. An application to manufacturing systems
Maria Paola Cabasino;Alessandro Giua;M Pocci;Carla Seatzu.
Control Engineering Practice (2011)
A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets
M. P. Cabasino;A. Giua;S. Lafortune;C. Seatzu.
IEEE Transactions on Automatic Control (2012)
Optimal control of switched autonomous linear systems
A. Giua;C. Seatzu;C. Van der Mee.
conference on decision and control (2001)
Marking estimation of Petri nets with silent transitions
A. Giua;C. Seatzu;D. Corona.
conference on decision and control (2004)
Decentralized estimation of Laplacian eigenvalues in multi-agent systems
Mauro Franceschelli;Andrea Gasparri;Alessandro Giua;Carla Seatzu.
If you think any of the details on this page are incorrect, let us know.
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: