Robust stability and H∞ control of uncertain piecewise linear switched systems with Filippov solutions. - Mohamadreza Ahmadi; Hamed Mojallali; Rafael Wisniewski; Roozbeh Izadi-Zamanabadi (CCA, 2012)

Robust Stability Analysis of Nonlinear Switched Systems with Filippov Solutions. - Mohamadreza Ahmadi; Hamed Mojallali; Rafal Wisniewski; Roozbeh Izadi-Zamanabadi (ROCOND, 2012)

State estimation of nonlinear stochastic systems using a novel meta-heuristic particle filter. - Mohamadreza Ahmadi; Hamed Mojallali; Roozbeh Izadi-Zamanabadi (Swarm Evol. Comput., 2012)

Input-output analysis of distributed parameter systems using convex optimization. - Mohamadreza Ahmadi; Giorgio Valmorbida; Antonis Papachristodoulou (CDC, 2014)

Semi-definite programming and functional inequalities for distributed parameter systems. - Giorgio Valmorbida; Mohamadreza Ahmadi; Antonis Papachristodoulou (CDC, 2014)

Barrier functionals for output functional estimation of PDEs. - Mohamadreza Ahmadi; Giorgio Valmorbida; Antonis Papachristodoulou (ACC, 2015)

A convex approach to hydrodynamic analysis. - Mohamadreza Ahmadi; Giorgio Valmorbida; Antonis Papachristodoulou (CDC, 2015)

Convex solutions to integral inequalities in two-dimensional domains. - Giorgio Valmorbida; Mohamadreza Ahmadi; Antonis Papachristodoulou (CDC, 2015)

An optimization-based method for bounding state functionals of nonlinear stochastic systems. - Mohamadreza Ahmadi; Andreas W. K. Harris; Antonis Papachristodoulou (CDC, 2016)

Controller synthesis for stochastic systems with persistent noise via semi-definite programming. - Mohamadreza Ahmadi; Antonis Papachristodoulou (CDC, 2016)

Dissipation inequalities for the analysis of a class of PDEs. - Mohamadreza Ahmadi; Giorgio Valmorbida; Antonis Papachristodoulou (Autom., 2016)

Stability Analysis for a Class of Partial Differential Equations via Semidefinite Programming. - Giorgio Valmorbida; Mohamadreza Ahmadi; Antonis Papachristodoulou (IEEE Trans. Autom. Control., 2016)

Safety assessemt based on physically-viable data-driven models. - Mohamadreza Ahmadi; Arie Israel; Ufuk Topcu (CDC, 2017)

On robust stability of switched systems in the context of Filippov solutions. - Mohamadreza Ahmadi; Hamed Mojallali; Rafael Wisniewski (Syst. Control. Lett., 2017)

Safety verification for distributed parameter systems using barrier functionals. - Mohamadreza Ahmadi; Giorgio Valmorbida; Antonis Papachristodoulou (Syst. Control. Lett., 2017)

A dynamic VM consolidation technique for QoS and energy consumption in cloud environment. - Seyed Yahya Zahedi Fard; Mohamadreza Ahmadi; Sahar Adabi (J. Supercomput., 2017)

Erratum to: A dynamic VM consolidation technique for QoS and energy consumption in cloud environment. - Seyed Yahya Zahedi Fard; Mohamadreza Ahmadi; Sahar Adabi (J. Supercomput., 2017)

Compositional Analysis of Hybrid Systems Defined Over Finite Alphabets. - Murat Cubuktepe; Mohamadreza Ahmadi; Ufuk Topcu; Brandon Hencey (ADHS, 2018)

Stochastic Games with Sensing Costs. - Mohamadreza Ahmadi; Suda Bharadwaj; Takashi Tanaka; Ufuk Topcu (Allerton, 2018)

Verification of Uncertain POMDPs Using Barrier Certificates. - Mohamadreza Ahmadi; Murat Cubuktepe; Nils Jansen 001; Ufuk Topcu (Allerton, 2018)

Distributed Synthesis Using Accelerated ADMM. - Mohamadreza Ahmadi; Murat Cubuktepe; Ufuk Topcu; Takashi Tanaka (ACC, 2018)

Control-Oriented Learning of Lagrangian and Hamiltonian Systems. - Mohamadreza Ahmadi; Ufuk Topcu; Clarence W. Rowley (ACC, 2018)

Privacy Verification in POMDPs via Barrier Certificates. - Mohamadreza Ahmadi; Bo Wu 005; Hai Lin 002; Ufuk Topcu (CDC, 2018)

Transfer Entropy in MDPs with Temporal Logic Specifications. - Suda Bharadwaj; Mohamadreza Ahmadi; Takashi Tanaka; Ufuk Topcu (CDC, 2018)

The Partially Observable Games We Play for Cyber Deception. - Mohamadreza Ahmadi; Murat Cubuktepe; Nils Jansen 001; Sebastian Junges; Joost-Pieter Katoen; Ufuk Topcu (CoRR, 2018)

Cost-Bounded Active Classification Using Partially Observable Markov Decision Processes. - Bo Wu 005; Mohamadreza Ahmadi; Suda Bharadwaj; Ufuk Topcu (ACC, 2019)

Barrier Certificates for Assured Machine Teaching. - Mohamadreza Ahmadi; Bo Wu 005; Yuxin Chen 001; Yisong Yue; Ufuk Topcu (ACC, 2019)

Safe Policy Synthesis in Multi-Agent POMDPs via Discrete-Time Barrier Functions. - Mohamadreza Ahmadi; Andrew Singletary; Joel W. Burdick; Aaron D. Ames (CDC, 2019)

Entropy-Regularized Stochastic Games. - Yagiz Savas; Mohamadreza Ahmadi; Takashi Tanaka; Ufuk Topcu (CDC, 2019)

Risk-Averse Planning Under Uncertainty. - Mohamadreza Ahmadi; Masahiro Ono; Michel D. Ingham; Richard M. Murray; Aaron D. Ames (ACC, 2020)

Optimal Safe Controller Synthesis: A Density Function Approach. - Yuxiao Chen 001; Mohamadreza Ahmadi; Aaron D. Ames (ACC, 2020)

Barrier Functions for Multiagent-POMDPs with DTL Specifications. - Mohamadreza Ahmadi; Andrew Singletary; Joel W. Burdick; Aaron D. Ames (CDC, 2020)

Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions. - Prithvi Akella; Mohamadreza Ahmadi; Richard M. Murray; Aaron D. Ames (CDC, 2020)

Partially Observable Games for Secure Autonomy. - Mohamadreza Ahmadi; Arun Viswanathan; Michel D. Ingham; Kymie Tan; Aaron D. Ames (SP (Workshops), 2020)

Stochastic Finite State Control of POMDPs with LTL Specifications. - Mohamadreza Ahmadi; Rangoli Sharan; Joel W. Burdick (CoRR, 2020)

Constrained Active Classification Using Partially Observable Markov Decision Processes. - Bo Wu 005; Mohamadreza Ahmadi; Suda Bharadwaj; Ufuk Topcu (CoRR, 2020)

Risk-Sensitive Path Planning via CVaR Barrier Functions: Application to Bipedal Locomotion. - Mohamadreza Ahmadi; Xiaobin Xiong; Aaron D. Ames (CoRR, 2020)

Safe Controller Synthesis for Data-Driven Differential Inclusions. - Mohamadreza Ahmadi; Arie Israel; Ufuk Topcu (IEEE Trans. Autom. Control., 2020)

Constrained Risk-Averse Markov Decision Processes. - Mohamadreza Ahmadi; Ugo Rosolia; Michel D. Ingham; Richard M. Murray; Aaron D. Ames (AAAI, 2021)

Risk-Averse Stochastic Shortest Path Planning. - Mohamadreza Ahmadi; Anushri Dixit; Joel W. Burdick; Aaron D. Ames (CDC, 2021)

Time-Optimal Navigation in Uncertain Environments with High-Level Specifications. - Ugo Rosolia; Mohamadreza Ahmadi; Richard M. Murray; Aaron D. Ames (CDC, 2021)

Risk-Sensitive Motion Planning using Entropic Value-at-Risk. - Anushri Dixit; Mohamadreza Ahmadi; Joel W. Burdick (ECC, 2021)

Control Theory Meets POMDPs: A Hybrid Systems Approach. - Mohamadreza Ahmadi; Nils Jansen 001; Bo Wu 005; Ufuk Topcu (IEEE Trans. Autom. Control., 2021)

A Scenario Approach to Risk-Aware Safety-Critical System Verification. - Prithvi Akella; Mohamadreza Ahmadi; Aaron D. Ames (CoRR, 2022)

Risk-Averse Receding Horizon Motion Planning. - Anushri Dixit; Mohamadreza Ahmadi; Joel W. Burdick (CoRR, 2022)

Risk-Averse Control via CVaR Barrier Functions: Application to Bipedal Robot Locomotion. - Mohamadreza Ahmadi; Xiaobin Xiong; Aaron D. Ames (IEEE Control. Syst. Lett., 2022)

Distributionally Robust Model Predictive Control With Total Variation Distance. - Anushri Dixit; Mohamadreza Ahmadi; Joel W. Burdick (IEEE Control. Syst. Lett., 2022)

Safe Control for Nonlinear Systems With Stochastic Uncertainty via Risk Control Barrier Functions. - Andrew Singletary; Mohamadreza Ahmadi; Aaron D. Ames (IEEE Control. Syst. Lett., 2023)

Risk-averse receding horizon motion planning for obstacle avoidance using coherent risk measures. - Anushri Dixit; Mohamadreza Ahmadi; Joel W. Burdick (Artif. Intell., 2023)

Sample-based bounds for coherent risk measures: Applications to policy synthesis and verification. - Prithvi Akella; Anushri Dixit; Mohamadreza Ahmadi; Joel W. Burdick; Aaron D. Ames (Artif. Intell., 2024)

Risk-Aware Robotics: Tail Risk Measures in Planning, Control, and Verification. - Prithvi Akella; Anushri Dixit; Mohamadreza Ahmadi; Lars Lindemann; Margaret P. Chapman; George J. Pappas; Aaron D. Ames; Joel W. Burdick (CoRR, 2024)

Risk-Averse Decision Making Under Uncertainty. - Mohamadreza Ahmadi; Ugo Rosolia; Michel D. Ingham; Richard M. Murray; Aaron D. Ames (IEEE Trans. Autom. Control., 2024)

Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications. - Prithvi Akella; Mohamadreza Ahmadi; Richard M. Murray; Aaron D. Ames (IEEE Trans. Autom. Control., 2025)