dc.contributor.author | Cabasino, M. P. | en |
dc.contributor.author | Hadjicostis, Christoforos N. | en |
dc.contributor.author | Seatzu, C. | en |
dc.creator | Cabasino, M. P. | en |
dc.creator | Hadjicostis, Christoforos N. | en |
dc.creator | Seatzu, C. | en |
dc.date.accessioned | 2019-04-08T07:44:57Z | |
dc.date.available | 2019-04-08T07:44:57Z | |
dc.date.issued | 2014 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/42932 | |
dc.description.abstract | 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 priori probability, and our goal is to obtain the conditional probabilities of initial markings of the Petri net, conditioned on an observed sequence of labels. Under a Markovian assumption on the probabilistic model, we develop a recursive algorithm that allows us to efficiently determine the conditional probabilities for each possible initial marking (conditioned on the sequence of observations seen so far). We illustrate the proposed methodology via an example and discuss potential applications in the context of initial state opacity for security applications. © 2014 IEEE. | en |
dc.publisher | Institute of Electrical and Electronics Engineers Inc. | en |
dc.source | Proceedings of the IEEE Conference on Decision and Control | en |
dc.source | Proceedings of the IEEE Conference on Decision and Control | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84988292045&doi=10.1109%2fCDC.2014.7040445&partnerID=40&md5=d55fd81d51fb21a8a8f636eb25d69b27 | |
dc.title | Initial marking estimation in labeled Petri nets in a probabilistic setting | en |
dc.type | info:eu-repo/semantics/conferenceObject | |
dc.identifier.doi | 10.1109/CDC.2014.7040445 | |
dc.description.volume | 2015-February | en |
dc.description.startingpage | 6725 | |
dc.description.endingpage | 6730 | |
dc.author.faculty | Πολυτεχνική Σχολή / Faculty of Engineering | |
dc.author.department | Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών / Department of Electrical and Computer Engineering | |
dc.type.uhtype | Conference Object | en |
dc.contributor.orcid | Hadjicostis, Christoforos N. [0000-0002-1706-708X] | |
dc.gnosis.orcid | 0000-0002-1706-708X | |