publications
My publications in reversed chronological order. Generated by jekyll-scholar.
2019
-
Risk-Averse Planning Under Uncertainty arXiv preprint arXiv:1909.12499 2019
-
Optimal Safe Controller Synthesis A Density Function Approach arXiv preprint arXiv:1909.11798 2019
-
Control Theory Meets POMDPs A Hybrid Systems Approach arXiv preprint arXiv:1905.08095 2019
-
Safe Policy Synthesis in Multi-Agent POMDPs via Discrete-Time Barrier Functions In 58th Conference on Decision and Control 2019
-
Barrier Certificates for Assured Machine Teaching In 2019 American Control Conference, 2019
-
The Partially Observable Games We Play for Cyber Deception In 2019 American Control Conference (Under Review), 2019
-
Cost-Bounded Active Classification Using Partially Observable Markov Decision Processes In 2019 American Control Conference, 2019
-
A Framework for Input-Output Analysis of Wall-Bounded Shear Flows Journal of Fluid Mechanics, 2019 [Download]
2018
-
Entropy-Regularized Stochastic Games In 33rd AAAI Conference on Artificial Intelligence (Under Review), 2018
-
Stochastic Games with Sensing Costs In 56th Annual Allerton Conference on Communication, Control, and Computing, 2018 [Download]
-
Verification of Uncertain POMDPs Using Barrier Certificates In 56th Annual Allerton Conference on Communication, Control, and Computing, 2018 [Download]
-
Privacy Verification in POMDPs via Barrier Certificates In Decision and Control (CDC), 2018 IEEE 57th Annual Conference on, 2018 [Download]
-
Transfer Entropy MDPs with Temporal Logic Specifications In Decision and Control (CDC), 2018 IEEE 57th Annual Conference on, 2018 [Download]
-
Compositional Analysis of Hybrid Systems Defined Over Finite Alphabets In IFAC Workshop of Analysis and Design of Hybrid Systems (ADHS), 2018 [Download]
-
Control-Oriented Learning of Lagrangian and Hamiltonian Systems In American Control Conference, 2018 [Download]
-
Controller Synthesis for Safety of Physically-Viable Data-Driven Models IEEE Transactions on Automatic Control (Under Review), 2018 [Download]
2017
-
Safety assessemt based on physically-viable data-driven models In Decision and Control (CDC), 2017 IEEE 56th Annual Conference on, 2017 [Download]
-
On robust stability of switched systems in the context of Filippov solutions Systems & Control Letters, 2017 [Download]
-
Safety verification for distributed parameter systems using barrier functionals Systems & Control Letters, 2017 [Download]
2016
-
Controller synthesis for stochastic systems with persistent noise via semi-definite programming In Decision and Control (CDC), 2016 IEEE 55th Conference on, 2016 [Download]
-
An optimization-based method for bounding state functionals of nonlinear stochastic systems In Decision and Control (CDC), 2016 IEEE 55th Conference on, 2016 [Download]
-
Stability analysis for a class of partial differential equations via semidefinite programming IEEE Transactions on Automatic Control, 2016 [Download]
-
Barrier Functionals for the Analysis of Complex Systems: An Optimization-Based Approach arXiv preprint arXiv:1603.08716 2016 [Download]
-
Ahmadi, M. (2016). Analysis of systems described by partial differential equations using convex optimization. University of Oxford. [Download]
2015
-
Convex solutions to integral inequalities in two-dimensional domains In Decision and Control (CDC), 2015 IEEE 54th Annual Conference on, 2015 [Download]
-
Barrier functionals for output functional estimation of PDEs In American Control Conference (ACC), 2015, 2015 [Download]
-
A convex approach to hydrodynamic analysis In 2015 54th IEEE Conference on Decision and Control (CDC), 2015 [Download]
2014
-
Input-output analysis of distributed parameter systems using convex optimization In Decision and Control (CDC), 2014 IEEE 53rd Annual Conference on, 2014 [Download]
-
Semi-definite programming and functional inequalities for distributed parameter systems In Decision and Control (CDC), 2014 IEEE 53rd Annual Conference on, 2014 [Download]
-
Guaranteed cost $H_∞$ controller synthesis for switched systems defined on semi-algebraic sets Nonlinear Analysis: Hybrid Systems, 2014 [Download]
2012
-
Robust $H_∞$ control of uncertain switched systems defined on polyhedral sets with Filippov solutions ISA transactions, 2012 [Download]
-
Robust stability and $H_∞$ control of uncertain piecewise linear switched systems with Filippov solutions In Control Applications (CCA), 2012 IEEE International Conference on, 2012 [Download]
-
Chaotic invasive weed optimization algorithm with application to parameter estimation of chaotic systems Chaos, Solitons & Fractals, 2012 [Download]
-
H Infinite Stabilization of Uncertain Piecewise Linear Systems with Filippov Solutions Journal of Control Engineering and Applied Informatics, 2012 [Download]
-
State estimation of nonlinear stochastic systems using a novel meta-heuristic particle filter Swarm and Evolutionary Computation, 2012 [Download]
-
Dynamic Sliding Mode Control of Air-to-fuel ratio in Internal Combustion Engines Using the Hybrid Extended Kalman Filter In Advanced Materials Research, 2012 [Download]
-
Robust stability analysis of nonlinear switched systems with Filippov solutions IFAC Proceedings Volumes, 2012 [Download]
2011
-
Identification of IIR systems using harmony search algorithm In Control, Instrumentation and Automation (ICCIA), 2011 2nd International Conference on, 2011 [Download]
-
Predictive Control of Traveling Wave Ultrasonic Motors using neural network In Power Electronics, Drive Systems and Technologies Conference (PEDSTC), 2011 2nd, 2011 [Download]
-
Enhanced Particle Filtering for Nonlinear State Estimation via Invasive Weed Optimization International Review of Automatic Control, 2011 [Download]
-
Identification of multiple-input single-output Hammerstein models using Bezier curves and Bernstein polynomials Applied Mathematical Modelling, 2011 [Download]
-
Hammerstein Based Modeling of Traveling Wave Ultrasonic Motors International Review of Electrical Engineering, 2011 [Download]
-
Target Tracking on Re-entry Based on an IWO Enhanced Particle Filter Innovative Computing Technology, 2011