2019

  1. Risk-Averse Planning Under Uncertainty Ahmadi, M., Ono, M., Ingham, M. D., Murray, R. M., and Ames, A. D. arXiv preprint arXiv:1909.12499 2019
  2. Optimal Safe Controller Synthesis A Density Function Approach Chen, Y., Ahmadi, M., and Ames, A. D. arXiv preprint arXiv:1909.11798 2019
  3. Control Theory Meets POMDPs A Hybrid Systems Approach Ahmadi, M., Jansen, N., Wu, B., and Topcu, U. arXiv preprint arXiv:1905.08095 2019
  4. Safe Policy Synthesis in Multi-Agent POMDPs via Discrete-Time Barrier Functions Ahmadi, M., Singletary, A., Burdick, J. W., and Ames, A. D. In 58th Conference on Decision and Control 2019
  5. Barrier Certificates for Assured Machine Teaching Ahmadi, M., Wu, B. , Chen, Y., Yue, Y., and Topcu, U. In 2019 American Control Conference, 2019
  6. The Partially Observable Games We Play for Cyber Deception Ahmadi, M., Cubuktepe, M. , Jansen, N., Junges, S., Katoen, J.-P., and Topcu, U. In 2019 American Control Conference (Under Review), 2019
  7. Cost-Bounded Active Classification Using Partially Observable Markov Decision Processes Wu, B., Ahmadi, M. , Bharadwaj, S., and Topcu, U. In 2019 American Control Conference, 2019
  8. A Framework for Input-Output Analysis of Wall-Bounded Shear Flows Ahmadi, M., Valmorbida, G., Gayme, D., and Papachristodoulou, A. Journal of Fluid Mechanics, 2019 [Download]

2018

  1. Entropy-Regularized Stochastic Games Savas, Y., Ahmadi, M. , Tanaka, T., and Topcu, U. In 33rd AAAI Conference on Artificial Intelligence (Under Review), 2018
  2. Stochastic Games with Sensing Costs Ahmadi, M. , Bharadwaj, S., Tanaka, T., and Topcu, U. In 56th Annual Allerton Conference on Communication, Control, and Computing, 2018 [Download]
  3. Verification of Uncertain POMDPs Using Barrier Certificates Ahmadi, M., Cubuktepe, M., Jansen, N., and Topcu, U. In 56th Annual Allerton Conference on Communication, Control, and Computing, 2018 [Download]
  4. Privacy Verification in POMDPs via Barrier Certificates Ahmadi, M., Wu, B., Lin, H., and Topcu, U. In Decision and Control (CDC), 2018 IEEE 57th Annual Conference on, 2018 [Download]
  5. Transfer Entropy MDPs with Temporal Logic Specifications Bharadwaj, S., Ahmadi, M., Tanaka, T., and Topcu, U. In Decision and Control (CDC), 2018 IEEE 57th Annual Conference on, 2018 [Download]
  6. Compositional Analysis of Hybrid Systems Defined Over Finite Alphabets Cubuktepe, M., Ahmadi, M., Topcu, U., and Hencey, B. In IFAC Workshop of Analysis and Design of Hybrid Systems (ADHS), 2018 [Download]
  7. Control-Oriented Learning of Lagrangian and Hamiltonian Systems Ahmadi, M., Rowley, C., and Topcu, U. In American Control Conference, 2018 [Download]
  8. Distributed Synthesis Using Accelerated ADMM Ahmadi, M., Cubuktepe, M., Topcu, U., and Tanaka, T. In American Control Conference, 2018 [Download]
  9. Controller Synthesis for Safety of Physically-Viable Data-Driven Models Ahmadi, M., Israel, A., and Topcu, U. IEEE Transactions on Automatic Control (Under Review), 2018 [Download]

2017

  1. Safety assessemt based on physically-viable data-driven models Ahmadi, M., Israel, A., and Topcu, U. In Decision and Control (CDC), 2017 IEEE 56th Annual Conference on, 2017 [Download]
  2. On robust stability of switched systems in the context of Filippov solutions Ahmadi, M., Mojallali, H., and Wisniewski, R. Systems & Control Letters, 2017 [Download]
  3. Safety verification for distributed parameter systems using barrier functionals Ahmadi, M., Valmorbida, G., and Papachristodoulou, A. Systems & Control Letters, 2017 [Download]

2016

  1. Controller synthesis for stochastic systems with persistent noise via semi-definite programming Ahmadi, M., and Papachristodoulou, A. In Decision and Control (CDC), 2016 IEEE 55th Conference on, 2016 [Download]
  2. An optimization-based method for bounding state functionals of nonlinear stochastic systems Ahmadi, M., Harris, A. W. K., and Papachristodoulou, A. In Decision and Control (CDC), 2016 IEEE 55th Conference on, 2016 [Download]
  3. Stability analysis for a class of partial differential equations via semidefinite programming Valmorbida, G., Ahmadi, M., and Papachristodoulou, A. IEEE Transactions on Automatic Control, 2016 [Download]
  4. Dissipation inequalities for the analysis of a class of PDEs Ahmadi, M., Valmorbida, G., and Papachristodoulou, A. Automatica, 2016 [Download]
  5. Barrier Functionals for the Analysis of Complex Systems: An Optimization-Based Approach Ahmadi, M., Valmorbida, G., and Papachristodoulou, A. arXiv preprint arXiv:1603.08716 2016 [Download]
  6. Ahmadi, M. (2016). Analysis of systems described by partial differential equations using convex optimization. University of Oxford. [Download]

2015

  1. Convex solutions to integral inequalities in two-dimensional domains Valmorbida, G., Ahmadi, M., and Papachristodoulou, A. In Decision and Control (CDC), 2015 IEEE 54th Annual Conference on, 2015 [Download]
  2. Barrier functionals for output functional estimation of PDEs Ahmadi, M., Valmorbida, G., and Papachristodoulou, A. In American Control Conference (ACC), 2015, 2015 [Download]
  3. A convex approach to hydrodynamic analysis Ahmadi, M., Valmorbida, G., and Papachristodoulou, A. In 2015 54th IEEE Conference on Decision and Control (CDC), 2015 [Download]

2014

  1. Input-output analysis of distributed parameter systems using convex optimization Ahmadi, M., Valmorbida, G., and Papachristodoulou, A. In Decision and Control (CDC), 2014 IEEE 53rd Annual Conference on, 2014 [Download]
  2. Semi-definite programming and functional inequalities for distributed parameter systems Valmorbida, G., Ahmadi, M., and Papachristodoulou, A. In Decision and Control (CDC), 2014 IEEE 53rd Annual Conference on, 2014 [Download]
  3. Guaranteed cost $H_∞$ controller synthesis for switched systems defined on semi-algebraic sets Ahmadi, M., Mojallali, H., and Wisniewski, R. Nonlinear Analysis: Hybrid Systems, 2014 [Download]

2012

  1. Robust $H_∞$ control of uncertain switched systems defined on polyhedral sets with Filippov solutions Ahmadi, M., Mojallali, H., and Wisniewski, R. ISA transactions, 2012 [Download]
  2. Robust stability and $H_∞$ control of uncertain piecewise linear switched systems with Filippov solutions Ahmadi, M., Mojallali, H., Wisniewski, R., and Izadi-Zamanabadi, R. In Control Applications (CCA), 2012 IEEE International Conference on, 2012 [Download]
  3. Chaotic invasive weed optimization algorithm with application to parameter estimation of chaotic systems Ahmadi, M., and Mojallali, H. Chaos, Solitons & Fractals, 2012 [Download]
  4. H Infinite Stabilization of Uncertain Piecewise Linear Systems with Filippov Solutions Ahmadi, M., Mojallali, H., and Wisniewski, R. Journal of Control Engineering and Applied Informatics, 2012 [Download]
  5. State estimation of nonlinear stochastic systems using a novel meta-heuristic particle filter Ahmadi, M., Mojallali, H., and Izadi-Zamanabadi, R. Swarm and Evolutionary Computation, 2012 [Download]
  6. Dynamic Sliding Mode Control of Air-to-fuel ratio in Internal Combustion Engines Using the Hybrid Extended Kalman Filter Zohari, M., Ahmadi, M., and Mojallali, H. In Advanced Materials Research, 2012 [Download]
  7. Robust stability analysis of nonlinear switched systems with Filippov solutions Ahmadi, M., Mojallali, H., Wisniewski, R., and Izadi-Zamanabadi, R. IFAC Proceedings Volumes, 2012 [Download]

2011

  1. Identification of IIR systems using harmony search algorithm Shafaati, M., Ahmadi, M., and Mojallali, H. In Control, Instrumentation and Automation (ICCIA), 2011 2nd International Conference on, 2011 [Download]
  2. Predictive Control of Traveling Wave Ultrasonic Motors using neural network Ahmadi, M., Mojallali, H., and Fotovvati, M. In Power Electronics, Drive Systems and Technologies Conference (PEDSTC), 2011 2nd, 2011 [Download]
  3. Enhanced Particle Filtering for Nonlinear State Estimation via Invasive Weed Optimization Ahmadi, M., and Mojallali, H. International Review of Automatic Control, 2011 [Download]
  4. Identification of multiple-input single-output Hammerstein models using Bezier curves and Bernstein polynomials Ahmadi, M., and Mojallali, H. Applied Mathematical Modelling, 2011 [Download]
  5. Hammerstein Based Modeling of Traveling Wave Ultrasonic Motors Mojallali, H, and Ahmadi, M. International Review of Electrical Engineering, 2011 [Download]
  6. Target Tracking on Re-entry Based on an IWO Enhanced Particle Filter Ahmadi, M., Shafati, M., and Mojallali, H. Innovative Computing Technology, 2011