2 papers
cs.RO2025
Robust Verification of Controllers under State Uncertainty via Hamilton-Jacobi Reachability Analysis
Albert Lin, Alessandro Pinto, Somil Bansal
As perception-based controllers for autonomous systems become increasingly popular in the real world, it is important that we can formally verify their safety and performance despi…
eess.SY2024
Early Design Exploration of Aerospace Systems Using Assume-Guarantee Contracts
Nicolas Rouquette, Alessandro Pinto, Inigo Incer
We present a compositional approach to early modeling and analysis of complex aerospace systems based on assume-guarantee contracts. Components in a system are abstracted into assu…