Sotabase

Career

· Asst. Professor, Washington University at St. Louis

Publications (25)

Optimal Data Rate for State Estimation of Switched Nonlinear Systems
International Conference on Hybrid Systems: Computation and Control · 2017
34
cited
Online Monitoring for Safe Pedestrian-Vehicle Interactions
2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC) · 2019
26
cited
Multi-agent Safety Verification Using Symmetry Transformations
International Conference on Tools and Algorithms for Construction and Analysis of Systems · 2019
16
cited
State Estimation of Dynamical Systems with Unknown Inputs: Entropy and Bit Rates
International Conference on Hybrid Systems: Computation and Control · 2018
15
cited
Using Symmetry Transformations in Equivariant Dynamical Systems for Their Safety Verification
Automated Technology for Verification and Analysis · 2019
14
cited
MLEFlow: Learning from History to Improve Load Balancing in Tor
Proceedings on Privacy Enhancing Technologies · 2021
9
cited
SkyTrakx: A Toolkit for Simulation and Verification of Unmanned Air-Traffic Management Systems
International Conference on Intelligent Transportation Systems · 2020
9
cited
TightRope: Towards Optimal Load-balancing of Paths in Anonymous Networks
WPES@CCS · 2018
8
cited
SceneChecker: Boosting Scenario Verification Using Symmetry Abstractions
International Conference on Computer Aided Verification · 2021
6
cited
Differentially Private Algorithms for Statistical Verification of Cyber-Physical Systems
IEEE Open Journal of Control Systems · 2020
5
cited
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 · 2020
5
cited
Differential Privacy for Sequential Algorithms
arXiv.org · 2020
3
cited
Recurrence of Nonlinear Control Systems: Entropy and Bit Rates
International Conference on Hybrid Systems: Computation and Control · 2023
3
cited
Safe Reinforcement Learning for Control Systems: A Hybrid Systems Perspective and Case Study
2019
3
cited
Symmetry Abstractions for Hybrid Systems and their Applications
arXiv.org · 2020
3
cited
Generalized Barrier Functions: Integral Conditions & Recurrent Relaxations
2024 60th Annual Allerton Conference on Communication, Control, and Computing · 2024
2
cited
State Estimation of Open Dynamical Systems with Slow Inputs: Entropy, Bit Rates, and relation with Switched Systems
arXiv.org · 2020
2
cited
Recent Results in State Estimation of Dynamical Systems with Inputs under Bandwidth Constraints
International Conference on Hybrid Systems: Computation and Control · 2018
1
cited
Recurrence of nonlinear control systems: Entropy, bit rates, and finite alphabet controllers
Nonlinear Analysis: Hybrid Systems · 2026
1
cited
Symmetry-Based Abstractions for Hybrid Automata
IEEE Transactions on Automatic Control · 2024
1
cited
Sotabase