Abolfazl Lavaei
Orcid: 0000-0003-4993-3170
According to our database1,
Abolfazl Lavaei
authored at least 55 papers
between 2017 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Data-driven verification and synthesis of stochastic systems via barrier certificates.
Autom., January, 2024
IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale Stochastic Systems.
CoRR, 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
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 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