Show simple item record

dc.contributor.authorHadjicostis, Christoforos N.en
dc.creatorHadjicostis, Christoforos N.en
dc.date.accessioned2021-01-26T09:46:00Z
dc.date.available2021-01-26T09:46:00Z
dc.date.issued2018
dc.identifier.issn2405-8963
dc.identifier.urihttp://gnosis.library.ucy.ac.cy/handle/7/63496
dc.description.abstractPrivacy and security guarantee against curious observers or malicious actors has recently emerged as a critical aspect for maintaining, protecting, and securing complex automated systems that are implemented over shared (thus, non-secure) cyber-infrastructures, such as the Internet. In this paper, we discuss how current-state opacity formulations can be used to capture privacy properties of interest in automated systems that are modeled as controlled finite automata that need to be steered from one state (initial location) to another state (target location), while maintaining certain privacy guarantees. More specifically, given a deterministic finite automaton that is externally observed via some output mapping, along with a subset of states S that are considered critical/secret, we aim to drive it from a given initial state (starting location) to a given target state (final location) while ensuring that, in the process, the state (location) of the finite automaton at any given time is not exposed (i.e., the external observer cannot be certain that the state of the system belongs to the set of critical/secret states S). We develop two algorithms that can be used to solve this constrained trajectory planning problem and obtain an appropriate sequence of inputs (if one exists) or conclude that no such sequence exists (otherwise). The first algorithm has complexity O(N2N) and the second algorithm has complexity O(NK+2), where N (K) is the number of states (secret states).en
dc.language.isoenen
dc.sourceIFAC-PapersOnLineen
dc.source.urihttp://www.sciencedirect.com/science/article/pii/S2405896318306529
dc.titleTrajectory Planning under Current-State Opacity Constraintsen
dc.typeinfo:eu-repo/semantics/article
dc.identifier.doi10.1016/j.ifacol.2018.06.322
dc.description.volume51
dc.description.issue7
dc.description.startingpage337
dc.description.endingpage342
dc.author.facultyΠολυτεχνική Σχολή / Faculty of Engineering
dc.author.departmentΤμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών / Department of Electrical and Computer Engineering
dc.type.uhtypeArticleen
dc.source.abbreviationIFAC-PapersOnLineen
dc.contributor.orcidHadjicostis, Christoforos N. [0000-0002-1706-708X]
dc.gnosis.orcid0000-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