4 citations · 5 across the 12 of their papers we have counts for
4 papers · 1 filter
: A Smooth Simulation Surrogate for Optimizing Discrete Abstractions of Dynamical Systems
Jordan Peper, James Mathias Gast, Vignesh Nanduri +3
Intelligent systems are increasingly deployed in safety-critical settings with black-box controllers, including neural networks. The properties and behaviors of these end-to-end sy…
A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems
Jordan Peper, Krish Kapadia, James Gast +2
Symbolic model checking is an effective approach for verifying semantically rich temporal-logic properties of cyber-physical systems, but it hinges on discretizing continuous-state…
Finite-Sample Analysis of Elimination in Active Hypothesis Testing
Ziyuan Lin, Hoang Ngoc Nguyen, Jie Xu +1
A fixed-confidence, finite-sample problem of active hypothesis testing arises in many safety-critical applications. Situated in the context of sequential hypothesis testing, this p…
Digital Guardians: The Past and The Future of Cyber-Physical Resilience
Saurabh Bagchi, Hyunseung Kim, Tarek Abdelzaher +20
Resilience in cyber-physical systems (CPS) is the fundamental ability to maintain safety and critical functionality despite adverse "perturbations," which includes security attacks…