Show simple item record

dc.contributor.authorSaboori, A.en
dc.contributor.authorHadjicostis, Christoforos N.en
dc.creatorSaboori, A.en
dc.creatorHadjicostis, Christoforos N.en
dc.date.accessioned2019-04-08T07:48:14Z
dc.date.available2019-04-08T07:48:14Z
dc.date.issued2011
dc.identifier.urihttp://gnosis.library.ucy.ac.cy/handle/7/44826
dc.description.abstractThis 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.sourceControl Engineering Practiceen
dc.source.urihttps://www.scopus.com/inward/record.uri?eid=2-s2.0-79960890426&doi=10.1016%2fj.conengprac.2010.12.003&partnerID=40&md5=4529eda32b0634180f01ecfadeba05f0
dc.subjectDiscrete event simulationen
dc.subjectDiscrete event systemsen
dc.subjectAutomata theoryen
dc.subjectSensorsen
dc.subjectState estimationen
dc.subjectState-baseden
dc.subjectSystem securityen
dc.subjectNondeterministic finite automatonen
dc.subjectOpacityen
dc.subjectMobile agentsen
dc.subjectPartial observationen
dc.subjectCoverage analysisen
dc.subjectInformation flowen
dc.subjectKinematic modelen
dc.subjectKinematicsen
dc.subjectSpecific timeen
dc.subjectState-spaceen
dc.titleCoverage analysis of mobile agent trajectory via state-based opacity formulationsen
dc.typeinfo:eu-repo/semantics/article
dc.identifier.doi10.1016/j.conengprac.2010.12.003
dc.description.volume19
dc.description.issue9
dc.description.startingpage967
dc.description.endingpage977
dc.author.facultyΠολυτεχνική Σχολή / Faculty of Engineering
dc.author.departmentΤμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών / Department of Electrical and Computer Engineering
dc.type.uhtypeArticleen
dc.source.abbreviationControl Eng.Pract.en
dc.contributor.orcidHadjicostis, Christoforos N. [0000-0002-1706-708X]


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record