410 citations · 2.1k across the 125 of their papers we have counts for
18 papers · 1 filter
Verisig: verifying safety properties of hybrid systems with neural network controllers
Radoslav Ivanov, James Weimer, Rajeev Alur +2
This paper presents Verisig, a hybrid system approach to verifying safety properties of closed-loop systems using neural networks as controllers. Although techniques exist for veri…
Latency-Reliability Tradeoffs for State Estimation
Konstantinos Gatsis, Hamed Hassani, George J. Pappas
The emerging interest in low-latency high-reliability applications, such as connected vehicles, necessitates a new abstraction between communication and control. Thanks to advances…
A Chebyshev-Accelerated Primal-Dual Method for Distributed Optimization
Jacob H. Seidman, Mahyar Fazlyab, George J. Pappas +1
We consider a distributed optimization problem over a network of agents aiming to minimize a global objective function that is the sum of local convex and composite cost functions.…
Resilient Structural Stabilizability of Undirected Networks
Jingqi Li, Ximing Chen, Sérgio Pequito +2
In this paper, we consider the structural stabilizability problem of undirected networks. More specifically, we are tasked to infer the stabilizability of an undirected network fro…
Structural Target Controllability of Undirected Networks
Jingqi Li, Ximing Chen, Sérgio Pequito +2
In this paper, we study the target controllability problem of networked dynamical systems, in which we are tasked to steer a subset of network states towards a desired objective. M…
An Information Matrix Approach for State Secrecy
Anastasios Tsiamis, Konstantinos Gatsis, George Pappas
This paper studies the problem of remote state estimation in the presence of a passive eavesdropper. A sensor measures a linear plant's state and transmits it to an authorized user…