7 citations · 12 across the 7 of their papers we have counts for
Showing eess.SYShow all
3 papers · 1 filter
eess.SY2020
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…
eess.SY2020
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…
eess.SY2020★ 3 cited
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…