3 citations · 3 across the 14 of their papers we have counts for
3 papers · 1 filter
A Physics-Informed Scenario Approach with Data Mitigation for Safety Verification of Nonlinear Systems
Ali Aminzadeh, MohammadHossein Ashoori, Amy Nejati +1
This paper develops a physics-informed scenario approach for safety verification of nonlinear systems using barrier certificates (BCs) to ensure that system trajectories remain wit…
Data-Driven Control of Large-Scale Networks with Formal Guarantees: A Small-Gain Free Approach
Behrad Samari, Amy Nejati, Abolfazl Lavaei
This paper offers a data-driven divide-and-conquer strategy to analyze large-scale interconnected networks, characterized by both unknown mathematical models and interconnection to…
From Data to Control: A Formal Compositional Framework for Large-Scale Interconnected Networks
Omid Akbarzadeh, Amy Nejati, Abolfazl Lavaei
We introduce a compositional data-driven methodology with noisy data for designing fully-decentralized safety controllers applicable to large-scale interconnected networks, encompa…