Constructive Formal Control Synthesis through Abstraction and Decomposition.
PhD thesis, 2019
Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Flexible Computational Pipelines for Robust Abstraction-Based Control Synthesis.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019
Abstractions for Symbolic Controller Synthesis are Composable.
CoRR, 2018
Automatic Generation of Communication Requirements for Enforcing Multi-Agent Safety.
Proceedings of the Proceedings 2nd International Workshop on Safe Control of Autonomous Vehicles, 2018
Constructing Control System Abstractions from Modular Components.
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018
Major Computational Breakthroughs in the Synthesis of Symbolic Controllers via Decomposed Algorithms.
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018
Sparsity-Sensitive Finite Abstraction.
CoRR, 2017
Symbolic control design for monotone systems with directed specifications.
Autom., 2017
A Small Gain Theorem for Parametric Assume-Guarantee Contracts.
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017
Dynamic contracts for distributed temporal logic control of traffic networks.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
Sparsity-aware finite abstraction.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
Offset optimization of signalized intersections via the Burer-Monteiro method.
Proceedings of the 2017 American Control Conference, 2017
Directed Specifications and Assumption Mining for Monotone Dynamical Systems.
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016
Assume-guarantee contracts and controller synthesis for vehicular traffic networks.
Proceedings of the 2016 American Control Conference, 2016
Compositional controller synthesis for vehicular traffic networks.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015
Offset optimization for a network of signalized intersections via semidefinite relaxation.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015
A learning based approach to control synthesis of Markov decision processes for linear temporal logic specifications.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014