7 citations · 27 across the 11 of their papers we have counts for
11 papers
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…
ScenicProver: A Framework for Compositional Probabilistic Verification of Learning-Enabled Systems
Eric Vin, Kyle A. Miller, Inigo Incer +2
Full verification of learning-enabled cyber-physical systems (CPS) has long been intractable due to challenges including black-box components and complex real-world environments. E…
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…
Some Algebraic Aspects of Assume-Guarantee Reasoning
Inigo Incer, Albert Benveniste, Alberto Sangiovanni-Vincentelli
We present the algebra of assume-guarantee (AG) contracts. We define contracts, provide new as well as known operations, and show how these operations are related. Contracts are fu…
Context-Aided Variable Elimination for Requirement Engineering
Inigo Incer, Albert Benveniste, Richard M. Murray +2
Deriving system-level specifications from component specifications usually involves the elimination of variables that are not part of the interface of the top-level system. This pa…
Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design
Inigo Incer, Apurva Badithela, Josefine Graebener +8
Contract-based design is a method to facilitate modular system design. While there has been substantial progress on the theory of contracts, there has been less progress on scalabl…
A Grammar for the Representation of Unmanned Aerial Vehicles with 3D Topologies
Piergiuseppe Mallozzi, Hussein Sibai, Inigo Incer +2
We propose a context-sensitive grammar for the systematic exploration of the design space of the topology of 3D robots, particularly unmanned aerial vehicles. It defines production…
Contract-Based Specification Refinement and Repair for Mission Planning
Piergiuseppe Mallozzi, Inigo Incer, Pierluigi Nuzzo +1
We address the problem of modeling, refining, and repairing formal specifications for robotic missions using assume-guarantee contracts. We show how to model mission specifications…
Hypercontracts
Inigo Incer, Albert Benveniste, Alberto Sangiovanni-Vincentelli +1
Contract theories have been proposed to formally support distributed and decentralized system design while ensuring safe system integration. In this paper we propose hypercontracts…