BOOK CHAPTERS
- Distributed Lyapunov Functions in Analysis of Graph Models of Software
M. Roozbehani, A. Megretski, E. Frazzoli, and E. Feron
In Hybrid Systems: Computation and Control, Springer Lecture Notes in Computer Science 4981, Springer 2008, pp 443-456.
[DOI] [Bib] - Modeling, Optimization and Computation for Software Verification
M. Roozbehani, E. Feron, and A. Megretski
In Hybrid Systems: Computation and Control, Springer Lecture Notes in Computer Science 3414, Springer 2005, pp 606-622.
[DOI] [Bib]
JOURNAL ARTICLES
- Efficiency-Risk Tradeoffs in Electricity Markets with Dynamic Demand Response
Q. Huang, M. Roozbehani, and M. A. Dahleh
IEEE Transactions on Smart Grid, Accepted, May 2014.
[PDF] [Bib] - The Value of Storage in Securing Reliability and Mitigating Risk in Energy Networks
A. ParandehGheibi, M. Roozbehani, M. A. Dahleh, and A. Ozdaglar
Energy Systems Journal, Accepted, May 2014.
[PDF] [Bib] - Robust and Optimal Consumption Policies for Deadline-Constrained Deferrable Loads
M. Roozbehani, D. Materassi, M. Ohannessian, and M. A. Dahleh
IEEE Transactions on Smart Grid, Vol. 5, Issue 4, pp. 1823–1834, July 2014.
[PDF] [Bib] - Joint Spectral Radius and Path-Complete Graph Lyapunov Functions
A. A. Ahmadi, R. Jungers, P. A. Parrilo, and M. Roozbehani
SIAM Journal on Optimization and Control, Vol. 52, No 1, pp. 687–717, 2014.
[arXiv] [DOI] [Bib] - Optimization of Lyapunov Invariants in Verification of Software Systems
M. Roozbehani, A. Megretski, and E. Feron
IEEE Transactions on Automatic Control, Vol. 58, Issue 3, pp. 696–711, March 2013.
[PDF] [Extended arXiv Version] [Related news article] [Bib] - On the Economic Value and Price-Responsiveness of Ramp-Constrainted Storage
A. Faghih, M. Roozbehani, and M. A. Dahleh
Energy Conversion and Management, Vol. 76, pp. 472–482, December 2013.
[PDF] [Bib] - Volatility of Power Grids Under Real-Time Pricing
M. Roozbehani, M. A. Dahleh, and S. K. Mitter
IEEE Transactions on Power Systems, Vol. 27, Issue 4, pp. 1926–1940, November 2012 .
[PDF] [Greenwire news article with expert commentary] [Bib] - Stability of Linear Systems with Interval Time Delays Excluding Zero
C. R. Knospe, and M. Roozbehani
IEEE Transactions on Automatic Control, Vol. 51, Issue 8, pp. 1271–1288, August 2006.
[PDF] [Bib]
CONFERENCE PAPERS
- Stochastic Differential Contraction in Nonlinear System Analysis
M. Roozbehani, A. Megretski, and M. A. Dahleh
Proceedings of the 21st International Symposium on Mathematical Theory of Networks and Systems (MTNS 2014), To Appear,
July 2014, Groningen, The Netherlands.
[PDF] -
Deferrable Loads in an Energy Market: Coordination under Congestion Constraints
D. Materassi, S. Bolognani, M. Roozbehani, and M. A. Dahleh
Proceedings of 22nd Mediterranean Conference on Control and Automation (MED 14), To Appear, June 2014, Palermo, Italy.
[PDF] - Dynamic Estimation of Price-Response of Deadline-Constrained Electric Loads under Threshold Policies
M. Ohannessian, M. Roozbehani, D. Materassi, and M. A. Dahleh
Proceedings of 2014 American Control Conference (ACC 2014), To Appear, June 2014, Portland, Oregon.
[PDF] - Deferrable Loads in Energy Markets: Optimal Consumption Policies
D. Materassi, S. Bolognani, M. Roozbehani, and M. A. Dahleh
Proceedings of 2014 American Control Conference (ACC 2014), To Appear, June 2014, Portland, Oregon.
[PDF] - Sufficient Conditions for Optimality of Analog to Digital Converters
M. Osqui, A. Megretski, and M. Roozbehani
Proceedings of 52nd IEEE Conference on Decision and Control (CDC), pp. 403–408, December 2013, Florence, Italy.
[DOI] [Bib] - Efficiency-Risk Tradeoffs in Dynamic Oligopoly Markets – with application to electricity markets
Q. Huang, M. Roozbehani, and M. A. Dahleh
Proceedings of 51st IEEE Conference on Decision and Control (CDC), pp. 2388–2394, December 2012, Maui, HI.
[DOI] [Bib] - Equilibrium Price Distributions in Energy Markets with Shiftable Demand
D. Materassi, M. Roozbehani, and M. A. Dahleh
Proceedings of 51st IEEE Conference on Decision and Control (CDC), pp. 3183–3188, December 2012, Maui, HI.
[DOI] [Bib] - The Reliability Value of Storage in a Volatile Environment
A. ParandehGheibi, M. Roozbehani, A. Ozdaglar, and M. A. Dahleh
Proceedings of 2012 American Control Conference (ACC 2012), pp. 2934–2939, June 2012, Montreal, Canada.
[DOI] [Bib] - When is a Set of LMIs a Sufficient Condition for Stability?
A. A. Ahmadi, R. Jungers, P. A. Parrilo, and M. Roozbehani
In the 7th IFAC Symposium on Robust Control Design (ROCOND’12), June 2012, Aalborg, Denmark.
[arXiv] [Bib] - Lower Bounds on the Performance of Analog to Digital Converters
M. Osqui, A. Megretski, and M. Roozbehani
Proceedings of the 50th IEEE Conference on Decision and Control (CDC), pp. 1036–1041, December 2011, Orlando, FL.
[DOI] [Bib] - The Intertemporal Utility of Demand and Price-Elasticity of Consumption in Power Grids with Shiftable Loads
M. Roozbehani, A. Faghih, M. Ohannessian, and M. A. Dahleh.
Proceedings of the 50th IEEE Conference on Decision and Control (CDC), pp. 1539–1544, December 2011, Orlando, FL.
[DOI] [Bib] - Optimal Utilization of Storage and the Induced Price Elasticity of Demand in the Presence of Ramp Constraints
A. Faghih, M. Roozbehani, and M. A. Dahleh.
Proceedings of the 50th IEEE Conference on Decision and Control (CDC), pp. 842–847 , December 2011, Orlando, FL.
[DOI] [Bib] - H_2 Performance Bounds for Voltage Regulation on a Spatially-Invariant DC Power Grid
M. Rinehart, M. Roozbehani, and M. A. Dahleh
Proceedings of the 2011 American Control Conference (ACC 2011), pp. 3911–3917 , June/July 2011, San Francisco, CA.
[DOI] [Bib] - Analysis of the Joint Spectral Radius via Lyapunov Functions on Path-Complete Graphs
A. A. Ahmadi, R. Jungers, P. A. Parrilo, and M. Roozbehani
Proceedings of the 14th International Conference on Hybrid Systems: Computation and Control: HSCC 2011, pp 13–22,
April 2011, Chicago, IL.
[DOI] [Bib] - Analysis of Competitive Electricity Markets under a New Model of Real-Time Retail Pricing
M. Roozbehani, M. Rinehart, M. A. Dahleh, S. K. Mitter, and D. Obradovic
Proceedings of the 8th International Conference on the European Energy Markets (EEM), pp 250–255,
May 2011, Zagreb, Croatia.
[DOI] [Bib] - Piecewise Polynomial Lyapunov Functions with Guaranteed Accuracy
A. A. Ahmadi, R. Jungers, P. A. Parrilo, and M. Roozbehani
In 2010 IEEE 26th Convention of Electrical and Electronics Engineers (IEEEI), pp 000430, November 2010.
[DOI] [Bib] - Dynamic Pricing and Stabilization of Supply and Demand in Modern Power Grids
M. Roozbehani, M. A. Dahleh, and S. K. Mitter
Proceedings of the 1st IEEE Conference on Smart Grid Communications (SmartGridComm), pp. 543–548, October 2010,
Gaithursburg, MD.
[DOI] [Bib] - Optimality and Performance Limitations of Analog to Digital Converters
M. Osqui, A. Megretski, and M. Roozbehani
Proceedings of 49th IEEE Conference on Decision and Control (CDC), pp. 7527–7532, December 2010, Atlanta, GA.
[DOI] [Bib] - On the Stability of Wholesale Electricity Markets under Real-Time Pricing
M. Roozbehani, M. A. Dahleh, and S. K. Mitter
Proceedings of 49th IEEE Conference on Decision and Control (CDC), pp. 1911–1918, December 2010, Atlanta, GA.
[DOI] [Bib] - Lyapunov Analysis of Quadratically Symmetric Neighborhood Consensus Algorithms
M. Roozbehani, A. Megretski, and E. Frazzoli
Proceedings of 47th IEEE Conference on Decision and Control (CDC), pp. 2252–2257, December 2008, Cancun, Mexico.
[DOI] [Bib] - Certifying Controls and Systems Software
E. Feron and M. Roozbehani
Proceedings of the AIAA Guidance, Navigation and Control Conference, August 2007, Hilton Head, SC.
[arXiv] [Bib] - Optimal Fixed-Point Implementation of Digital Filters
M. Roozbehani, A. Megretski, and E. Feron
Proceedings of the 2007 American Control Conference (ACC 2007), pp. 3565–3569, July 2007, New York, NY.
[DOI] [Bib] - Semidefinite Programming in Analysis and Optimization of Performance of Sigma-Delta Modulators for Low Frequencies
M. Osqui, M. Roozbehani, and A. Megretski
Proceedings of the 2007 American Control Conference (ACC 2007), pp. 3582–3587, July 2007, New York, NY.
[DOI] [Bib] - Safety Verification of Iterative Algorithms over Polynomial Vector Fields
M. Roozbehani, A. Megretski, and E. Feron
Proceedings of 45th IEEE Conference on Decision and Control (CDC), pp. 6061–6067 , December 2006, San Diego, CA.
[DOI] [Bib] - Robust Stability and H_inf Performance Analysis of Interval-Dependent Time-Delay Systems
M. Roozbehani and C. R. Knospe
Proceedings of the 2005 American Control Conference (ACC 2005), pp. 4265–4270, June 2005, Portland, OR.
[DOI] [Bib] - Convex Optimization Proves Software Correctness
M. Roozbehani, A. Megretski, and E. Feron
Proceedings of the 2005 American Control Conference (ACC 2005), pp. 1395–1400, June 2005, Portland, OR.
[DOI] [Bib] - A Mixed-IQC Approach to Nonlinear Delay- Dependent Analysis
M. Roozbehani and C. R. Knospe
Proceedings of the 2004 American Control Conference (ACC 2004), pp. 4177–4182, June 2004, Boston, MA.
[DOI] [Bib] - Analysis of Multiple Interval Delay Systems via Sufficient and Asymptotically Necessary Comparison System
C. R. Knospe and M. Roozbehani
Proceedings of 42nd IEEE Conference on Decision and Control (CDC), pp. 5041–5047 , December 2003, Maui, HI.
[DOI] [Bib] - Stability of Linear Systems with Interval Time-Delay
C. R. Knospe and M. Roozbehani
Proceedings of the 2003 American Control Conference (ACC 2003), pp. 1458–1463, June 2003, Denver, CO.
[DOI] [Bib]
THESES
- Optimization of Lyapunov Invariants in Analysis and Implementation of Safety-Critical Software Systems
Ph.D. Thesis, July 2008, MIT, Department of Aeronautics and Astronautics. Thesis Supervisors: Prof. A. Megretski, Prof. E. Feron. - Robust Stability and Performance Analysis of Time-Delay Systems
Master’s Thesis, August 2003, University of Virginia, Department of Mechanical and Aerospace Engineering, Thesis Supervisors: Prof. Carl Knospe, Prof. Tetsuya Iwasaki.