223 citations · 645 across the 31 of their papers we have counts for
7 papers · 1 filter
Formal Synthesis of Controllers for Uncertain Linear Systems against -Regular Properties: A Set-based Approach
Bingzhuo Zhong, Majid Zamani, Marco Caccamo
In this paper, we present how to synthesize controllers to enforce -regular properties over linear control systems affected by bounded disturbances. In particular, these control…
Sandboxing Controllers for Stochastic Cyber-Physical Systems
Bingzhuo Zhong, Majid Zamani, Marco Caccamo
Current cyber-physical systems (CPS) are expected to accomplish complex tasks. To achieve this goal, high performance, but unverified controllers (e.g. deep neural network, black-b…
Multi-Agent Belief Sharing through Autonomous Hierarchical Multi-Level Clustering
Mirco Theile, Jonathan Ponniah, Or Dantsker +1
Coordination in multi-agent systems is challenging for agile robots such as unmanned aerial vehicles (UAVs), where relative agent positions frequently change due to unconstrained m…
Risk Ranked Recall: Collision Safety Metric for Object Detection Systems in Autonomous Vehicles
Ayoosh Bansal, Jayati Singh, Micaela Verucchi +2
Commonly used metrics for evaluation of object detection systems (precision, recall, mAP) do not give complete information about their suitability of use in safety critical tasks,…
SchedGuard: Protecting against Schedule Leaks Using Linux Containers
Jiyang Chen, Tomasz Kloda, Ayoosh Bansal +6
Real-time systems have recently been shown to be vulnerable to timing inference attacks, mainly due to their predictable behavioral patterns. Existing solutions such as schedule ra…
Automata-based Controller Synthesis for Stochastic Systems: A Game Framework via Approximate Probabilistic Relations
Bingzhuo Zhong, Abolfazl Lavaei, Majid Zamani +1
In this work, we propose an abstraction and refinement methodology for the controller synthesis of discrete-time stochastic systems to enforce complex logical properties expressed…
Safe-visor Architecture for Sandboxing (AI-based) Unverified Controllers in Stochastic Cyber-Physical Systems
Bingzhuo Zhong, Abolfazl Lavaei, Hongpeng Cao +2
High performance but unverified controllers, e.g., artificial intelligence-based (a.k.a. AI-based) controllers, are widely employed in cyber-physical systems (CPSs) to accomplish c…