120 citations · 647 across the 69 of their papers we have counts for
77 papers
Safety Barrier Certificates for Stochastic Hybrid Systems
Abolfazl Lavaei, Sadegh Soudjani, Emilio Frazzoli
This work is concerned with the safety controller synthesis of stochastic hybrid systems, in which continuous evolutions are described by stochastic differential equations with bot…
Compositional Controller Synthesis for Interconnected Stochastic Systems with Markovian Switching
Abolfazl Lavaei, Emilio Frazzoli
In this work, we propose a compositional scheme for the safety controller synthesis of interconnected discrete-time stochastic systems with Markovian switching signals. Our propose…
CARMA: Fair and efficient bottleneck congestion management via non-tradable karma credits
Ezzat Elokda, Carlo Cenedese, Kenan Zhang +4
This paper proposes a non-monetary traffic demand management scheme, named CARMA, as a fair solution to the morning commute congestion. We consider heterogeneous commuters travelin…
Constructing MDP Abstractions Using Data with Formal Guarantees
Abolfazl Lavaei, Sadegh Soudjani, Emilio Frazzoli +1
This paper is concerned with a data-driven technique for constructing finite Markov decision processes (MDPs) as finite abstractions of discrete-time stochastic control systems wit…
Data-Driven Synthesis of Symbolic Abstractions with Guaranteed Confidence
Abolfazl Lavaei, Emilio Frazzoli
In this work, we propose a data-driven approach for the construction of finite abstractions (a.k.a., symbolic models) for discrete-time deterministic control systems with unknown d…
A Compositional Sheaf-Theoretic Framework for Event-Based Systems
Gioele Zardini, David I. Spivak, Andrea Censi +1
A compositional sheaf-theoretic framework for the modeling of complex event-based systems is presented. We show that event-based systems are machines, with inputs and outputs, and…