Abolfazl Lavaei
Orcid: 0000-0003-4993-3170
According to our database1,
Abolfazl Lavaei
authored at least 76 papers
between 2017 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Scalable Synthesis of Safety Barrier Certificates for Networks of Stochastic Switched Systems.
IEEE Trans. Autom. Control., November, 2024
Data-driven verification and synthesis of stochastic systems via barrier certificates.
Autom., January, 2024
From a Single Trajectory to Safety Controller Synthesis of Discrete-Time Nonlinear Polynomial Systems.
IEEE Control. Syst. Lett., 2024
Learning k-Inductive Control Barrier Certificates for Unknown Nonlinear Dynamics Beyond Polynomials.
CoRR, 2024
A Physics-Informed Scenario Approach with Data Mitigation for Safety Verification of Nonlinear Systems.
CoRR, 2024
CoRR, 2024
Certified Learning of Incremental ISS Controllers for Unknown Nonlinear Polynomial Dynamics.
CoRR, 2024
Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories.
CoRR, 2024
Data-Driven Control of Large-Scale Networks with Formal Guarantees: A Small-Gain Free Approach.
CoRR, 2024
From Data to Control: A Formal Compositional Framework for Large-Scale Interconnected Networks.
CoRR, 2024
Compositional Design of Safety Controllers for Large-scale Stochastic Hybrid Systems.
CoRR, 2024
Rare Collision Risk Estimation of Autonomous Vehicles with Multi-Agent Situation Awareness.
CoRR, 2024
PRoTECT: Parallelized Construction of Safety Barrier Certificates for Nonlinear Polynomial Systems.
CoRR, 2024
IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale STochastic Systems.
Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2024
IMPaCT: A Parallelized Software Tool for IMDP Construction and Controller Synthesis with Convergence Guarantees.
Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024
Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024
Safety Certificates of Stochastic Cyber-Physical Systems with Wireless Communication Networks.
Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024
Proceedings of the European Control Conference, 2024
Proceedings of the European Control Conference, 2024
Data-Driven Safety Controller Synthesis for Unknown Systems with Wireless Communication Networks.
Proceedings of the 10th International Conference on Control, 2024
2023
A Compositional Dissipativity Approach for Data-Driven Safety Verification of Large-Scale Dynamical Systems.
IEEE Trans. Autom. Control., December, 2023
Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach.
IEEE Trans. Autom. Control., May, 2023
Formal Estimation of Collision Risks for Autonomous Vehicles: A Compositional Data-Driven Approach.
IEEE Trans. Control. Netw. Syst., March, 2023
Compositional Construction of Safety Controllers for Networks of Continuous-Space POMDPs.
IEEE Trans. Control. Netw. Syst., March, 2023
Estimation of Infinitesimal Generators for Unknown Stochastic Hybrid Systems via Sampling: A Formal Approach.
IEEE Control. Syst. Lett., 2023
IEEE Control. Syst. Lett., 2023
IEEE Control. Syst. Lett., 2023
Data-Driven Stability Certificate of Interconnected Homogeneous Networks via ISS Properties.
IEEE Control. Syst. Lett., 2023
IEEE Control. Syst. Lett., 2023
Safety Barrier Certificates for Stochastic Control Systems with Wireless Communication Networks.
CoRR, 2023
CoRR, 2023
Automata-based controller synthesis for stochastic systems: A game framework via approximate probabilistic relations.
Autom., 2023
Proceedings of the European Control Conference, 2023
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023
Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023
2022
From Dissipativity Theory to Compositional Synthesis of Large-Scale Stochastic Switched Systems.
IEEE Trans. Autom. Control., 2022
From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems.
IEEE Trans. Autom. Control., 2022
CoRR, 2022
Compositional Controller Synthesis for Interconnected Stochastic Systems with Markovian Switching.
CoRR, 2022
Autom., 2022
Poster Abstract: Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations.
Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022
Poster Abstract: Data-Driven Estimation of Collision Risks for Autonomous Vehicles with Formal Guarantees.
Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022
Proceedings of the 61st IEEE Conference on Decision and Control, 2022
Data-Driven Stability Verification of Homogeneous Nonlinear Systems with Unknown Dynamics<sup>*</sup>.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022
Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022
Proceedings of the American Control Conference, 2022
Compositional Controller Synthesis for Interconnected Stochastic Systems with Markovian Switching<sup>*</sup>.
Proceedings of the American Control Conference, 2022
2021
Data-driven verification and synthesis of stochastic systems through barrier certificates.
CoRR, 2021
Compositional Synthesis of Control Barrier Certificates for Networks of Stochastic Systems against ω-Regular Specifications.
CoRR, 2021
Safe-visor Architecture for Sandboxing (AI-based) Unverified Controllers in Stochastic Cyber-Physical Systems.
CoRR, 2021
Estimating infinitesimal generators of stochastic systems with formal error bounds: a data-driven approach.
Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021
Formal safety verification of unknown continuous-time systems: a data-driven approach.
Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021
Towards trustworthy AI: safe-visor architecture for uncertified controllers in stochastic cyber-physical systems.
Proceedings of the CAADCPS '21: Proceedings of the Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems, 2021
Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021
Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021
Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021
2020
Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems.
IEEE Trans. Autom. Control., 2020
Compositional abstraction-based synthesis for networks of stochastic switched systems.
Autom., 2020
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning.
Proceedings of the 11th ACM/IEEE International Conference on Cyber-Physical Systems, 2020
AMYTISS: a parallelized tool on automated controller synthesis for large-scale stochastic systems.
Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020
AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems.
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020
Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020
2019
Compositional Abstraction-based Synthesis of General MDPs via Approximate Probabilistic Relations.
CoRR, 2019
Compositional Synthesis of Large-Scale Stochastic Systems: A Relaxed Dissipativity Approach.
CoRR, 2019
Compositional construction of infinite abstractions for networks of stochastic control systems.
Autom., 2019
Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, 2019
Compositional Synthesis of not Necessarily Stabilizable Stochastic Systems via Finite Abstractions.
Proceedings of the 17th European Control Conference, 2019
Compositional Verification of Large-Scale Stochastic Systems via Relaxed Small-Gain Conditions.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019
Approximate Probabilistic Relations for Compositional Abstractions of Stochastic Systems.
Proceedings of the Numerical Software Verification - 12th International Workshop, 2019
2018
Compositional Synthesis of Interconnected Stochastic Control Systems based on Finite MDPs.
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018
From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes.
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018
Compositional Synthesis of Finite Abstractions for Continuous-Space Stochastic Control Systems: A Small-Gain Approach.
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018
2017
Optimal 3D trajectory generation in delivering missions under urban constraints for a flying robot.
Intell. Serv. Robotics, 2017
Compositional abstractions of interconnected discrete-time stochastic control systems.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017