Alexandre Megretski

Affiliations:
  • Massachusetts Institute of Technology, Cambridge, USA


According to our database1, Alexandre Megretski authored at least 81 papers between 1993 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
One Step Closer to Unbiased Aleatoric Uncertainty Estimation.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023
ConCerNet: A Contrastive Learning Based Framework for Automated Conservation Law Discovery and Trustworthy Dynamical System Prediction.
Proceedings of the International Conference on Machine Learning, 2023

2022
Mathematical certification of motion planning on uncertain terrain with limited perception: a case study.
CoRR, 2022

Robust Online Control with Model Misspecification.
Proceedings of the Learning for Dynamics and Control Conference, 2022

2021
Robust Deep Reinforcement Learning through Adversarial Loss.
Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

2019
Optimal Power Encoding of OFDM Signals in All-Digital Transmitters.
Proceedings of the 2019 IEEE Global Communications Conference, 2019

Causally Stable Approximation of Optimal Maps in Maximal Value Constrained Least-Squares Optimization.
Proceedings of the 17th European Control Conference, 2019

2018
Equivalent Baseband Models and Corresponding Digital Predistortion for Compensating Dynamic Passband Nonlinearities in Phase-Amplitude Modulation-Demodulation Schemes.
IEEE Trans. Signal Process., 2018

Inverse Stability Problem and Applications to Renewables Integration.
IEEE Control. Syst. Lett., 2018

2017
Convex Parameterizations and Fidelity Bounds for Nonlinear Identification and Reduced-Order Modelling.
IEEE Trans. Autom. Control., 2017

Inverse Stability Certificate and Applications to Emergency Control of Power Systems.
CoRR, 2017

2016
Discrete-time models resulting from dynamic continuous-time perturbations in phase-amplitude modulation-demodulation schemes.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Bounding the number of non-zero coefficients in minimal peak-to-peak gain shaping filters.
Proceedings of the 2016 American Control Conference, 2016

2015
Baseband Equivalent Models Resulting From Dynamic Continuous-Time Perturbations In Phase-Amplitude Modulation-Demodulation Schemes (Expanded version).
CoRR, 2015

2013
Optimization of Lyapunov Invariants in Verification of Software Systems.
IEEE Trans. Autom. Control., 2013

High-Throughput Signal Component Separator for Asymmetric Multi-Level Outphasing Power Amplifiers.
IEEE J. Solid State Circuits, 2013

Design trade-offs in signal component separators for outphasing power amplifiers.
Proceedings of the ESSCIRC 2013, 2013

Sufficient conditions for optimality of Analog to Digital Converters.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Stable nonlinear identification from noisy repeated experiments via convex optimization.
Proceedings of the American Control Conference, 2013

2012
Explicit Solutions for Root Optimization of a Polynomial Family With One Affine Constraint.
IEEE Trans. Autom. Control., 2012

2011
Finite Approximations of Switched Homogeneous Systems for Controller Synthesis.
IEEE Trans. Autom. Control., 2011

Optimization of Lyapunov Invariants in Verification of Software Systems (Extended Version)
CoRR, 2011

Lower bounds on the performance of Analog to Digital Converters.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

2010
Compact Modeling of Nonlinear Analog Circuits Using System Identification via Semidefinite Programming and Incremental Stability Certification.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010

Passive reduced order modeling of multiport interconnects via semidefinite programming.
Proceedings of the Design, Automation and Test in Europe, 2010

Convex optimization in identification of stable non-linear state space models.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

Optimality and performance limitations of Analog to Digital Converters.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

Explicit solutions for root optimization of a polynomial family.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

2009
Input Classes for Identifiability of Bilinear Systems.
IEEE Trans. Autom. Control., 2009

2008
A Quasi-Convex Optimization Approach to Parameterized Model Order Reduction.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008

A Framework for Robust Stability of Systems Over Finite Alphabets.
IEEE Trans. Autom. Control., 2008

Balanced Truncation for a Class of Stochastic Jump Linear Systems and Model Reduction for Hidden Markov Models.
IEEE Trans. Autom. Control., 2008

Stabilizability of two-dimensional linear systems via switched output feedback.
Syst. Control. Lett., 2008

Distributed Lyapunov Functions in Analysis of Graph Models of Software.
Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

Convex relaxation approach to the identification of the Wiener-Hammerstein model.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Lyapunov analysis of quadratically symmetric neighborhood consensus algorithms.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Convex optimization in robust identification of nonlinear feedback.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

2007
On the New Barrier Function and Specialized Algorithms for a Class of Semidefinite Programs.
SIAM J. Control. Optim., 2007

Bounding L2 gain system error generated by approximations of the nonlinear vector field.
Proceedings of the 2007 International Conference on Computer-Aided Design, 2007

Finite State Controllers for Stabilizing Switched Systems with Binary Sensors.
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

Remarks on Input Classes for Identification of Bilinear Systems.
Proceedings of the American Control Conference, 2007

Optimal Fixed-Point Implementation of Digital Filters.
Proceedings of the American Control Conference, 2007

Semidefinite Programming in Analysis and Optimization of Performance of Sigma-Delta Modulators for Low Frequencies.
Proceedings of the American Control Conference, 2007

2006
Input-to-State Stability of a Nonlinear Discrete-time System via R-cycles.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006

Optimal Controller Synthesis for Second Order LTI Plants with Switched Output Feedback.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006

Safety Verification of Iterative Algorithms over Polynomial Vector Fields.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006

A Model Reduction Algorithm for Hidden Markov Models.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006

Input/output stability of systems over finite alphabets.
Proceedings of the American Control Conference, 2006

H-infinity model reduction with guaranteed suboptimality bound.
Proceedings of the American Control Conference, 2006

Model reduction of discrete-time Markov jump linear systems.
Proceedings of the American Control Conference, 2006

2005
Fourier Series for Accurate, Stable, Reduced-Order Models in Large-Scale Linear Applications.
SIAM J. Sci. Comput., 2005

A Small-Gain Theory for Limit Cycles of Systems on Lur[e-acute] Form.
SIAM J. Control. Optim., 2005

Modeling, Optimization and Computation for Software Verification.
Proceedings of the Hybrid Systems: Computation and Control, 8th International Workshop, 2005

Limit Cycle Analysis Using a System Right Inverse.
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Convex optimization proves software correctness.
Proceedings of the American Control Conference, 2005

2004
Optimal Detection of Symmetric Mixed Quantum States.
IEEE Trans. Inf. Theory, 2004

Specialized fast algorithms for IQC feasibility and optimization problems.
Autom., 2004

Finite automata approximations with error bounds for systems with quantized actuation and measurement: a case study.
Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

2003
Designing optimal quantum detectors via semidefinite programming.
IEEE Trans. Inf. Theory, 2003

Global analysis of piecewise linear systems using impact maps and surface Lyapunov functions.
IEEE Trans. Autom. Control., 2003

Positivity of trigonometric polynomials.
Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

A new barrier function for IQC optimization problems.
Proceedings of the American Control Conference, 2003

2002
Robustness of periodic trajectories.
IEEE Trans. Autom. Control., 2002

2001
A cutting plane algorithm for robustness analysis of periodically time-varying systems.
IEEE Trans. Autom. Control., 2001

Global stability of relay feedback systems.
IEEE Trans. Autom. Control., 2001

New results for analysis of systems with repeated nonlinearities.
Autom., 2001

Global analysis of piecewise linear systems using impact maps and quadratic surface Lyapunov functions.
Proceedings of the 6th European Control Conference, 2001

On automatic search for invariants of hybrid systems.
Proceedings of the American Control Conference, 2001

Fast algorithms for solving IQC feasibility and optimization problems.
Proceedings of the American Control Conference, 2001

A semi-infinite optimization problem in harmonic analysis of uncertain systems.
Proceedings of the American Control Conference, 2001

2000
The Zames-Falb IQC for systems with integrators.
IEEE Trans. Autom. Control., 2000

Hierarchical optimization in the presence of an intelligent adversary-an H<sub>∞</sub> approach.
Proceedings of the 39th IEEE Conference on Decision and Control, 2000

Control synthesis with dynamic integral quadratic constraints-LMI approach.
Proceedings of the 39th IEEE Conference on Decision and Control, 2000

Estimation of sensitivity of periodic trajectories with respect to structured uncertainty.
Proceedings of the American Control Conference, 2000

An algorithm for solving optimization problems involving special frequency dependent LMIs.
Proceedings of the American Control Conference, 2000

1999
Robust state feedback control of LTV systems: nonlinear is better than linear.
IEEE Trans. Autom. Control., 1999

IQC characterizations of signal classes.
Proceedings of the 5th European Control Conference, 1999

1997
System analysis via integral quadratic constraints.
IEEE Trans. Autom. Control., 1997

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

1994
A convex parameterization of robustly stabilizing controllers.
IEEE Trans. Autom. Control., 1994

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


  Loading...