Flexible Differentiable Optimization via Model Transformations.
INFORMS J. Comput., 2024
Dionysos.jl: a Modular Platform for Smart Symbolic Control.
CoRR, 2024
Low-Rank Univariate Sum of Squares Has No Spurious Local Minima.
SIAM J. Optim., September, 2023
JuMP 1.0: recent improvements to a modeling language for mathematical optimization.
Math. Program. Comput., September, 2023
Sequential sum-of-squares programming for analysis of nonlinear systems<sup>⋆</sup>.
Proceedings of the American Control Conference, 2023
MathOptInterface: A Data Structure for Mathematical Optimization Problems.
INFORMS J. Comput., 2022
Sequential sum-of-squares programming for analysis of nonlinear systems.
CoRR, 2022
The Limits of Pairwise Correlation to Model the Joint Entropy. Comment on Nguyen Thi Thanh et al. Entropy Correlation and Its Impacts on Data Aggregation in a Wireless Sensor Network. Sensors 2018, 18, 3118.
Sensors, 2021
Piecewise Semi-Ellipsoidal Control Invariant Sets.
IEEE Control. Syst. Lett., 2021
Abstraction-based branch and bound approach to Q-learning for hybrid optimal control.
Proceedings of the 3rd Annual Conference on Learning for Dynamics and Control, 2021
Alternating Simulation on Hierarchical Abstractions.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021
Geometric control of algebraic systems.
Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021
Set programming: theory and computation.
PhD thesis, 2020
Certifying Unstability of Switched Systems Using Sum of Squares Programming.
SIAM J. Control. Optim., 2020
Stability of Planar Switched Systems under Delayed Event Detection.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020
An Entropy-Based Bound for the Computational Complexity of a Switched System.
IEEE Trans. Autom. Control., 2019
Minimally, Constrained Stable Switched Systems and Application to Co-Simulation.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018
Computing controlled invariant sets for hybrid systems with applications to model-predictive control.
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018
Generating Unstable Trajectories for Switched Systems via Dual Sum-Of-Squares Techniques.
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016