Memory-loss resilient controller design for temporal logic constraints
Megersa Abate,
W. Stuckey,
L. Lerner,
E. Feron and
S. Coogan
Cyber-Physical Systems, 2021, vol. 7, issue 4, 221-242
Abstract:
This paper studies the problem of controlling finite nondeterministic transition systems to satisfy constraints given as linear temporal logic properties. A controller architecture is proposed that maps finite fragments of the state trajectory history to control inputs. This approach avoids the standard controller construction that employs an onboard automaton which is fragile to memory loss or errors. In contrast, the proposed architecture requires storing only a finite sequence of previous system states in memory and is therefore resilient to memory loss. In particular, the system will operate unaltered after such a memory-loss event once the system recollects this finite sequence of system states. A generalised algorithm is outlined for controller synthesis in this manner. Additionally, we demonstrate the construction and implementation of such a memory-loss resilient controller through an experimental demonstration on a differential-drive robot that experiences memory-loss events.
Date: 2021
References: Add references at CitEc
Citations:
Downloads: (external link)
http://hdl.handle.net/10.1080/23335777.2020.1837248 (text/html)
Access to full text is restricted to subscribers.
Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.
Export reference: BibTeX
RIS (EndNote, ProCite, RefMan)
HTML/Text
Persistent link: https://EconPapers.repec.org/RePEc:taf:tcybxx:v:7:y:2021:i:4:p:221-242
Ordering information: This journal article can be ordered from
http://www.tandfonline.com/pricing/journal/tcyb20
DOI: 10.1080/23335777.2020.1837248
Access Statistics for this article
Cyber-Physical Systems is currently edited by Yang Xiao
More articles in Cyber-Physical Systems from Taylor & Francis Journals
Bibliographic data for series maintained by Chris Longhurst ().