Towards Private Data-driven Control

Reach-SDP: Reachability Analysis of Closed-Loop Systems with Neural Network Controllers via Semidefinite Programming

Control Barrier Functions for Nonholonomic Systems under Risk Signal Temporal Logic Specifications

Models of communication and control for brain networks: distinctions, convergence, and future outlook