1 citations · 1 across the 11 of their papers we have counts for
Showing 2026 · eess.SYShow all
2 papers · 2 filters
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…