Search Results for author: Hussein Sibai

Found 12 papers, 0 papers with code

Symmetry-based Abstraction Algorithm for Accelerating Symbolic Control Synthesis

no code implementations18 Mar 2024 Hussein Sibai, Sacha Huriot, Tyler Martin, Murat Arcak

We propose an efficient symbolic control synthesis algorithm for equivariant continuous-time dynamical systems to satisfy reach-avoid specifications.

Position

Recurrence of Nonlinear Control Systems: Entropy and Bit Rates

no code implementations13 Nov 2023 Hussein Sibai, Enrique Mallada

In this paper, we introduce the notion of recurrence entropy in the context of nonlinear control systems.

Certifying Safety in Reinforcement Learning under Adversarial Perturbation Attacks

no code implementations28 Dec 2022 Junlin Wu, Hussein Sibai, Yevgeniy Vorobeychik

Our experiments demonstrate both the efficacy of the proposed approach for certifying safety in adversarial environments, and the value of the PSRL framework coupled with adversarial training in improving certified safety while preserving high nominal reward and high-quality predictions of true state.

reinforcement-learning Reinforcement Learning (RL)

SceneChecker: Boosting Scenario Verification using Symmetry Abstractions

no code implementations21 Nov 2020 Hussein Sibai, Yangge Li, Sayan Mitra

We presentSceneChecker, a tool for verifying scenarios involving vehicles executing complex plans in large cluttered workspaces.

State Estimation of Continuous-time Dynamical Systems with Uncertain Inputs with Bounded Variation: Entropy, Bit Rates, and Relation with Switched Systems

no code implementations20 Nov 2020 Hussein Sibai, Sayan Mitra

We investigate the relation between {$\epsilon$}-estimation entropy and a previous notion for switched nonlinear systems and derive a new upper bound for the latter, showing the generality of our results on systems with uncertain inputs.

Differentially Private Algorithms for Statistical Verification of Cyber-Physical Systems

no code implementations1 Apr 2020 Yu Wang, Hussein Sibai, Mark Yen, Sayan Mitra, Geir E. Dullerud

We also show that the standard exponential mechanism that randomizes the output of an algorithm to achieve differential privacy fails to do so in the context of sequential algorithms.

Online monitoring for safe pedestrian-vehicle interactions

no code implementations12 Oct 2019 Peter Du, Zhe Huang, Tianqi Liu, Ke Xu, Qichao Gao, Hussein Sibai, Katherine Driggs-Campbell, Sayan Mitra

As autonomous systems begin to operate amongst humans, methods for safe interaction must be investigated.

Robotics Multiagent Systems Signal Processing

Adversarial Examples that Fool Detectors

no code implementations7 Dec 2017 Jiajun Lu, Hussein Sibai, Evan Fabry

An adversarial example is an example that has been adjusted to produce a wrong label when presented to a system at test time.

Standard detectors aren't (currently) fooled by physical adversarial stop signs

no code implementations9 Oct 2017 Jiajun Lu, Hussein Sibai, Evan Fabry, David Forsyth

Finally, an adversarial pattern on a physical object that could fool a detector would have to be adversarial in the face of a wide family of parametric distortions (scale; view angle; box shift inside the detector; illumination; and so on).

Adversarial Attack

NO Need to Worry about Adversarial Examples in Object Detection in Autonomous Vehicles

no code implementations12 Jul 2017 Jiajun Lu, Hussein Sibai, Evan Fabry, David Forsyth

Instead, a trained neural network classifies most of the pictures taken from different distances and angles of a perturbed image correctly.

Autonomous Vehicles object-detection +1

Cannot find the paper you are looking for? You can Submit a new open access paper.