Mohamadreza Ahmadi

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 64

Top Topics

Controller Synthesis

Receding Horizon

Markov Decision Process

Partially Observable Markov Decision Process

Top Venues

IEEE Trans. Autom. Control.

Publications

Prithvi Akella, Anushri Dixit, Mohamadreza Ahmadi, Lars Lindemann, Margaret P. Chapman, George J. Pappas, Aaron D. Ames, Joel W. Burdick
Risk-Aware Robotics: Tail Risk Measures in Planning, Control, and Verification. CoRR (2024)
Mohamadreza Ahmadi, Ugo Rosolia, Michel D. Ingham, Richard M. Murray, Aaron D. Ames
Risk-Averse Decision Making Under Uncertainty. IEEE Trans. Autom. Control. 69 (1) (2024)
Prithvi Akella, Mohamadreza Ahmadi, Richard M. Murray, Aaron D. Ames
Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications. CoRR (2023)
Andrew Singletary, Mohamadreza Ahmadi, Aaron D. Ames
Safe Control for Nonlinear Systems With Stochastic Uncertainty via Risk Control Barrier Functions. IEEE Control. Syst. Lett. 7 (2023)
Anushri Dixit, Mohamadreza Ahmadi, Joel W. Burdick
Risk-averse receding horizon motion planning for obstacle avoidance using coherent risk measures. Artif. Intell. 325 (2023)
Prithvi Akella, Mohamadreza Ahmadi, Aaron D. Ames
A Scenario Approach to Risk-Aware Safety-Critical System Verification. CoRR (2022)
Prithvi Akella, Anushri Dixit, Mohamadreza Ahmadi, Joel W. Burdick, Aaron D. Ames
Sample-Based Bounds for Coherent Risk Measures: Applications to Policy Synthesis and Verification. CoRR (2022)
Andrew Singletary, Mohamadreza Ahmadi, Aaron D. Ames
Safe Control for Nonlinear Systems with Stochastic Uncertainty via Risk Control Barrier Functions. CoRR (2022)
Anushri Dixit, Mohamadreza Ahmadi, Joel W. Burdick
Distributionally Robust Model Predictive Control with Total Variation Distance. CoRR (2022)
Mohamadreza Ahmadi, Xiaobin Xiong, Aaron D. Ames
Risk-Averse Control via CVaR Barrier Functions: Application to Bipedal Robot Locomotion. IEEE Control. Syst. Lett. 6 (2022)
Anushri Dixit, Mohamadreza Ahmadi, Joel W. Burdick
Distributionally Robust Model Predictive Control With Total Variation Distance. IEEE Control. Syst. Lett. 6 (2022)
Anushri Dixit, Mohamadreza Ahmadi, Joel W. Burdick
Risk-Averse Receding Horizon Motion Planning. CoRR (2022)
Mohamadreza Ahmadi, Anushri Dixit, Joel W. Burdick, Aaron D. Ames
Risk-Averse Stochastic Shortest Path Planning. CoRR (2021)
Ugo Rosolia, Mohamadreza Ahmadi, Richard M. Murray, Aaron D. Ames
Time-Optimal Navigation in Uncertain Environments with High-Level Specifications. CoRR (2021)
Mohamadreza Ahmadi, Anushri Dixit, Joel W. Burdick, Aaron D. Ames
Risk-Averse Stochastic Shortest Path Planning. CDC (2021)
Anushri Dixit, Mohamadreza Ahmadi, Joel W. Burdick
Risk-Sensitive Motion Planning using Entropic Value-at-Risk. ECC (2021)
Mohamadreza Ahmadi, Nils Jansen, Bo Wu, Ufuk Topcu
Control Theory Meets POMDPs: A Hybrid Systems Approach. IEEE Trans. Autom. Control. 66 (11) (2021)
Mohamadreza Ahmadi, Ugo Rosolia, Michel D. Ingham, Richard M. Murray, Aaron D. Ames
Constrained Risk-Averse Markov Decision Processes. AAAI (2021)
Ugo Rosolia, Mohamadreza Ahmadi, Richard M. Murray, Aaron D. Ames
Time-Optimal Navigation in Uncertain Environments with High-Level Specifications. CDC (2021)
Mohamadreza Ahmadi, Ugo Rosolia, Michel D. Ingham, Richard M. Murray, Aaron D. Ames
Risk-Averse Decision Making Under Uncertainty. CoRR (2021)
Bo Wu, Mohamadreza Ahmadi, Suda Bharadwaj, Ufuk Topcu
Constrained Active Classification Using Partially Observable Markov Decision Processes. CoRR (2020)
Mohamadreza Ahmadi, Arun Viswanathan, Michel D. Ingham, Kymie Tan, Aaron D. Ames
Partially Observable Games for Secure Autonomy. SP Workshops (2020)
Yuxiao Chen, Mohamadreza Ahmadi, Aaron D. Ames
Optimal Safe Controller Synthesis: A Density Function Approach. ACC (2020)
Mohamadreza Ahmadi, Rangoli Sharan, Joel W. Burdick
Stochastic Finite State Control of POMDPs with LTL Specifications. CoRR (2020)
Prithvi Akella, Mohamadreza Ahmadi, Richard M. Murray, Aaron D. Ames
Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions. CoRR (2020)
Mohamadreza Ahmadi, Arun Viswanathan, Michel D. Ingham, Kymie Tan, Aaron D. Ames
Partially Observable Games for Secure Autonomy. CoRR (2020)
Mohamadreza Ahmadi, Arie Israel, Ufuk Topcu
Safe Controller Synthesis for Data-Driven Differential Inclusions. IEEE Trans. Autom. Control. 65 (11) (2020)
Mohamadreza Ahmadi, Andrew Singletary, Joel W. Burdick, Aaron D. Ames
Barrier Functions for Multiagent-POMDPs with DTL Specifications. CoRR (2020)
Anushri Dixit, Mohamadreza Ahmadi, Joel W. Burdick
Risk-Sensitive Motion Planning using Entropic Value-at-Risk. CoRR (2020)
Mohamadreza Ahmadi, Ugo Rosolia, Michel D. Ingham, Richard M. Murray, Aaron D. Ames
Constrained Risk-Averse Markov Decision Processes. CoRR (2020)
Mohamadreza Ahmadi, Masahiro Ono, Michel D. Ingham, Richard M. Murray, Aaron D. Ames
Risk-Averse Planning Under Uncertainty. ACC (2020)
Mohamadreza Ahmadi, Andrew Singletary, Joel W. Burdick, Aaron D. Ames
Barrier Functions for Multiagent-POMDPs with DTL Specifications. CDC (2020)
Mohamadreza Ahmadi, Xiaobin Xiong, Aaron D. Ames
Risk-Sensitive Path Planning via CVaR Barrier Functions: Application to Bipedal Locomotion. CoRR (2020)
Prithvi Akella, Mohamadreza Ahmadi, Richard M. Murray, Aaron D. Ames
Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions. CDC (2020)
Mohamadreza Ahmadi, Bo Wu, Yuxin Chen, Yisong Yue, Ufuk Topcu
Barrier Certificates for Assured Machine Teaching. ACC (2019)
Bo Wu, Mohamadreza Ahmadi, Suda Bharadwaj, Ufuk Topcu
Cost-Bounded Active Classification Using Partially Observable Markov Decision Processes. ACC (2019)
Mohamadreza Ahmadi, Nils Jansen, Bo Wu, Ufuk Topcu
Control Theory Meets POMDPs: A Hybrid Systems Approach. CoRR (2019)
Mohamadreza Ahmadi, Andrew Singletary, Joel W. Burdick, Aaron D. Ames
Safe Policy Synthesis in Multi-Agent POMDPs via Discrete-Time Barrier Functions. CDC (2019)
Mohamadreza Ahmadi, Masahiro Ono, Michel D. Ingham, Richard M. Murray, Aaron D. Ames
Risk-Averse Planning Under Uncertainty. CoRR (2019)
Yuxiao Chen, Mohamadreza Ahmadi, Aaron D. Ames
Optimal Safe Controller Synthesis: A Density Function Approach. CoRR (2019)
Yagiz Savas, Mohamadreza Ahmadi, Takashi Tanaka, Ufuk Topcu
Entropy-Regularized Stochastic Games. CDC (2019)
Mohamadreza Ahmadi, Andrew Singletary, Joel W. Burdick, Aaron D. Ames
Safe Policy Synthesis in Multi-Agent POMDPs via Discrete-Time Barrier Functions. CoRR (2019)
Suda Bharadwaj, Mohamadreza Ahmadi, Takashi Tanaka, Ufuk Topcu
Transfer Entropy in MDPs with Temporal Logic Specifications. CoRR (2018)
Mohamadreza Ahmadi, Bo Wu, Hai Lin, Ufuk Topcu
Privacy Verification in POMDPs via Barrier Certificates. CDC (2018)
Mohamadreza Ahmadi, Ufuk Topcu, Clarence W. Rowley
Control-Oriented Learning of Lagrangian and Hamiltonian Systems. ACC (2018)
Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
The Partially Observable Games We Play for Cyber Deception. CoRR (2018)
Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen, Ufuk Topcu
Verification of Uncertain POMDPs Using Barrier Certificates. CoRR (2018)
Mohamadreza Ahmadi, Suda Bharadwaj, Takashi Tanaka, Ufuk Topcu
Stochastic Games with Sensing Costs. Allerton (2018)
Murat Cubuktepe, Mohamadreza Ahmadi, Ufuk Topcu, Brandon Hencey
Compositional Analysis of Hybrid Systems Defined Over Finite Alphabets. ADHS (2018)
Bo Wu, Mohamadreza Ahmadi, Suda Bharadwaj, Ufuk Topcu
Cost-Bounded Active Classification Using Partially Observable Markov Decision Processes. CoRR (2018)
Mohamadreza Ahmadi, Murat Cubuktepe, Ufuk Topcu, Takashi Tanaka
Distributed Synthesis Using Accelerated ADMM. ACC (2018)
Mohamadreza Ahmadi, Bo Wu, Yuxin Chen, Yisong Yue, Ufuk Topcu
Barrier Certificates for Assured Machine Teaching. CoRR (2018)
Mohamadreza Ahmadi, Bo Wu, Hai Lin, Ufuk Topcu
Privacy Verification in POMDPs via Barrier Certificates. CoRR (2018)
Suda Bharadwaj, Mohamadreza Ahmadi, Takashi Tanaka, Ufuk Topcu
Transfer Entropy in MDPs with Temporal Logic Specifications. CDC (2018)
Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen, Ufuk Topcu
Verification of Uncertain POMDPs Using Barrier Certificates. Allerton (2018)
Seyed Yahya Zahedi Fard, Mohamadreza Ahmadi, Sahar Adabi
Erratum to: A dynamic VM consolidation technique for QoS and energy consumption in cloud environment. J. Supercomput. 73 (10) (2017)
Seyed Yahya Zahedi Fard, Mohamadreza Ahmadi, Sahar Adabi
A dynamic VM consolidation technique for QoS and energy consumption in cloud environment. J. Supercomput. 73 (10) (2017)
Mohamadreza Ahmadi, Giorgio Valmorbida, Antonis Papachristodoulou
Safety verification for distributed parameter systems using barrier functionals. Syst. Control. Lett. 108 (2017)
Mohamadreza Ahmadi, Arie Israel, Ufuk Topcu
Safety assessemt based on physically-viable data-driven models. CDC (2017)
Mohamadreza Ahmadi, Hamed Mojallali, Rafael Wisniewski
On robust stability of switched systems in the context of Filippov solutions. Syst. Control. Lett. 109 (2017)
Mohamadreza Ahmadi, Giorgio Valmorbida, Antonis Papachristodoulou
Dissipation inequalities for the analysis of a class of PDEs. Autom. 66 (2016)
Mohamadreza Ahmadi, Andreas W. K. Harris, Antonis Papachristodoulou
An optimization-based method for bounding state functionals of nonlinear stochastic systems. CDC (2016)
Giorgio Valmorbida, Mohamadreza Ahmadi, Antonis Papachristodoulou
Stability Analysis for a Class of Partial Differential Equations via Semidefinite Programming. IEEE Trans. Autom. Control. 61 (6) (2016)
Mohamadreza Ahmadi, Antonis Papachristodoulou
Controller synthesis for stochastic systems with persistent noise via semi-definite programming. CDC (2016)
Giorgio Valmorbida, Mohamadreza Ahmadi, Antonis Papachristodoulou
Convex solutions to integral inequalities in two-dimensional domains. CDC (2015)
Mohamadreza Ahmadi, Giorgio Valmorbida, Antonis Papachristodoulou
A convex approach to hydrodynamic analysis. CDC (2015)
Mohamadreza Ahmadi, Giorgio Valmorbida, Antonis Papachristodoulou
Barrier functionals for output functional estimation of PDEs. ACC (2015)
Giorgio Valmorbida, Mohamadreza Ahmadi, Antonis Papachristodoulou
Semi-definite programming and functional inequalities for distributed parameter systems. CDC (2014)
Mohamadreza Ahmadi, Giorgio Valmorbida, Antonis Papachristodoulou
Input-output analysis of distributed parameter systems using convex optimization. CDC (2014)
Mohamadreza Ahmadi, Hamed Mojallali, Rafael Wisniewski, Roozbeh Izadi-Zamanabadi
Robust stability and H∞ control of uncertain piecewise linear switched systems with Filippov solutions. CCA (2012)
Mohamadreza Ahmadi, Hamed Mojallali, Rafal Wisniewski, Roozbeh Izadi-Zamanabadi
Robust Stability Analysis of Nonlinear Switched Systems with Filippov Solutions. ROCOND (2012)
Mohamadreza Ahmadi, Hamed Mojallali, Roozbeh Izadi-Zamanabadi
State estimation of nonlinear stochastic systems using a novel meta-heuristic particle filter. Swarm Evol. Comput. 4 (2012)