Synthical
Your space
Profile
Activity
Favorites
Folders
Feeds
All articles
Claim page
Abolfazl Lavaei
Follow
Activity
Upvotes
Folders
Articles
30
From Data to Control: A Formal Compositional Framework for Large-Scale Interconnected Networks
19 September 2024 by
Omid Akbarzadeh
and
others
Systems and Control
From a Single Trajectory to Safety Controller Synthesis of Discrete-Time Nonlinear Polynomial Systems
16 September 2024 by
Behrad Samari
and
others
Systems and Control
Compositional Design of Safety Controllers for Large-scale Stochastic Hybrid Systems
16 September 2024 by
Manoucheher Zaker
and
others
Systems and Control
Rare Collision Risk Estimation of Autonomous Vehicles with Multi-Agent Situation Awareness
2 May 2024 by
Manoucheher Zaker
and
others
Systems and Control
PRoTECT: Parallelized Construction of Safety Barrier Certificates for Nonlinear Polynomial Systems
23 April 2024 by
Ben Wooding
and
others
Systems and Control
IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale Stochastic Systems
21 February 2024 by
Ben Wooding
and
Abolfazl Lavaei
Systems and Control
MDP Abstractions from Data: Large-Scale Stochastic Networks
14 September 2023 by
Abolfazl Lavaei
Systems and Control
Symbolic Abstractions with Guarantees: A Data-Driven Divide-and-Conquer Strategy
14 September 2023 by
Abolfazl Lavaei
Systems and Control
Safety Barrier Certificates for Stochastic Control Systems with Wireless Communication Networks
11 September 2023 by
Omid Akbarzadeh
and
others
Systems and Control
Data-driven verification and synthesis of stochastic systems via barrier certificates
9 September 2023 by
Ali Salamati
and
others
Systems and Control
Formal Control of New England 39-Bus Test System: An Assume-Guarantee Approach
7 July 2023 by
Ben Wooding
and
others
Systems and Control
Compositional Reinforcement Learning for Discrete-Time Stochastic Control Systems
6 August 2022 by
Abolfazl Lavaei
and
others
Systems and Control
Safety Barrier Certificates for Stochastic Hybrid Systems
6 August 2022 by
Abolfazl Lavaei
and
others
Systems and Control
Compositional Controller Synthesis for Interconnected Stochastic Systems with Markovian Switching
6 August 2022 by
Abolfazl Lavaei
and
Emilio Frazzoli
Systems and Control
Formal Estimation of Collision Risks for Autonomous Vehicles: A Compositional Data-Driven Approach
20 July 2022 by
Abolfazl Lavaei
and
others
Systems and Control
,
Optimization and Control
Compositional Synthesis of Control Barrier Certificates for Networks of Stochastic Systems against
ω
-Regular Specifications
5 July 2022 by
Mahathi Anand
and
others
Systems and Control
Constructing MDP Abstractions Using Data with Formal Guarantees
29 June 2022 by
Abolfazl Lavaei
and
others
Systems and Control
From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems
22 June 2022 by
Mahathi Anand
and
others
Systems and Control
Data-Driven Synthesis of Symbolic Abstractions with Guaranteed Confidence
19 June 2022 by
Abolfazl Lavaei
and
Emilio Frazzoli
Systems and Control
Automated Verification and Synthesis of Stochastic Hybrid Systems: A Survey
10 March 2022 by
Abolfazl Lavaei
and
others
Logic in Computer Science
,
Systems and Control
Automata-based Controller Synthesis for Stochastic Systems: A Game Framework via Approximate Probabilistic Relations
14 February 2022 by
Bingzhuo Zhong
and
others
Systems and Control
Data-driven Safety Verification of Stochastic Systems via Barrier Certificates
23 December 2021 by
Ali Salamati
and
others
Systems and Control
Safe-visor Architecture for Sandboxing (AI-based) Unverified Controllers in Stochastic Cyber-Physical Systems
19 August 2021 by
Bingzhuo Zhong
and
others
Systems and Control
Compositional Construction of Safety Controllers for Networks of Continuous-Space POMDPs
10 March 2021 by
Niloofar Jahanshahi
and
others
Systems and Control
AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems
13 May 2020 by
Abolfazl Lavaei
and
others
Systems and Control
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning
2 March 2020 by
Abolfazl Lavaei
and
others
Systems and Control
,
Machine Learning
Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems
14 February 2020 by
Abolfazl Lavaei
and
others
Systems and Control
Compositional Abstraction-based Synthesis for Networks of Stochastic Switched Systems
24 December 2019 by
Abolfazl Lavaei
and
others
Systems and Control
Compositional Abstraction-based Synthesis of General MDPs via Approximate Probabilistic Relations
7 June 2019 by
Abolfazl Lavaei
and
others
Systems and Control
Compositional Construction of Infinite Abstractions for Networks of Stochastic Control Systems
9 May 2019 by
Abolfazl Lavaei
and
others
Systems and Control
This is an AI-generated summary
Key points
Topics
Systems and Control
Optimization and Control
Logic in Computer Science
Machine Learning
