**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.