7 citations · 12 across the 7 of their papers we have counts for
7 papers
SceneChecker: Boosting Scenario Verification using Symmetry Abstractions
Hussein Sibai, Yangge Li, Sayan Mitra
We presentSceneChecker, a tool for verifying scenarios involving vehicles executing complex plans in large cluttered workspaces. SceneChecker converts the scenario verification pro…
State Estimation of Continuous-time Dynamical Systems with Uncertain Inputs with Bounded Variation: Entropy, Bit Rates, and Relation with Switched Systems
Hussein Sibai, Sayan Mitra
We extend the notion of estimation entropy of autonomous dynamical systems proposed by Liberzon and Mitra [1] to nonlinear dynamical systems with uncertain inputs with bounded vari…
SkyTrakx: A Toolkit for Simulation and Verification of Unmanned Air-Traffic Management Systems (Extended Version)
Chiao Hsieh, Hussein Sibai, Hebron Taylor +2
The key concept for safe and efficient traffic management for Unmanned Aircraft Systems (UAS) is the notion of operation volume (OV). An OV is a 4-dimensional block of airspace and…
Symmetry Abstractions for Hybrid Systems and their Applications
Hussein Sibai, Sayan Mitra
A symmetry of a dynamical system is a map that transforms one trajectory to another trajectory. We introduce a new type of abstraction for hybrid automata based on symmetries. The…
Differentially Private Algorithms for Statistical Verification of Cyber-Physical Systems
Yu Wang, Hussein Sibai, Mark Yen +2
Statistical model checking is a class of sequential algorithms that can verify specifications of interest on an ensemble of cyber-physical systems (e.g., whether 99% of cars from a…
Multi-Agent Safety Verification using Symmetry Transformations
Hussein Sibai, Navid Mokhlesi, Chuchu Fan +1
We show that symmetry transformations and caching can enable scalable, and possibly unbounded, verification of multi-agent systems. Symmetry transformations map solutions and to ot…
Online monitoring for safe pedestrian-vehicle interactions
Peter Du, Zhe Huang, Tianqi Liu +5
As autonomous systems begin to operate amongst humans, methods for safe interaction must be investigated. We consider an example of a small autonomous vehicle in a pedestrian zone…