dc.contributor.author | Saboori, A. | en |
dc.contributor.author | Hadjicostis, Christoforos N. | en |
dc.creator | Saboori, A. | en |
dc.creator | Hadjicostis, Christoforos N. | en |
dc.date.accessioned | 2019-04-08T07:48:14Z | |
dc.date.available | 2019-04-08T07:48:14Z | |
dc.date.issued | 2011 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/44826 | |
dc.description.abstract | This paper performs coverage analysis of mobile agent trajectory utilizing discrete event system models and employing state-based notions of opacity. Non-deterministic finite automata with partial observation on their transitions are used to simultaneously capture both the kinematic model of a mobile agent and the information that becomes available by a set of sensors that are deployed in a given environment. The information provided by the set of sensors is analyzed to track the passage of a mobile agent through certain secret (strategic) locations at specific time instants using state-space notions of opacity, which arise naturally as the way to capture/analyze secrecy and privacy considerations in such settings, and to answer related coverage questions. Realistic examples of two-dimensional environments equipped with sensors monitoring the location of a mobile agent that follows a known kinematic model are subsequently analyzed by adopting existing tools in the discrete event systems area. © 2010 Elsevier Ltd. | en |
dc.source | Control Engineering Practice | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-79960890426&doi=10.1016%2fj.conengprac.2010.12.003&partnerID=40&md5=4529eda32b0634180f01ecfadeba05f0 | |
dc.subject | Discrete event simulation | en |
dc.subject | Discrete event systems | en |
dc.subject | Automata theory | en |
dc.subject | Sensors | en |
dc.subject | State estimation | en |
dc.subject | State-based | en |
dc.subject | System security | en |
dc.subject | Nondeterministic finite automaton | en |
dc.subject | Opacity | en |
dc.subject | Mobile agents | en |
dc.subject | Partial observation | en |
dc.subject | Coverage analysis | en |
dc.subject | Information flow | en |
dc.subject | Kinematic model | en |
dc.subject | Kinematics | en |
dc.subject | Specific time | en |
dc.subject | State-space | en |
dc.title | Coverage analysis of mobile agent trajectory via state-based opacity formulations | en |
dc.type | info:eu-repo/semantics/article | |
dc.identifier.doi | 10.1016/j.conengprac.2010.12.003 | |
dc.description.volume | 19 | |
dc.description.issue | 9 | |
dc.description.startingpage | 967 | |
dc.description.endingpage | 977 | |
dc.author.faculty | Πολυτεχνική Σχολή / Faculty of Engineering | |
dc.author.department | Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών / Department of Electrical and Computer Engineering | |
dc.type.uhtype | Article | en |
dc.source.abbreviation | Control Eng.Pract. | en |
dc.contributor.orcid | Hadjicostis, Christoforos N. [0000-0002-1706-708X] | |
dc.gnosis.orcid | 0000-0002-1706-708X | |