Browsing Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών / Department of Electrical and Computer Engineering by Author "Cabasino, M. P."
Now showing items 1-10 of 10
-
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 ...
-
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 ...
-
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 ...
-
Article
Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications
Ru, Y.; Cabasino, M. P.; Giua, A.; Hadjicostis, Christoforos N. (2014)In this paper, we consider the forbidden state problem in discrete event systems modeled by partially observed and partially controlled Petri nets. Assuming that the reverse net of the uncontrollable subnet of the Petri ...
-
Conference Object
Supervisor synthesis for discrete event systems with arbitrary forbidden state specifications
Ru, Y.; Cabasino, M. P.; Giua, A.; Hadjicostis, Christoforos N. (2008)In this paper, we consider the forbidden state problem in discrete event systems modeled by Petri nets with uncontrollable and/or unobservable transitions. To handle the interleaving of uncontrollable and unobservable ...