Monitor-Based Runtime Assurance for Temporal Logic Specifications

Matthew Abate; Eric Feron; Samuel Coogan

doi:10.1109/CDC40024.2019.9029716

Monitor-Based Runtime Assurance for Temporal Logic Specifications

Matthew Abate, Eric Feron, Samuel Coogan

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

4 Scopus citations

Abstract

This paper introduces the safety controller architecture as a runtime assurance mechanism for system specifications expressed as safety properties in Linear Temporal Logic. The safety controller uses a monitor, constructed as a finite state machine, to analyze a desired control input policy online and form a sequence of control inputs that is guaranteed to keep the system safe for all time. A case study is presented which details the construction and implementation of a safety controller on a cyber-physical system with a nondeterministic dynamical model.

Original language	English (US)
Title of host publication	Proceedings of the IEEE Conference on Decision and Control
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	1997-2002
Number of pages	6
ISBN (Print)	9781728113982
DOIs	https://doi.org/10.1109/CDC40024.2019.9029716
State	Published - Dec 1 2019
Externally published	Yes

Bibliographical note

Generated from Scopus record by KAUST IRTS on 2021-02-18

Access to Document

10.1109/CDC40024.2019.9029716

Cite this

@inproceedings{3871113cab0f4a67a1e5108bc45024e5,

title = "Monitor-Based Runtime Assurance for Temporal Logic Specifications",

abstract = "This paper introduces the safety controller architecture as a runtime assurance mechanism for system specifications expressed as safety properties in Linear Temporal Logic. The safety controller uses a monitor, constructed as a finite state machine, to analyze a desired control input policy online and form a sequence of control inputs that is guaranteed to keep the system safe for all time. A case study is presented which details the construction and implementation of a safety controller on a cyber-physical system with a nondeterministic dynamical model.",

author = "Matthew Abate and Eric Feron and Samuel Coogan",

note = "Generated from Scopus record by KAUST IRTS on 2021-02-18",

year = "2019",

month = dec,

day = "1",

doi = "10.1109/CDC40024.2019.9029716",

language = "English (US)",

isbn = "9781728113982",

pages = "1997--2002",

booktitle = "Proceedings of the IEEE Conference on Decision and Control",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

address = "United States",

}

TY - GEN

T1 - Monitor-Based Runtime Assurance for Temporal Logic Specifications

AU - Abate, Matthew

AU - Feron, Eric

AU - Coogan, Samuel

N1 - Generated from Scopus record by KAUST IRTS on 2021-02-18

PY - 2019/12/1

Y1 - 2019/12/1

N2 - This paper introduces the safety controller architecture as a runtime assurance mechanism for system specifications expressed as safety properties in Linear Temporal Logic. The safety controller uses a monitor, constructed as a finite state machine, to analyze a desired control input policy online and form a sequence of control inputs that is guaranteed to keep the system safe for all time. A case study is presented which details the construction and implementation of a safety controller on a cyber-physical system with a nondeterministic dynamical model.

AB - This paper introduces the safety controller architecture as a runtime assurance mechanism for system specifications expressed as safety properties in Linear Temporal Logic. The safety controller uses a monitor, constructed as a finite state machine, to analyze a desired control input policy online and form a sequence of control inputs that is guaranteed to keep the system safe for all time. A case study is presented which details the construction and implementation of a safety controller on a cyber-physical system with a nondeterministic dynamical model.

UR - https://ieeexplore.ieee.org/document/9029716/

UR - http://www.scopus.com/inward/record.url?scp=85082504749&partnerID=8YFLogxK

U2 - 10.1109/CDC40024.2019.9029716

DO - 10.1109/CDC40024.2019.9029716

M3 - Conference contribution

SN - 9781728113982

SP - 1997

EP - 2002

BT - Proceedings of the IEEE Conference on Decision and Control

PB - Institute of Electrical and Electronics Engineers Inc.

ER -

Monitor-Based Runtime Assurance for Temporal Logic Specifications

Abstract

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this