| Publication | Date of Publication | Type |
|---|
Efficient interaction-aware interval analysis of neural network feedback loops
IEEE Transactions on Automatic Control | 2025-01-21 | Paper |
The strong integral input-to-state stability property in dynamical flow networks
IEEE Transactions on Automatic Control | 2024-07-21 | Paper |
Verification and runtime assurance for dynamical systems with uncertainty
Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Robustly Forward Invariant Sets for Mixed-Monotone Systems
IEEE Transactions on Automatic Control | 2023-09-21 | Paper |
Resource aware pricing for electric vehicle charging
Automatica | 2023-01-31 | Paper |
Sensitivity to user mischaracterizations in electric vehicle charging
Systems & Control Letters | 2023-01-05 | Paper |
Mixed Autonomy in Ride-Sharing Networks
IEEE Transactions on Control of Network Systems | 2022-09-09 | Paper |
Abstraction-based synthesis for stochastic systems with omega-regular objectives
Nonlinear Analysis. Hybrid Systems | 2022-07-26 | Paper |
Formal Methods for Control of Traffic Flow: Automated Control Synthesis from Finite-State Transition Models
IEEE Control Systems | 2022-01-10 | Paper |
Extent-compatible control barrier functions
Systems & Control Letters | 2021-11-10 | Paper |
Specification-Guided Verification and Abstraction Refinement of Mixed Monotone Stochastic Systems
IEEE Transactions on Automatic Control | 2021-07-26 | Paper |
Routing for Traffic Networks With Mixed Autonomy
IEEE Transactions on Automatic Control | 2021-07-26 | Paper |
A barrier function approach to finite-time stochastic system verification and control
Automatica | 2021-04-20 | Paper |
A contractive approach to separable Lyapunov functions for monotone systems
Automatica | 2019-12-19 | Paper |
| Optimal Tolling for Heterogeneous Traffic Networks with Mixed Autonomy | 2019-09-25 | Paper |
Approximating the Steady-State Periodic Solutions of Contractive Systems
IEEE Transactions on Automatic Control | 2019-03-28 | Paper |
| Ride-Sharing Networks with Mixed Autonomy | 2019-03-18 | Paper |
| The Price of Anarchy for Transportation Networks with Mixed Autonomy | 2017-10-21 | Paper |
Traffic Network Control From Temporal Logic Specifications
IEEE Transactions on Control of Network Systems | 2017-09-21 | Paper |
Efficient finite abstraction of mixed monotone systems
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
A Dissipativity Approach to Safety Verification for Interconnected Systems
IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
A Compartmental Model for Traffic Networks and Its Dynamical Behavior
IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
Finite abstraction of mixed monotone systems with discrete and continuous inputs
Nonlinear Analysis. Hybrid Systems | 2016-12-15 | Paper |
Stability of traffic flow networks with a polytree topology
Automatica | 2016-03-08 | Paper |
A computational approach to synthesizing guards for hybrid systems
Systems & Control Letters | 2014-10-27 | Paper |
Scaling the size of a formation using relative position feedback
Automatica | 2013-08-28 | Paper |
