Publications

• A complete list can be found on Google Scholar.

Theses

• Accelerating Verification of Cyber-Physical Systems using Symmetry [Compressed 26 MB version]
  Ph.D. thesis
  Hussein Sibai
  
  

• State Estimation of Switched Nonlinear Systems and Systems with Bounded Inputs: Entropy and Bit Rates
  Master's thesis
  Hussein Sibai
  
  

Accelerating Safety Verification and Control synthesis for Cyber-Physical Systems using Symmetry:

• Symmetry-based Abstraction Algorithm for Accelerating Symbolic Control Synthesis
  NASA Formal Methods Symposium (NFM), 2024
  Hussein Sibai, Sacha Huriot, Tyler Martin, and Murat Arcak
  
  

• Symmetry for Boosting Algorithmic Proofs of Cyber-Physical Systems
  IEEE Computer Magazine (Algorithms column), 2022
  Sayan Mitra and Hussein Sibai
  
  

• SceneChecker: Boosting Scenario Verification using Symmetry Abstractions [tool] [video_25min] [video_5min]
  International Conference on Computer-Aided Verification (CAV), 2021
  Hussein Sibai, Yangge Li, and Sayan Mitra
  
  

• Symmetry-based Abstraction of Hybrid Automata
  IEEE Transactions on Automatic Control, 2023 (conditionally accepted)
  Hussein Sibai and Sayan Mitra
  
  

• Multi-Agent Safety Verification using Symmetry Transformations [code]
  International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2020
  Hussein Sibai, Navid Mokhlesi, Chuchu Fan, and Sayan Mitra
  
  

• Using Symmetry Transformations in Equivariant Dynamical Systems for their Safety Verification [code]
  Automated Technology for Verification and Analysis - 17th International Symposium (ATVA), 2019
  Best Paper Award finalist
  Hussein Sibai, Navid Mokhlesi, and Sayan Mitra
  
  

State Estimation and Control under Limited-Bit-Rate Constraints:

• Recurrence of Nonlinear Control Systems: Entropy and Bit Rates
  International Conference on Hybrid Systems: Computation and Control (HSCC), 2024
  Hussein Sibai and Enrique Mellada
  
  

• State Estimation of Continuous-time Dynamical Systems with Uncertain Inputs with Bounded Variation: Entropy, Bit Rates, and Relation with Switched Systems
  IEEE Transactions on Automatic Control, 2023
  Hussein Sibai and Sayan Mitra
  
  

• State Estimation for Dynamical Systems with Unknown Inputs: Entropy and Bit Rates
  International Conference on Hybrid Systems: Computation and Control (HSCC), 2018
  Hussein Sibai and Sayan Mitra
  
  

• Poster: Recent Results in State Estimation of Dynamical Systems with Inputs under Bandwidth Constraints
  International Conference on Hybrid Systems: Computation and Control (HSCC), 2018
  Best Poster Award
  Hussein Sibai and Sayan Mitra
  
  

• Optimal Bit Rate for State Estimation of Switched Nonlinear Systems [code]
  International Conference on Hybrid Systems: Computation and Control (HSCC), 2017
  Best Paper Award finalist
  Hussein Sibai and Sayan Mitra
  
  

Safety Assurance of Real and Simulated Autonomous Vehicles:

• SkyTrakx: A Toolkit for Simulation and Verification of Unmanned Air-Traffic Management Systems
  International Conference on Intelligent Transportation Systems (ITSC), 2021
  Chiao Hsieh, Hussein Sibai, Hebron Taylor, Yifeng Ni, and Sayan Mitra
  
  

• Online Monitoring for Safe Pedestrian-Vehicle Interactions
  International Conference on Intelligent Transportation Systems (ITSC), 2020
  Peter Du, Zhe Huang, Tianqi Liu, Ke Xu, Qichao Gao, Hussein Sibai, Katherine Driggs-Campbell, and Sayan Mitra
  
  

Differential Privacy and Private Networks Bandwidth Optimization:

• Differentially Private Algorithms for Statistical Verification of Cyber-Physical Systems
  IEEE Open Journal of Control Systems, 2022
  Yu Wang, Hussein Sibai, Mark Yen, Sayan Mitra, Geir E. Dullerud
  
  

• MLEFlow: Learning from History to Improve Load Balancing in Tor
  Proceedings on Privacy Enhancing Technologies (PETS), 2022
  Hussein Darir, Hussein Sibai, Chin-Yu Cheng, Nikita Borisov, Geir Dullerud, and Sayan Mitra
  
  

• TightRope: Towards Optimal Load-balancing of Paths in Anonymous Networks
  Workshop on Privacy in the Electronic Society (WPES), 2018
  Hussein Darir, Hussein Sibai, Nikita Borisov, Geir Dullerud, and Sayan Mitra
  
  

Adversarial Examples in the Real World:

• Adversarial Examples that Fool Detectors
  Arxiv, 2017
  Jiajun Lu*, Hussein Sibai*, Evan Fabry
  
  

• Standard Detectors Aren’t (Currently) Fooled by Physical Adversarial Stop Signs
  Arxiv, 2017
  Jiajun Lu, Hussein Sibai, Evan Fabry, and David Forsyth
  
  

• NO Need to Worry about Adversarial Examples in Object Detection in Autonomous Vehicles
  Spotlight talk at the Negative Results in Computer Vision at the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), 2017
  Jiajun Lu*, Hussein Sibai*, Evan Fabry, and David Forsyth
  
  

Miscellaneous projects:

• A Grammar for the Representation of Unmanned Aerial Vehicles with 3D Topologies, 2023
  Piergiuseppe Mallozzi, Hussein Sibai, Inigo Incer, Sanjit A. Seshia, Alberto Sangiovanni-Vincentelli
  
  

• preprint arXiv:2212.14115 Certifying Safety in Reinforcement Learning under Adversarial Perturbation Attacks, 2022
  Junlin Wu, Hussein Sibai, Yevgeniy Vorobeychik
  
  

• Safe Reinforcement Learning for Control Systems: A Hybrid Systems Perspective and Case Study, 2018
  Hussein Sibai*, Matthew Potok*, and Sayan Mitra
  
  

• Multi-Objective Value Iteration with Parameterized Threshold-Based Safety Constraints, 2018
  Hussein Sibai and Sayan Mitra
  
  

• Towards a Silent Mobile Sensing Framework for Smart Cities
  World Wireless Research Forum Meeting, 2013
  Farah Hariri, Guy Daher, Hussein Sibai, Karim Frenn, Sevag Doniguian, and Zaher Dawy
  
  

-

• * refers to equal contribution.