Mohamadreza Ahmadi

Orcid: 0000-0001-5990-0829

According to our database1, Mohamadreza Ahmadi authored at least 52 papers between 2012 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Risk-Averse Decision Making Under Uncertainty.
IEEE Trans. Autom. Control., January, 2024

2023
Risk-averse receding horizon motion planning for obstacle avoidance using coherent risk measures.
Artif. Intell., December, 2023

Safe Control for Nonlinear Systems With Stochastic Uncertainty via Risk Control Barrier Functions.
IEEE Control. Syst. Lett., 2023

Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications.
CoRR, 2023

2022
Distributionally Robust Model Predictive Control With Total Variation Distance.
IEEE Control. Syst. Lett., 2022

Risk-Averse Control via CVaR Barrier Functions: Application to Bipedal Robot Locomotion.
IEEE Control. Syst. Lett., 2022

Sample-Based Bounds for Coherent Risk Measures: Applications to Policy Synthesis and Verification.
CoRR, 2022

Risk-Averse Receding Horizon Motion Planning.
CoRR, 2022

A Scenario Approach to Risk-Aware Safety-Critical System Verification.
CoRR, 2022

2021
Control Theory Meets POMDPs: A Hybrid Systems Approach.
IEEE Trans. Autom. Control., 2021

Risk-Sensitive Motion Planning using Entropic Value-at-Risk.
Proceedings of the 2021 European Control Conference, 2021

Time-Optimal Navigation in Uncertain Environments with High-Level Specifications.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Risk-Averse Stochastic Shortest Path Planning.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Constrained Risk-Averse Markov Decision Processes.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020
Safe Controller Synthesis for Data-Driven Differential Inclusions.
IEEE Trans. Autom. Control., 2020

Risk-Sensitive Path Planning via CVaR Barrier Functions: Application to Bipedal Locomotion.
CoRR, 2020

Constrained Active Classification Using Partially Observable Markov Decision Processes.
CoRR, 2020

Stochastic Finite State Control of POMDPs with LTL Specifications.
CoRR, 2020

Partially Observable Games for Secure Autonomy.
Proceedings of the 2020 IEEE Security and Privacy Workshops, 2020

Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Barrier Functions for Multiagent-POMDPs with DTL Specifications.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Optimal Safe Controller Synthesis: A Density Function Approach.
Proceedings of the 2020 American Control Conference, 2020

Risk-Averse Planning Under Uncertainty.
Proceedings of the 2020 American Control Conference, 2020

2019
Entropy-Regularized Stochastic Games.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Safe Policy Synthesis in Multi-Agent POMDPs via Discrete-Time Barrier Functions.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Barrier Certificates for Assured Machine Teaching.
Proceedings of the 2019 American Control Conference, 2019

Cost-Bounded Active Classification Using Partially Observable Markov Decision Processes.
Proceedings of the 2019 American Control Conference, 2019

2018
The Partially Observable Games We Play for Cyber Deception.
CoRR, 2018

Transfer Entropy in MDPs with Temporal Logic Specifications.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Privacy Verification in POMDPs via Barrier Certificates.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Control-Oriented Learning of Lagrangian and Hamiltonian Systems.
Proceedings of the 2018 Annual American Control Conference, 2018

Distributed Synthesis Using Accelerated ADMM.
Proceedings of the 2018 Annual American Control Conference, 2018

Verification of Uncertain POMDPs Using Barrier Certificates.
Proceedings of the 56th Annual Allerton Conference on Communication, 2018

Stochastic Games with Sensing Costs.
Proceedings of the 56th Annual Allerton Conference on Communication, 2018

Compositional Analysis of Hybrid Systems Defined Over Finite Alphabets.
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

2017
Erratum to: A dynamic VM consolidation technique for QoS and energy consumption in cloud environment.
J. Supercomput., 2017

A dynamic VM consolidation technique for QoS and energy consumption in cloud environment.
J. Supercomput., 2017

Safety verification for distributed parameter systems using barrier functionals.
Syst. Control. Lett., 2017

On robust stability of switched systems in the context of Filippov solutions.
Syst. Control. Lett., 2017

Safety assessemt based on physically-viable data-driven models.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

2016
Stability Analysis for a Class of Partial Differential Equations via Semidefinite Programming.
IEEE Trans. Autom. Control., 2016

Dissipation inequalities for the analysis of a class of PDEs.
Autom., 2016

Controller synthesis for stochastic systems with persistent noise via semi-definite programming.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

An optimization-based method for bounding state functionals of nonlinear stochastic systems.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

2015
Convex solutions to integral inequalities in two-dimensional domains.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

A convex approach to hydrodynamic analysis.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Barrier functionals for output functional estimation of PDEs.
Proceedings of the American Control Conference, 2015

2014
Semi-definite programming and functional inequalities for distributed parameter systems.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Input-output analysis of distributed parameter systems using convex optimization.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

2012
State estimation of nonlinear stochastic systems using a novel meta-heuristic particle filter.
Swarm Evol. Comput., 2012

Robust Stability Analysis of Nonlinear Switched Systems with Filippov Solutions.
Proceedings of the 7th IFAC Symposium on Robust Control Design, 2012

Robust stability and H∞ control of uncertain piecewise linear switched systems with Filippov solutions.
Proceedings of the IEEE International Conference on Control Applications, 2012


  Loading...