Abolfazl Lavaei
- PRoTECT: Parallelized Construction of Safety Barrier Certificates for Nonlinear Polynomial Systems
2024/04/23 by Ben Wooding, Viacheslav Horbanov, Wooding, Ben +3 · 3 citations
Computer Science · Decision Sciences · Engineering · #FOS: Electrical engineering #Formal Methods in Verification #Risk and Safety Analysis #Safety Systems Engineering in Autonomy #Systems and Control (eess.SY) #electronic engineering #information engineering
- Compositional Abstraction of Large-Scale Stochastic Systems: A Relaxed\n Dissipativity Approach
2019/02/01 by Abolfazl Lavaei, Lavaei, Abolfazl, Sadegh Soudjani +3 · 1 citation
Computer Science · Engineering · #Petri Nets in System Modeling #Stability and Control of Uncertain Systems
- From Dissipativity Theory to Compositional Synthesis of Large-Scale Stochastic Switched Systems
2022/03/15 by Abolfazl Lavaei, Majid Zamani · 1 citation
Computer Science · Biochemistry, Genetics and Molecular Biology · #Petri Nets in System Modeling #Formal Methods in Verification #Gene Regulatory Network Analysis
- AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale\n Stochastic Systems
2020/05/13 by Abolfazl Lavaei, Lavaei, Abolfazl, Mahmoud Khaled +5 · 1 citation
Computer Science · #Formal Methods in Verification #Real-Time Systems Scheduling #Petri Nets in System Modeling
- Data-Driven Dynamic Controller Synthesis for Discrete-Time General Nonlinear Systems
2025/03/11 by Behrad Samari, Abolfazl Lavaei, Samari, Behrad +1 · 3 citations
Engineering · #Control Systems and Identification #Advanced Control Systems Optimization #Fault Detection and Control Systems
- From Data to Control: A Formal Compositional Framework for Large-Scale Interconnected Networks
2024/09/19 by Omid Akbarzadeh, Akbarzadeh, Omid, A. Nejati +3 · 1 citation
Computer Science · #Advanced Database Systems and Queries #Cognitive Computing and Networks #Distributed systems and fault tolerance #FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
- Learning k-Inductive Control Barrier Certificates for Unknown Nonlinear Dynamics Beyond Polynomials
2024/12/10 by Ben Wooding, Abolfazl Lavaei, Wooding, Ben +1 · 1 citation
Engineering · #Fault Detection and Control Systems #Control Systems and Identification #Advanced Control Systems Optimization
- TRUST: Stability and Safety Controller Synthesis for Unknown Dynamical Models Using a Single Trajectory
2025/03/11 by Ben Wooding, Gardner, Jamie, Wooding, Ben +4 · 1 citation
Computer Science · Engineering · #FOS: Electrical engineering #Formal Methods in Verification #Real-time simulation and control systems #Robotic Path Planning Algorithms #Systems and Control (eess.SY) #electronic engineering #information engineering
- From Data to Global Asymptotic Stability of Unknown Large-Scale Networks with Provable Guarantees
2025/03/11 by Mahdieh Zaker, Ameneh Nejati, Zaker, Mahdieh +3 · 2 citations
Computer Science · #Distributed Control Multi-Agent Systems #Energy Efficient Wireless Sensor Networks #FOS: Electrical engineering #Security in Wireless Sensor Networks #Systems and Control (eess.SY) #electronic engineering #information engineering
- Symbolic Abstractions with Guarantees: A Data-Driven Divide-and-Conquer Strategy
2023/09/14 by Abolfazl Lavaei, Lavaei, Abolfazl · 1 citation
Computer Science · Engineering · #Advanced Control Systems Optimization #FOS: Electrical engineering #Fault Detection and Control Systems #Formal Methods in Verification #Systems and Control (eess.SY) #electronic engineering #information engineering
- Compositional Reinforcement Learning for Discrete-Time Stochastic Control Systems
2022/08/06 by Abolfazl Lavaei, Mateo Perez, Lavaei, Abolfazl +11 · 1 citation
Medicine · #Cardiac electrophysiology and arrhythmias #FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
- Data-Driven Formal Methods for Complex Dynamical Systems: A Survey
2026/07/30 by Behrad Samari, Alessandro Abate, Antoine Girard +3
Engineering · Computer Science · #eess.SY #cs.SY