7 citations · 27 across the 11 of their papers we have counts for
4 papers · 1 filter
On a Gradation for Asymptotic Stability
Yigit Narter, Inigo Incer
Classical asymptotic stability guarantees convergence but does not quantify the rate at which convergence occurs. This paper introduces a gradation of asymptotic stability where de…
Synthesizing Voltage Ride-Through Controllers for Data Centers
Wayne Wang, Archit Bhatnagar, Tongyuan Miao +4
Data centers are among the power grid's fastest-growing loads. Since data center servers are sensitive electronic components, they need to be protected against the grid's voltage d…
A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems
Josefine B. Graebener, Inigo Incer, Richard M. Murray
Identifying the cause of a system-level failure in a cyber-physical system (CPS) can be like tracing a needle in a haystack. This paper approaches the problem by assuming that the…
Specifying and Analyzing Networked and Layered Control Systems Operating on Multiple Clocks
Inigo Incer, Noel Csomay-Shanklin, Aaron Ames +1
We consider the problem of reasoning about networked and layered control systems using assume-guarantee specifications. As these systems are formed by the interconnection of compon…