activity
20242026
most citedFrom a Single Trajectory to Safety Controller Synthesis of Discrete-Time Nonlinear Polynomial Systems

1 citations · 1 across the 11 of their papers we have counts for

collaborators
Showing 2026Show all

2 papers · 1 filter

eess.SY2026

Data-Driven Formal Methods for Complex Dynamical Systems: A Survey

Behrad Samari, Alessandro Abate, Antoine Girard +3

Data-driven approaches with formal guarantees have recently emerged as a powerful means for the verification and controller synthesis of complex dynamical systems. Interest in thes…

eess.SY2026

From Noisy Data to Hierarchical Control: A Model-Order-Reduction Framework

Behrad Samari, Henrik Sandberg, Karl H. Johansson +1

This paper develops a direct data-driven framework for constructing reduced-order models (ROMs) of discrete-time linear dynamical systems with unknown dynamics and process disturba…