Browsing by Author "Seatzu, C."
Now showing items 112 of 12

Article
55th IEEE Conference on Decision and Control, CDC 2016 [Conference Reports]
Giua, A.; Bullo, F.; Hadjicostis, Christoforos N.; Seatzu, C.; Pasqualetti, F. (2017)

Conference Object
Decentralized state estimation in discrete event systems under partially ordered observation sequences
Hadjicostis, Christoforos N.; Seatzu, C. (Institute of Electrical and Electronics Engineers Inc., 2016)We consider the problem of decentralized state estimation, where two or more observation sites send information to a coordinator who aims to determine the set of possible current states of a given discrete event system ...

Article
Fault model identification and synthesis in Petri nets
Cabasino, M. P.; Giua, A.; Hadjicostis, Christoforos N.; Seatzu, C. (2015)Fault identification studies in the Discrete Event Systems literature are typically modelbased and require knowledge of the structure of the system, including the nature (and behavior) of the possible faults. In this paper ...

Conference Object
Fault model identification with petri nets
Cabasino, M. P.; Giua, A.; Hadjicostis, Christoforos N.; Seatzu, C. (2008)Most of the fault identification problems in the Discrete Event Systems literature assume knowledge of the structure of the net system, including the nature (and behavior) of the possible faults. In this paper we deal with ...

Article
Guest editorial special section on advances in discreteevent systems for automation
Cassandras, C. G.; Fanti, M. P.; Hadjicostis, Christoforos N.; Reveliotis, S.; Seatzu, C. (2014)

Conference Object
Initial marking estimation in labeled Petri nets in a probabilistic setting
Cabasino, M. P.; Hadjicostis, Christoforos N.; Seatzu, C. (Institute of Electrical and Electronics Engineers Inc., 2014)Given a labeled Petri net with silent (unobservable) transitions, we are interested in performing initial marking estimation in a probabilistic setting. We assume a known finite set of initial markings, each with some a ...

Conference Object
Kdetectability in discrete event systems
Hadjicostis, Christoforos N.; Seatzu, C. (Institute of Electrical and Electronics Engineers Inc., 2016)This paper studies observability in discrete event systems (DES), and introduces and analyzes the property of Kdetectability. In particular, a given DES is strongly Kdetectable if eventually (after a finite number of ...

Article
Marking observer in labeled petri nets with application to supervisory control
Cabasino, M. P.; Hadjicostis, Christoforos N.; Seatzu, C. (2017)In this paper, we consider the problem of marking estimation in labeled Petri nets whose initial marking is known to belong to a given convex set, in the presence of silent transitions (i.e., transitions labeled with the ...

Conference Object
Marking observer of labeled petri nets with uncertainty in the initial marking
Cabasino, M. P.; Seatzu, C.; Hadjicostis, Christoforos N. (2013)In this paper we consider marking estimation in labeled Petri nets whose initial marking is known to belong to a given convex set. We allow for silent transitions (i.e., transitions labeled with the empty word) and ...

Conference Object
Probabilistic marking estimation in labeled petri nets
Cabasino, M. P.; Hadjicostis, Christoforos N.; Seatzu, C. (Institute of Electrical and Electronics Engineers Inc., 2013)Given a labeled Petri net, possibly with silent transitions, we are interested in performing current marking estimation in a probabilistic setting. We assume a known initial marking or a known finite set of initial markings, ...

Article
Probabilistic marking estimation in labeled petri nets
Cabasino, M. P.; Hadjicostis, Christoforos N.; Seatzu, C. (2015)Given a labeled Petri net, possibly with silent (unobservable) transitions, we are interested in performing marking estimation in a probabilistic setting. We assume a known initial marking or a known finite set of initial ...

Conference Object
State feedback control of labeled Petri nets with uncertainty in the initial marking
Cabasino, M. P.; Hadjicostis, Christoforos N.; Seatzu, C. (Institute of Electrical and Electronics Engineers Inc., 2014)In this paper we consider the problem of designing a state feedback controller for a labeled Petri net whose initial marking is known to belong to a given convex set. We allow for silent transitions (i.e., transitions ...