activity
20192022
most citedRun Time Assurance for Safety-Critical Systems: An Introduction to Safety Filtering Approaches for Complex Control Systems

76 citations · 79 across the 10 of their papers we have counts for

collaborators
Showing 2019Show all

2 papers · 1 filter

eess.SY2019

Monitor-Based Runtime Assurance for Temporal Logic Specifications

Matthew Abate, Eric Feron, Samuel Coogan

This paper introduces the safety controller architecture as a runtime assurance mechanism for system specifications expressed as safety properties in Linear Temporal Logic (LTL). T…

eess.SY2019

Lyapunov Differential Equation Hierarchy and Polynomial Lyapunov Functions for Switched Linear Systems

Matthew Abate, Corbin Klett, Samuel Coogan +1

This work studies the problem of searching for homogeneous polynomial Lyapunov functions for stable switched linear systems. Specifically, we show an equivalence between polynomial…