| Publication | Date of Publication | Type |
|---|
Scalable synthesis of safety barrier certificates for networks of stochastic switched systems
IEEE Transactions on Automatic Control | 2025-01-21 | Paper |
A self-contained karma economy for the dynamic allocation of common resources
Dynamic Games and Applications | 2024-07-31 | Paper |
Categorification of Negative Information using Enrichment
Electronic Proceedings in Theoretical Computer Science | 2024-03-05 | Paper |
A Compositional Dissipativity Approach for Data-Driven Safety Verification of Large-Scale Dynamical Systems
IEEE Transactions on Automatic Control | 2024-02-29 | Paper |
Poster Abstract: Data-Driven Estimation of Collision Risks for Autonomous Vehicles with Formal Guarantees*
25th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Simultaneous mode, input and state estimation for switched linear stochastic systems
International Journal of Robust and Nonlinear Control | 2023-10-31 | Paper |
| A compositional sheaf-theoretic framework for event-based systems | 2022-01-10 | Paper |
A compositional sheaf-theoretic framework for event-based systems
(available as arXiv preprint) | 2022-01-10 | Paper |
| A Compositional Sheaf-Theoretic Framework for Event-Based Systems (Extended Version) | 2020-05-10 | Paper |
Regulation of Linear Systems Using Event-Based Detection Sensors
IEEE Transactions on Automatic Control | 2019-01-28 | Paper |
Analysis of Price of Total Anarchy in Congestion Games via Smoothness Arguments
IEEE Transactions on Control of Network Systems | 2018-12-04 | Paper |
Distributed Event-Triggered Control for Multi-Agent Systems
IEEE Transactions on Automatic Control | 2017-09-08 | Paper |
On the Dubins Traveling Salesman Problem
IEEE Transactions on Automatic Control | 2017-09-08 | Paper |
Asymptotically Optimal Algorithms for One-to-One Pickup and Delivery Problems With Applications to Transportation Systems
IEEE Transactions on Automatic Control | 2017-09-08 | Paper |
Robust Distributed Routing in Dynamical Networks—Part I: Locally Responsive Policies and Weak Resilience
IEEE Transactions on Automatic Control | 2017-09-08 | Paper |
Robust Distributed Routing in Dynamical Networks–Part II: Strong Resilience, Equilibrium Selection and Cascaded Failures
IEEE Transactions on Automatic Control | 2017-09-08 | Paper |
Distributed Algorithms for Environment Partitioning in Mobile Robotic Networks
IEEE Transactions on Automatic Control | 2017-08-25 | Paper |
Maximally Stabilizing Task Release Control Policy for a Dynamical Queue
IEEE Transactions on Automatic Control | 2017-08-25 | Paper |
Adaptive and Distributed Algorithms for Vehicle Routing in a Stochastic and Dynamic Environment
IEEE Transactions on Automatic Control | 2017-08-25 | Paper |
Traveling Salesperson Problems for the Dubins Vehicle
IEEE Transactions on Automatic Control | 2017-08-08 | Paper |
Efficient Routing Algorithms for Multiple Vehicles With no Explicit Communications
IEEE Transactions on Automatic Control | 2017-08-08 | Paper |
Traveling Salesperson Problems for a Double Integrator
IEEE Transactions on Automatic Control | 2017-08-08 | Paper |
On Synchronous Robotic Networks—Part I: Models, Tasks, and Complexity
IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
Simultaneous Input and State Estimation for Linear Time-Varying Continuous-Time Stochastic Systems
IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
On Synchronous Robotic Networks—Part II: Time Complexity of Rendezvous and Deployment Algorithms
IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
On minimum-time paths of bounded curvature with position-dependent constraints
Automatica | 2017-06-02 | Paper |
On minimum-time paths of bounded curvature with position-dependent constraints
Automatica | 2017-06-02 | Paper |
Least-violating control strategy synthesis with safety rules
Proceedings of the 16th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
Distributed robust adaptive equilibrium computation for generalized convex games
Automatica | 2015-12-23 | Paper |
A unified filter for simultaneous input and state estimation of linear discrete-time stochastic systems
Automatica | 2015-12-23 | Paper |
Discussion on: ``Optimality properties and driver input parameterization for trail-braking cornering
European Journal of Control | 2014-08-12 | Paper |
| Anytime computation algorithms for approach-evasion differential games | 2013-08-05 | Paper |
Stability Analysis of Transportation Networks with Multiscale Driver Decisions
SIAM Journal on Control and Optimization | 2013-05-16 | Paper |
| Real-time game theoretic coordination of competitive mobility-on-demand systems | 2013-03-14 | Paper |
| Rebalancing the Rebalancers: Optimally Routing Vehicles and Drivers in Mobility-on-Demand Systems | 2013-03-14 | Paper |
Linear temporal logic vehicle routing with applications to multi-UAV mission planning
International Journal of Robust and Nonlinear Control | 2012-08-04 | Paper |
Incremental sampling-based algorithms for a class of pursuit-evasion games
Springer Tracts in Advanced Robotics | 2011-08-04 | Paper |
On endogenous reconfiguration in mobile robotic networks
Springer Tracts in Advanced Robotics | 2011-03-02 | Paper |
Dynamic vehicle routing with priority classes of stochastic demands
SIAM Journal on Control and Optimization | 2010-10-20 | Paper |
Switching control laws in the presence of measurement noise
Systems & Control Letters | 2010-10-07 | Paper |
Simultaneous Optimal Control and Discrete Stochastic Sensor Selection
Hybrid Systems: Computation and Control | 2009-04-30 | Paper |
Groupoids in Control Systems and the Reachability Problem for a Class of Quantized Control Systems with Nonabelian Symmetries
Hybrid Systems: Computation and Control | 2009-03-11 | Paper |
On the Optimality of Dubins Paths across Heterogeneous Terrain
Hybrid Systems: Computation and Control | 2008-09-02 | Paper |
Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems
Hybrid Systems: Computation and Control | 2008-09-02 | Paper |
Distributed Lyapunov Functions in Analysis of Graph Models of Software
Hybrid Systems: Computation and Control | 2008-09-02 | Paper |
Efficient routing of multiple vehicles with no explicit communications
International Journal of Robust and Nonlinear Control | 2008-02-21 | Paper |
Hybrid Systems: Computation and Control
Lecture Notes in Computer Science | 2007-09-25 | Paper |
Belief Consensus and Distributed Hypothesis Testing in Sensor Networks
Lecture Notes in Control and Information Science | 2007-05-08 | Paper |
| Synchronous robotic networks and complexity of control and communication laws | 2005-01-28 | Paper |
| scientific article; zbMATH DE number 2085324 (Why is no real title available?) | 2004-08-09 | Paper |
| A hybrid control architecture for aggressive maneuvering of autonomous aerial vehicles | 2001-10-07 | Paper |
