Monitor-Based Runtime Assurance for Temporal Logic Specifications

Matthew Abate, Eric Feron, Samuel Coogan

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 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 languageEnglish (US)
Title of host publicationProceedings of the IEEE Conference on Decision and Control
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages1997-2002
Number of pages6
ISBN (Print)9781728113982
DOIs
StatePublished - Dec 1 2019
Externally publishedYes

Fingerprint Dive into the research topics of 'Monitor-Based Runtime Assurance for Temporal Logic Specifications'. Together they form a unique fingerprint.

Cite this