Co-occurring keywords · papers mentioning both
Papers
Just Few States Are Enough: Randomized Sparse Feedback for Stability of Dynamical Systems
AAAI 2026
Learning-enabled Polynomial Lyapunov Function Synthesis via High-Accuracy Counterexample-Guided Framework
CVPR 2025
Design of observer-based finite-time control for inductively coupled power transfer system with random gain fluctuations
L4DC 2024
Strengthened stability analysis of discrete-time Lurie systems involving ReLU neural networks
L4DC 2024
Probabilistic Invariance for Gaussian Process State Space Models
L4DC 2023
Data-driven Control of Unknown Linear Systems via Quantized Feedback
L4DC 2022
Certifying Incremental Quadratic Constraints for Neural Networks via Convex Optimization
L4DC 2021
Non-conservative Design of Robust Tracking Controllers Based on Input-output Data
L4DC 2021
Offset-free setpoint tracking using neural network controllers
L4DC 2021
A Unified Analysis of Stochastic Optimization Methods Using Jump System Theory and Quadratic Constraints
COLT 2017
Consensus Maximization With Linear Matrix Inequality Constraints
CVPR 2017
LMI-Based 2D-3D Registration: From Uncalibrated Images to Euclidean Scene
CVPR 2015
Connected Sub-graph Detection
AISTATS 2014
Efficient Minimax Signal Detection on Graphs
NeurIPS 2014
Efficient Pruning LMI Conditions for Branch-and-Prune Rank and Chirality-Constrained Estimation of the Dual Absolute Quadric
CVPR 2014