?
2023 American Control Conference (ACC) ,
1
A Discretization of the Hybrid Gradient Algorithm for Linea..:
, In:
?
2023 IEEE 8th European Symposium on Security and Privacy (EuroS&P) ,
2
Provable Adversarial Safety in Cyber-Physical Systems:
, In:
?
2023 62nd IEEE Conference on Decision and Control (CDC) ,
3
HySST: An Asymptotically Near-Optimal Motion Planning Algor..:
, In:
?
2023 62nd IEEE Conference on Decision and Control (CDC) ,
4
Interval Observers for Hybrid Dynamical Systems with Known ..:
, In:
?
Systems & Control: Foundations & Applications; Computation-Aware Algorithmic Design for Cyber-Physical Systems ,
5
Introduction:
, In:
?
2023 American Control Conference (ACC) ,
6
Global Accelerated Nonconvex Geometric Optimization Methods..:
, In:
?
Systems & Control: Foundations & Applications; Computation-Aware Algorithmic Design for Cyber-Physical Systems ,
7
Set-Valued Model Predictive Control:
, In:
?
2023 American Control Conference (ACC) ,
8
An Observer-based Switching Algorithm for Safety under Sens..:
, In:
?
2023 62nd IEEE Conference on Decision and Control (CDC) ,
9
Multi-Channel Hybrid Time Domains and Clustering Protocols ..:
, In:
?
2023 62nd IEEE Conference on Decision and Control (CDC) ,
10
Forward Invariance-Based Hybrid Control Using Uncertified C..:
, In:
?
2023 62nd IEEE Conference on Decision and Control (CDC) ,
11
On Invariants for Open Hybrid Systems and their Interconnec..:
, In:
?
2023 American Control Conference (ACC) ,
12
A Totally Asynchronous Block-Based Heavy Ball Algorithm for..:
, In:
?
2022 IEEE 61st Conference on Decision and Control (CDC) ,
13
Control Barrier Function-Based Attack-Recovery with Provabl..:
, In:
?
2022 American Control Conference (ACC) ,
15