3 citations · 6 across the 7 of their papers we have counts for
Showing eess.SYShow all
3 papers · 1 filter
eess.SY2020
Combining Hybrid Input-Output Automaton and Game Theory for Security Modeling of Cyber-Physical Systems
Mustafa Abdallah, Sayan Mitra, Shreyas Sundaram +1
We consider a security setting in which the Cyber-Physical System (CPS) is composed of subnetworks where each subnetwork is under ownership of one defender. Such CPS can be represe…
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★ 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…