• 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 ...