Monitor-Based Runtime Assurance for Temporal Logic Specifications

Matthew Abate, Eric Feron, Samuel Coogan

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

3 Scopus citations


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.
Number of pages6
ISBN (Print)9781728113982
StatePublished - Dec 1 2019
Externally publishedYes

Bibliographical note

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


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

Cite this