2 citations · 3 across the 5 of their papers we have counts for
10 papers · 1 filter
Run Time Assurance for Safety-Critical Systems: An Introduction to Safety Filtering Approaches for Complex Control Systems
Kerianne Hobbs, Mark Mote, Matthew Abate +2
Run Time Assurance (RTA) Systems are online verification mechanisms that filter an unverified primary controller output to ensure system safety. The primary control may come from a…
A Numerical Method to Compute Stability Margins of Switching Linear Systems
Corbin Klett, Matthew Abate, Samuel Coogan +1
Stability margins for linear time-varying (LTV) and switched-linear systems are traditionally computed via quadratic Lyapunov functions, and these functions certify the stability o…
Improving the Fidelity of Mixed-Monotone Reachable Set Approximations via State Transformations
Matthew Abate, Samuel Coogan
Mixed-monotone systems are separable via a decomposition function into increasing and decreasing components, and this decomposition function allows for embedding the system dynamic…
Performance Analysis and Non-Quadratic Lyapunov Functions for Linear Time-Varying Systems
Matthew Abate, Corbin Klett, Samuel Coogan +1
Performance analysis for linear time-invariant (LTI) systems has been closely tied to quadratic Lyapunov functions ever since it was shown that LTI system stability is equivalent t…
Enforcing Safety at Runtime for Systems with Disturbances
Matthew Abate, Samuel Coogan
Safety for control systems is often posed as an invariance constraint; the system is said to be safe if state trajectories avoid some unsafe region of the statespace for all time.…
Tight Decomposition Functions for Continuous-Time Mixed-Monotone Systems with Disturbances
Matthew Abate, Maxence Dutreix, Samuel Coogan
The vector field of a mixed-monotone system is decomposable via a decomposition function into increasing (cooperative) and decreasing (competitive) components, and this decompositi…