Necessary and sufficient conditions of stability: a multiloop generalization of the circle criterion. - Alexandre Megretski (IEEE Trans. Autom. Control., 1993)

A convex parameterization of robustly stabilizing controllers. - Anders Rantzer; Alexandre Megretski (IEEE Trans. Autom. Control., 1994)

Frequency-domain criteria of robust stability for slowly time-varying systems. - Alexandre Megretski (IEEE Trans. Autom. Control., 1995)

System analysis via integral quadratic constraints. - Alexandre Megretski; Anders Rantzer (IEEE Trans. Autom. Control., 1997)

IQC characterizations of signal classes. - Ulf Jönsson; Alexandre Megretski (ECC, 1999)

Robust state feedback control of LTV systems: nonlinear is better than linear. - Franco Blanchini; Alexandre Megretski (IEEE Trans. Autom. Control., 1999)

An algorithm for solving optimization problems involving special frequency dependent LMIs. - Chung-Yao Kao; Alexandre Megretski; Ulf T. Jönsson (ACC, 2000)

Estimation of sensitivity of periodic trajectories with respect to structured uncertainty. - Alexandre Megretski; Ulf T. Jönsson; Chung-Yao Kao (ACC, 2000)

Control synthesis with dynamic integral quadratic constraints-LMI approach. - Chung-Yao Kao; Muralidhar Ravuri; Alexandre Megretski (CDC, 2000)

Hierarchical optimization in the presence of an intelligent adversary-an H∞ approach. - Muralidhar Ravuri; Chung-Yao Kao; Alexandre Megretski (CDC, 2000)

The Zames-Falb IQC for systems with integrators. - Ulf Jönsson; Alexandre Megretski (IEEE Trans. Autom. Control., 2000)

A semi-infinite optimization problem in harmonic analysis of uncertain systems. - Ulf T. Jönsson; Chung-Yao Kao; Alexandre Megretski (ACC, 2001)

Fast algorithms for solving IQC feasibility and optimization problems. - Chung-Yao Kao; Alexandre Megretski (ACC, 2001)

On automatic search for invariants of hybrid systems. - Alexandre Megretski (ACC, 2001)

Global analysis of piecewise linear systems using impact maps and quadratic surface Lyapunov functions. - Jorge M. Gonçalves; Alexandre Megretski; Munther A. Dahleh (ECC, 2001)

New results for analysis of systems with repeated nonlinearities. - Fernando J. D'Amato; Mario A. Rotea; Alexandre Megretski; Ulf Jönsson (Autom., 2001)

Global stability of relay feedback systems. - Jorge M. Gonçalves; Alexandre Megretski; Munther A. Dahleh (IEEE Trans. Autom. Control., 2001)

A cutting plane algorithm for robustness analysis of periodically time-varying systems. - Chung-Yao Kao; Alexandre Megretski; Ulf T. Jönsson (IEEE Trans. Autom. Control., 2001)

Robustness of periodic trajectories. - Ulf T. Jönsson; Chung-Yao Kao; Alexandre Megretski (IEEE Trans. Autom. Control., 2002)

A new barrier function for IQC optimization problems. - Chung-Yao Kao; Alexandre Megretski (ACC, 2003)

Positivity of trigonometric polynomials. - Alexandre Megretski (CDC, 2003)

Global analysis of piecewise linear systems using impact maps and surface Lyapunov functions. - Jorge M. Gonçalves; Alexandre Megretski; Munther A. Dahleh (IEEE Trans. Autom. Control., 2003)

Designing optimal quantum detectors via semidefinite programming. - Yonina C. Eldar; Alexandre Megretski; George C. Verghese (IEEE Trans. Inf. Theory, 2003)

Finite automata approximations with error bounds for systems with quantized actuation and measurement: a case study. - Danielle C. Tarraf; Alexandre Megretski; Munther A. Dahleh (CDC, 2004)

Specialized fast algorithms for IQC feasibility and optimization problems. - Chung-Yao Kao; Alexandre Megretski; Ulf Jönsson (Autom., 2004)

Optimal Detection of Symmetric Mixed Quantum States. - Yonina C. Eldar; Alexandre Megretski; George C. Verghese (IEEE Trans. Inf. Theory, 2004)

Convex optimization proves software correctness. - Mardavij Roozbehani; Alexandre Megretski; Eric Feron (ACC, 2005)

Limit Cycle Analysis Using a System Right Inverse. - Ulf T. Jönsson; Alexandre Megretski (CDC/ECC, 2005)

Modeling, Optimization and Computation for Software Verification. - Mardavij Roozbehani; Eric Feron; Alexandre Megretski (HSCC, 2005)

A Small-Gain Theory for Limit Cycles of Systems on Lur[e-acute] Form. - Ulf T. Jönsson; Alexandre Megretski (SIAM J. Control. Optim., 2005)

Fourier Series for Accurate, Stable, Reduced-Order Models in Large-Scale Linear Applications. - Karen Willcox; Alexandre Megretski (SIAM J. Sci. Comput., 2005)

Model reduction of discrete-time Markov jump linear systems. - Georgios Kotsalis; Alexandre Megretski; Munther A. Dahleh (ACC, 2006)

H-infinity model reduction with guaranteed suboptimality bound. - Alexandre Megretski (ACC, 2006)

Input/output stability of systems over finite alphabets. - Danielle C. Tarraf; Alexandre Megretski; Munther A. Dahleh (ACC, 2006)

A Model Reduction Algorithm for Hidden Markov Models. - Georgios Kotsalis; Alexandre Megretski; Munther A. Dahleh (CDC, 2006)

Safety Verification of Iterative Algorithms over Polynomial Vector Fields. - Mardavij Roozbehani; Alexandre Megretski; Eric Feron (CDC, 2006)

Optimal Controller Synthesis for Second Order LTI Plants with Switched Output Feedback. - Keith R. Santarelli; Munther A. Dahleh; Alexandre Megretski (CDC, 2006)

Input-to-State Stability of a Nonlinear Discrete-time System via R-cycles. - Keith R. Santarelli; Alexandre Megretski; Munther A. Dahleh (CDC, 2006)

Semidefinite Programming in Analysis and Optimization of Performance of Sigma-Delta Modulators for Low Frequencies. - Mitra Osqui; Mardavij Roozbehani; Alexandre Megretski (ACC, 2007)

Optimal Fixed-Point Implementation of Digital Filters. - Mardavij Roozbehani; Alexandre Megretski; Eric Feron (ACC, 2007)

Remarks on Input Classes for Identification of Bilinear Systems. - Eduardo D. Sontag; Yuan Wang 005; Alexandre Megretski (ACC, 2007)

Finite State Controllers for Stabilizing Switched Systems with Binary Sensors. - Danielle C. Tarraf; Alexandre Megretski; Munther A. Dahleh (HSCC, 2007)

Bounding L2 gain system error generated by approximations of the nonlinear vector field. - Kin Cheong Sou; Alexandre Megretski; Luca Daniel (ICCAD, 2007)

On the New Barrier Function and Specialized Algorithms for a Class of Semidefinite Programs. - Chung-Yao Kao; Alexandre Megretski (SIAM J. Control. Optim., 2007)

Convex optimization in robust identification of nonlinear feedback. - Alexandre Megretski (CDC, 2008)

Lyapunov analysis of quadratically symmetric neighborhood consensus algorithms. - Mardavij Roozbehani; Alexandre Megretski; Emilio Frazzoli (CDC, 2008)

Convex relaxation approach to the identification of the Wiener-Hammerstein model. - Kin Cheong Sou; Alexandre Megretski; Luca Daniel (CDC, 2008)

Distributed Lyapunov Functions in Analysis of Graph Models of Software. - Mardavij Roozbehani; Alexandre Megretski; Emilio Frazzoli; Eric Feron (HSCC, 2008)

Stabilizability of two-dimensional linear systems via switched output feedback. - Keith R. Santarelli; Alexandre Megretski; Munther A. Dahleh (Syst. Control. Lett., 2008)

Balanced Truncation for a Class of Stochastic Jump Linear Systems and Model Reduction for Hidden Markov Models. - Georgios Kotsalis; Alexandre Megretski; Munther A. Dahleh (IEEE Trans. Autom. Control., 2008)

A Framework for Robust Stability of Systems Over Finite Alphabets. - Danielle C. Tarraf; Alexandre Megretski; Munther A. Dahleh (IEEE Trans. Autom. Control., 2008)

A Quasi-Convex Optimization Approach to Parameterized Model Order Reduction. - Kin Cheong Sou; Alexandre Megretski; Luca Daniel (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008)

Input Classes for Identifiability of Bilinear Systems. - Eduardo D. Sontag; Yuan Wang 005; Alexandre Megretski (IEEE Trans. Autom. Control., 2009)

Explicit solutions for root optimization of a polynomial family. - Vincent D. Blondel; Mert Gürbüzbalaban; Alexandre Megretski; Michael L. Overton (CDC, 2010)

Optimality and performance limitations of Analog to Digital Converters. - Mitra Osqui; Alexandre Megretski; Mardavij Roozbehani (CDC, 2010)

Convex optimization in identification of stable non-linear state space models. - Mark M. Tobenkin; Ian R. Manchester; Jennifer Wang; Alexandre Megretski; Russ Tedrake (CDC, 2010)

Passive reduced order modeling of multiport interconnects via semidefinite programming. - Zohaib Mahmood; Bradley N. Bond; Tarek Moselhy; Alexandre Megretski; Luca Daniel (DATE, 2010)

Compact Modeling of Nonlinear Analog Circuits Using System Identification via Semidefinite Programming and Incremental Stability Certification. - Bradley N. Bond; Zohaib Mahmood; Yan Li 029; Ranko Sredojevic; Alexandre Megretski; Vladimir Stojanovic; Yehuda Avniel; Luca Daniel (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010)

Lower bounds on the performance of Analog to Digital Converters. - Mitra Osqui; Alexandre Megretski; Mardavij Roozbehani (CDC/ECC, 2011)

Optimization of Lyapunov Invariants in Verification of Software Systems (Extended Version) - Mardavij Roozbehani; Alexandre Megretski; Eric Feron (CoRR, 2011)

Finite Approximations of Switched Homogeneous Systems for Controller Synthesis. - Danielle C. Tarraf; Alexandre Megretski; Munther A. Dahleh (IEEE Trans. Autom. Control., 2011)

Explicit Solutions for Root Optimization of a Polynomial Family With One Affine Constraint. - Vincent D. Blondel; Mert Gürbüzbalaban; Alexandre Megretski; Michael L. Overton (IEEE Trans. Autom. Control., 2012)

Stable nonlinear identification from noisy repeated experiments via convex optimization. - Mark M. Tobenkin; Ian R. Manchester; Alexandre Megretski (ACC, 2013)

Sufficient conditions for optimality of Analog to Digital Converters. - Mitra Osqui; Alexandre Megretski; Mardavij Roozbehani (CDC, 2013)

Design trade-offs in signal component separators for outphasing power amplifiers. - Zhipeng Li; Yan Li 029; Yehuda Avniel; Alexandre Megretski; Vladimir Stojanovic (ESSCIRC, 2013)

High-Throughput Signal Component Separator for Asymmetric Multi-Level Outphasing Power Amplifiers. - Yan Li 029; Zhipeng Li; Oguzhan Uyar; Yehuda Avniel; Alexandre Megretski; Vladimir Stojanovic (IEEE J. Solid State Circuits, 2013)

Optimization of Lyapunov Invariants in Verification of Software Systems. - Mardavij Roozbehani; Alexandre Megretski; Eric Feron (IEEE Trans. Autom. Control., 2013)

Baseband Equivalent Models Resulting From Dynamic Continuous-Time Perturbations In Phase-Amplitude Modulation-Demodulation Schemes (Expanded version). - Omer Tanovic; Alexandre Megretski; Yan Li 029; Vladimir Marko Stojanovic; Mitra Osqui (CoRR, 2015)

Bounding the number of non-zero coefficients in minimal peak-to-peak gain shaping filters. - Omer Tanovic; Alexandre Megretski (ACC, 2016)

Discrete-time models resulting from dynamic continuous-time perturbations in phase-amplitude modulation-demodulation schemes. - Omer Tanovic; Alexandre Megretski; Yan Li 029; Vladimir Marko Stojanovic; Mitra Osqui (CDC, 2016)

Inverse Stability Certificate and Applications to Emergency Control of Power Systems. - Thanh Long Vu 001; Hung Dinh Nguyen 001; Jean-Jacques E. Slotine; Alexandre Megretski; Konstantin S. Turitsyn (CoRR, 2017)

Convex Parameterizations and Fidelity Bounds for Nonlinear Identification and Reduced-Order Modelling. - Mark M. Tobenkin; Ian R. Manchester; Alexandre Megretski (IEEE Trans. Autom. Control., 2017)

Inverse Stability Problem and Applications to Renewables Integration. - Thanh Long Vu 001; Hung Dinh Nguyen 001; Alexandre Megretski; Jean-Jacques E. Slotine; Konstantin S. Turitsyn (IEEE Control. Syst. Lett., 2018)

Equivalent Baseband Models and Corresponding Digital Predistortion for Compensating Dynamic Passband Nonlinearities in Phase-Amplitude Modulation-Demodulation Schemes. - Omer Tanovic; Alexandre Megretski; Yan Li 029; Vladimir Stojanovic; Mitra Osqui (IEEE Trans. Signal Process., 2018)

Causally Stable Approximation of Optimal Maps in Maximal Value Constrained Least-Squares Optimization. - Omer Tanovic; Alexandre Megretski (ECC, 2019)

Optimal Power Encoding of OFDM Signals in All-Digital Transmitters. - Omer Tanovic; Rui Ma; Philip V. Orlik; Alexandre Megretski (GLOBECOM, 2019)

Robust Deep Reinforcement Learning through Adversarial Loss. - Tuomas P. Oikarinen; Wang Zhang; Alexandre Megretski; Luca Daniel; Tsui-Wei Weng (NeurIPS, 2021)

Robust Online Control with Model Misspecification. - Udaya Ghai; Xinyi Chen 001; Elad Hazan; Alexandre Megretski (L4DC, 2022)

Mathematical certification of motion planning on uncertain terrain with limited perception: a case study. - Nikolaos Skouloudis; Alexandre Megretski (CoRR, 2022)

ConCerNet: A Contrastive Learning Based Framework for Automated Conservation Law Discovery and Trustworthy Dynamical System Prediction. - Wang Zhang; Tsui-Wei Weng; Subhro Das; Alexandre Megretski; Luca Daniel; Lam M. Nguyen (ICML, 2023)

One Step Closer to Unbiased Aleatoric Uncertainty Estimation. - Wang Zhang; Ziwen Martin Ma; Subhro Das; Tsui-Wei Lily Weng; Alexandre Megretski; Luca Daniel; Lam M. Nguyen (AAAI, 2024)

React to Surprises: Stable-by-Design Neural Feedback Control and the Youla-REN. - Nicholas H. Barbara; Ruigang Wang; Alexandre Megretski; Ian R. Manchester (CoRR, 2025)