Browsing by Author "Seatzu, C."

Now showing items 1-12 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 model-based 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 discrete-event 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  

      K-detectability 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 K-detectability. In particular, a given DES is strongly K-detectable 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 ...