Hussein Sibai

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 30

Top Topics

Dynamical Systems

State Estimation

Unmanned Aerial Vehicles

Top Venues

IEEE Trans. Autom. Control.

Publications

Junlin Wu, Hussein Sibai, Yevgeniy Vorobeychik
Certifying Safety in Reinforcement Learning under Adversarial Perturbation Attacks. SP (Workshops) (2024)
Hussein Sibai, Sayan Mitra
Symmetry-Based Abstractions for Hybrid Automata. IEEE Trans. Autom. Control. 69 (5) (2024)
Hussein Sibai, Enrique Mallada
Recurrence of Nonlinear Control Systems: Entropy and Bit Rates. HSCC (2024)
Hussein Sibai, Sacha Huriot, Tyler Martin, Murat Arcak
Symmetry-based Abstraction Algorithm for Accelerating Symbolic Control Synthesis. CoRR (2024)
Hussein Sibai, Sacha Huriot, Tyler Martin, Murat Arcak
Symmetry-Based Abstraction Algorithm for Accelerating Symbolic Control Synthesis. NFM (2024)
Hussein Sibai, Enrique Mallada
Recurrence of Nonlinear Control Systems: Entropy and Bit Rates. CoRR (2023)
Hussein Sibai, Sayan Mitra
State Estimation of Continuous-Time Dynamical Systems With Uncertain Inputs With Bounded Variation: Entropy, Bit Rates, and Relation With Switched Systems. IEEE Trans. Autom. Control. 68 (12) (2023)
Piergiuseppe Mallozzi, Hussein Sibai, Inigo Incer, Sanjit A. Seshia, Alberto L. Sangiovanni-Vincentelli
A Grammar for the Representation of Unmanned Aerial Vehicles with 3D Topologies. CoRR (2023)
Sayan Mitra, Hussein Sibai
Symmetry for Boosting Algorithmic Proofs of Cyberphysical Systems. Computer 55 (10) (2022)
Hussein Darir, Hussein Sibai, Chin-Yu Cheng, Nikita Borisov, Geir E. Dullerud, Sayan Mitra
MLEFlow: Learning from History to Improve Load Balancing in Tor. Proc. Priv. Enhancing Technol. 2022 (1) (2022)
Junlin Wu, Hussein Sibai, Yevgeniy Vorobeychik
Certifying Safety in Reinforcement Learning under Adversarial Perturbation Attacks. CoRR (2022)
Hussein Sibai, Yangge Li, Sayan Mitra
SceneChecker: Boosting Scenario Verification Using Symmetry Abstractions. CAV (1) (2021)
Chiao Hsieh, Hussein Sibai, Hebron Taylor, Yifeng Ni, Sayan Mitra
SkyTrakx: A Toolkit for Simulation and Verification of Unmanned Air-Traffic Management Systems. ITSC (2021)
Hussein Sibai, Navid Mokhlesi, Chuchu Fan, Sayan Mitra
Multi-agent Safety Verification Using Symmetry Transformations. TACAS (1) (2020)
Hussein Sibai, Sayan Mitra
Symmetry Abstractions for Hybrid Systems and their Applications. CoRR (2020)
Hussein Sibai, Yangge Li, Sayan Mitra
SymAR: Symmetry Abstractions and Refinement for Accelerating Scenarios with Neural Network Controllers Verification. CoRR (2020)
Hussein Sibai, Sayan Mitra
State Estimation of Open Dynamical Systems with Slow Inputs: Entropy, Bit Rates, and relation with Switched Systems. CoRR (2020)
Yu Wang, Hussein Sibai, Sayan Mitra, Geir E. Dullerud
Differential Privacy for Sequential Algorithms. CoRR (2020)
Peter Du, Zhe Huang, Tianqi Liu, Tianchen Ji, Ke Xu, Qichao Gao, Hussein Sibai, Katherine Rose Driggs-Campbell, Sayan Mitra
Online Monitoring for Safe Pedestrian-Vehicle Interactions. ITSC (2020)
Chiao Hsieh, Hussein Sibai, Hebron Taylor, Sayan Mitra
Unmanned air-traffic management (UTM): Formalization, a prototype implementation, and performance evaluation. CoRR (2020)
Hussein Sibai, Navid Mokhlesi, Chuchu Fan, Sayan Mitra
Multi-Agent Safety Verification using Symmetry Transformations. CoRR (2019)
Peter Du, Zhe Huang, Tianqi Liu, Ke Xu, Qichao Gao, Hussein Sibai, Katherine Rose Driggs-Campbell, Sayan Mitra
Online monitoring for safe pedestrian-vehicle interactions. CoRR (2019)
Hussein Sibai, Navid Mokhlesi, Sayan Mitra
Using Symmetry Transformations in Equivariant Dynamical Systems for Their Safety Verification. ATVA (2019)
Hussein Darir, Hussein Sibai, Nikita Borisov, Geir E. Dullerud, Sayan Mitra
TightRope: Towards Optimal Load-balancing of Paths in Anonymous Networks. WPES@CCS (2018)
Hussein Sibai, Sayan Mitra
Recent Results in State Estimation of Dynamical Systems with Inputs under Bandwidth Constraints. HSCC (2018)
Hussein Sibai, Sayan Mitra
State Estimation of Dynamical Systems with Unknown Inputs: Entropy and Bit Rates. HSCC (2018)
Jiajun Lu, Hussein Sibai, Evan Fabry, David A. Forsyth
Standard detectors aren't (currently) fooled by physical adversarial stop signs. CoRR (2017)
Hussein Sibai, Sayan Mitra
Optimal Data Rate for State Estimation of Switched Nonlinear Systems. HSCC (2017)
Jiajun Lu, Hussein Sibai, Evan Fabry
Adversarial Examples that Fool Detectors. CoRR (2017)
Jiajun Lu, Hussein Sibai, Evan Fabry, David A. Forsyth
NO Need to Worry about Adversarial Examples in Object Detection in Autonomous Vehicles. CoRR (2017)