Hussein Sibai

According to our database, Hussein Sibai authored at least 26 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Symmetry-Based Abstractions for Hybrid Automata.

Hussein Sibai, Sayan Mitra

IEEE Trans. Autom. Control., May, 2024

Symmetry-based Abstraction Algorithm for Accelerating Symbolic Control Synthesis.

Hussein Sibai, Sacha Huriot, Tyler Martin, Murat Arcak

CoRR, 2024

Recurrence of Nonlinear Control Systems: Entropy and Bit Rates.

Hussein Sibai, Enrique Mallada

Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024

2023

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

IEEE Trans. Autom. Control., December, 2023

A Grammar for the Representation of Unmanned Aerial Vehicles with 3D Topologies.

Piergiuseppe Mallozzi, Hussein Sibai, Inigo Incer, Sanjit A. Seshia, Alberto L. Sangiovanni-Vincentelli

CoRR, 2023

2022

MLEFlow: Learning from History to Improve Load Balancing in Tor.

Hussein Darir, Hussein Sibai, Chin-Yu Cheng, Nikita Borisov, Geir E. Dullerud, Sayan Mitra

Proc. Priv. Enhancing Technol., 2022

Certifying Safety in Reinforcement Learning under Adversarial Perturbation Attacks.

Junlin Wu, Hussein Sibai, Yevgeniy Vorobeychik

CoRR, 2022

Symmetry for Boosting Algorithmic Proofs of Cyberphysical Systems.

Sayan Mitra, Hussein Sibai

Computer, 2022

2021

SkyTrakx: A Toolkit for Simulation and Verification of Unmanned Air-Traffic Management Systems.

Chiao Hsieh, Hussein Sibai, Hebron Taylor, Yifeng Ni, Sayan Mitra

Proceedings of the 24th IEEE International Intelligent Transportation Systems Conference, 2021

SceneChecker: Boosting Scenario Verification Using Symmetry Abstractions.

Hussein Sibai, Yangge Li, Sayan Mitra

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

SymAR: Symmetry Abstractions and Refinement for Accelerating Scenarios with Neural Network Controllers Verification.

Hussein Sibai, Yangge Li, Sayan Mitra

CoRR, 2020

State Estimation of Open Dynamical Systems with Slow Inputs: Entropy, Bit Rates, and relation with Switched Systems.

Hussein Sibai, Sayan Mitra

CoRR, 2020

Unmanned air-traffic management (UTM): Formalization, a prototype implementation, and performance evaluation.

Chiao Hsieh, Hussein Sibai, Hebron Taylor, Sayan Mitra

CoRR, 2020

Symmetry Abstractions for Hybrid Systems and their Applications.

Hussein Sibai, Sayan Mitra

CoRR, 2020

Differential Privacy for Sequential Algorithms.

Yu Wang, Hussein Sibai, Sayan Mitra, Geir E. Dullerud

CoRR, 2020

Multi-agent Safety Verification Using Symmetry Transformations.

Hussein Sibai, Navid Mokhlesi, Chuchu Fan, Sayan Mitra

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Online Monitoring for Safe Pedestrian-Vehicle Interactions.

Peter Du, Zhe Huang, Tianqi Liu, Tianchen Ji, Ke Xu, Qichao Gao, Hussein Sibai, Katherine Rose Driggs-Campbell, Sayan Mitra

Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

2019

Online monitoring for safe pedestrian-vehicle interactions.

Peter Du, Zhe Huang, Tianqi Liu, Ke Xu, Qichao Gao, Hussein Sibai, Katherine Rose Driggs-Campbell, Sayan Mitra

CoRR, 2019

Using Symmetry Transformations in Equivariant Dynamical Systems for Their Safety Verification.

Hussein Sibai, Navid Mokhlesi, Sayan Mitra

Proceedings of the Automated Technology for Verification and Analysis, 2019

2018

TightRope: Towards Optimal Load-balancing of Paths in Anonymous Networks.

Hussein Darir, Hussein Sibai, Nikita Borisov, Geir E. Dullerud, Sayan Mitra

Proceedings of the 2018 Workshop on Privacy in the Electronic Society, 2018

Recent Results in State Estimation of Dynamical Systems with Inputs under Bandwidth Constraints.

Hussein Sibai, Sayan Mitra

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

State Estimation of Dynamical Systems with Unknown Inputs: Entropy and Bit Rates.

Hussein Sibai, Sayan Mitra

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

2017

Adversarial Examples that Fool Detectors.

Jiajun Lu, Hussein Sibai, Evan Fabry

CoRR, 2017

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

Jiajun Lu, Hussein Sibai, Evan Fabry, David A. Forsyth

CoRR, 2017

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

Jiajun Lu, Hussein Sibai, Evan Fabry, David A. Forsyth

CoRR, 2017

Optimal Data Rate for State Estimation of Switched Nonlinear Systems.

Hussein Sibai, Sayan Mitra

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017