Artículos con órdenes de acceso público - Mohamadreza AhmadiMás información
No disponible en ningún lugar: 1
Safe controller synthesis for data-driven differential inclusions
M Ahmadi, A Israel, U Topcu
IEEE Transactions on Automatic Control 65 (11), 4934-4940, 2020
Órdenes: US National Science Foundation, US Department of Defense
Disponibles en algún lugar: 27
Stability analysis for a class of partial differential equations via semidefinite programming
G Valmorbida, M Ahmadi, A Papachristodoulou
IEEE Transactions on Automatic Control 61 (6), 1649-1654, 2015
Órdenes: UK Engineering and Physical Sciences Research Council
Dissipation inequalities for the analysis of a class of PDEs
M Ahmadi, G Valmorbida, A Papachristodoulou
Automatica 66, 163-171, 2016
Órdenes: UK Engineering and Physical Sciences Research Council
Privacy verification in POMDPs via barrier certificates
M Ahmadi, B Wu, H Lin, U Topcu
2018 IEEE Conference on Decision and Control (CDC), 5610-5615, 2018
Órdenes: US National Science Foundation, US Department of Defense
Semi-definite programming and functional inequalities for distributed parameter systems
G Valmorbida, M Ahmadi, A Papachristodoulou
53rd IEEE conference on decision and control, 4304-4309, 2014
Órdenes: UK Engineering and Physical Sciences Research Council
Input-output analysis of distributed parameter systems using convex optimization
M Ahmadi, G Valmorbida, A Papachristodoulou
53rd IEEE conference on decision and control, 4310-4315, 2014
Órdenes: UK Engineering and Physical Sciences Research Council
Control theory meets POMDPs: A hybrid systems approach
M Ahmadi, N Jansen, B Wu, U Topcu
IEEE Transactions on Automatic Control 66 (11), 5191-5204, 2020
Órdenes: US National Science Foundation, US Department of Defense, Netherlands …
Verification of uncertain POMDPs using barrier certificates
M Ahmadi, M Cubuktepe, N Jansen, U Topcu
2018 56th Annual Allerton Conference on Communication, Control, and …, 2018
Órdenes: US National Science Foundation, US Department of Defense
Safety verification for distributed parameter systems using barrier functionals
M Ahmadi, G Valmorbida, A Papachristodoulou
Systems & Control Letters 108, 33-39, 2017
Órdenes: UK Engineering and Physical Sciences Research Council
Safe control for nonlinear systems with stochastic uncertainty via risk control barrier functions
A Singletary, M Ahmadi, AD Ames
IEEE Control Systems Letters 7, 349-354, 2022
Órdenes: US National Science Foundation
Distributionally robust model predictive control with total variation distance
A Dixit, M Ahmadi, JW Burdick
IEEE Control Systems Letters 6, 3325-3330, 2022
Órdenes: US Department of Defense
Safety assessemt based on physically-viable data-driven models
M Ahmadi, A Israel, U Topcu
2017 IEEE 56th Annual Conference on Decision and Control (CDC), 6409-6414, 2017
Órdenes: US Department of Defense
Learning Hybrid Object Kinematics for Efficient Hierarchical Planning Under Uncertainty
A Jain, S Niekum
arXiv preprint arXiv:1907.09014, 2019
Órdenes: US National Science Foundation, US Department of Defense
Barrier functions for multiagent-pomdps with dtl specifications
M Ahmadi, A Singletary, JW Burdick, AD Ames
2020 59th IEEE Conference on Decision and Control (CDC), 1380-1385, 2020
Órdenes: US Department of Defense
Entropy-Regularized Stochastic Games
Y Savas, M Ahmadi, T Tanaka, U Topcu
2020 American Control Conference, 2019
Órdenes: US Department of Defense
Convex solutions to integral inequalities in two-dimensional domains
G Valmorbida, M Ahmadi, A Papachristodoulou
2015 54th IEEE Conference on Decision and Control (CDC), 7268-7273, 2015
Órdenes: UK Engineering and Physical Sciences Research Council
Formal test synthesis for safety-critical autonomous systems based on control barrier functions
P Akella, M Ahmadi, RM Murray, AD Ames
2020 59th IEEE Conference on Decision and Control (CDC), 790-795, 2020
Órdenes: US Department of Defense
An optimization-based method for bounding state functionals of nonlinear stochastic systems
M Ahmadi, AWK Harris, A Papachristodoulou
2016 IEEE 55th Conference on Decision and Control (CDC), 5342-5347, 2016
Órdenes: UK Engineering and Physical Sciences Research Council
Barrier functionals for output functional estimation of PDEs
M Ahmadi, G Valmorbida, A Papachristodoulou
2015 American Control Conference (ACC), 2594-2599, 2015
Órdenes: UK Engineering and Physical Sciences Research Council
Barrier certificates for assured machine teaching
M Ahmadi, B Wu, Y Chen, Y Yue, U Topcu
2019 American Control Conference (ACC), 3658-3663, 2019
Órdenes: US National Science Foundation, US Department of Defense
La información de publicación y financiación se determina de forma automática mediante un programa informático