14 citations · 46 across the 58 of their papers we have counts for
4 papers · 1 filter
MDP Abstractions from Data: Large-Scale Stochastic Networks
Abolfazl Lavaei
This work proposes a compositional data-driven technique for the construction of finite Markov decision processes (MDPs) for large-scale stochastic networks with unknown mathematic…
Symbolic Abstractions with Guarantees: A Data-Driven Divide-and-Conquer Strategy
Abolfazl Lavaei
This article is concerned with a data-driven divide-and-conquer strategy to construct symbolic abstractions for interconnected control networks with unknown mathematical models. We…
Safety Barrier Certificates for Stochastic Control Systems with Wireless Communication Networks
Omid Akbarzadeh, Sadegh Soudjani, Abolfazl Lavaei
This work is concerned with a formal approach for safety controller synthesis of stochastic control systems with both process and measurement noises while considering wireless comm…
Formal Control of New England 39-Bus Test System: An Assume-Guarantee Approach
Ben Wooding, Abolfazl Lavaei, Sadegh Soudjani
This work is concerned with an assume-guarantee approach to compositionally control a New England 39-bus Test System (NETS). The proposed scheme is based on the new notion of robus…