7 citations · 16 across the 4 of their papers we have counts for
5 papers
Behavioral Mapping of Hierarchical Dynamical Models Accelerates Bayesian Parameter Inference
Jingsong Bai, Ayush Pandey
Bayesian parameter inference for complex nonlinear dynamical models is often limited by the cost of repeated model simulation. We present a behavioral mapping framework that uses t…
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…
Towards Realistic Generative 3D Face Models
Aashish Rai, Hiresh Gupta, Ayush Pandey +6
In recent years, there has been significant progress in 2D generative face models fueled by applications such as animation, synthetic data generation, and digital avatars. However,…
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…
Information Performance Tradeoffs in Control
Ayush Pandey
We focus our attention on the most common scenario in networked control systems where the measured output from the observer is transmitted via a communication channel to the contro…