Alexandre Megretski

93 papers A* 4A 2B 1C 18Journal 42Unranked 26

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	React to Surprises: Stable-by-Design Neural Feedback Control and the Youla-REN. CoRR Nicholas H. Barbara, Ruigang Wang, Alexandre Megretski, Ian R. Manchester
2024	A*	`conf`	One Step Closer to Unbiased Aleatoric Uncertainty Estimation. AAAI Wang Zhang, Ziwen Martin Ma, Subhro Das, Tsui-Wei Lily Weng, Alexandre Megretski, Luca Daniel, Lam M. Nguyen
2023	A*	`conf`	ConCerNet: A Contrastive Learning Based Framework for Automated Conservation Law Discovery and Trustworthy Dynamical System Prediction. ICML Wang Zhang, Tsui-Wei Weng, Subhro Das, Alexandre Megretski, Luca Daniel, Lam M. Nguyen
2023	J	`jnl`	ConCerNet: A Contrastive Learning Based Framework for Automated Conservation Law Discovery and Trustworthy Dynamical System Prediction. CoRR Wang Zhang, Tsui-Wei Weng, Subhro Das, Alexandre Megretski, Luca Daniel, Lam M. Nguyen
2023	J	`jnl`	One step closer to unbiased aleatoric uncertainty estimation. CoRR Wang Zhang, Ziwen Martin Ma, Subhro Das, Tsui-Wei Weng, Alexandre Megretski, Luca Daniel, Lam M. Nguyen
2022	J	`jnl`	Mathematical certification of motion planning on uncertain terrain with limited perception: a case study. CoRR Nikolaos Skouloudis, Alexandre Megretski
2022	—	`conf`	Robust Online Control with Model Misspecification. L4DC Udaya Ghai, Xinyi Chen, Elad Hazan, Alexandre Megretski
2021	A*	`conf`	Robust Deep Reinforcement Learning through Adversarial Loss. NeurIPS Tuomas P. Oikarinen, Wang Zhang, Alexandre Megretski, Luca Daniel, Tsui-Wei Weng
2021	J	`jnl`	Robust Online Control with Model Misspecification. CoRR Xinyi Chen, Udaya Ghai, Elad Hazan, Alexandre Megretski
2019	—	`conf`	Causally Stable Approximation of Optimal Maps in Maximal Value Constrained Least-Squares Optimization. ECC Omer Tanovic, Alexandre Megretski
2019	B	`conf`	Optimal Power Encoding of OFDM Signals in All-Digital Transmitters. GLOBECOM Omer Tanovic, Rui Ma, Philip V. Orlik, Alexandre Megretski
2018	J	`jnl`	Equivalent Baseband Models and Corresponding Digital Predistortion for Compensating Dynamic Passband Nonlinearities in Phase-Amplitude Modulation-Demodulation Schemes. IEEE Trans. Signal Process. Omer Tanovic, Alexandre Megretski, Yan Li, Vladimir Stojanovic, Mitra Osqui
2018	J	`jnl`	Inverse Stability Problem and Applications to Renewables Integration. IEEE Control. Syst. Lett. Thanh Long Vu, Hung Dinh Nguyen, Alexandre Megretski, Jean-Jacques E. Slotine, Konstantin S. Turitsyn
2017	J	`jnl`	Convex Parameterizations and Fidelity Bounds for Nonlinear Identification and Reduced-Order Modelling. CoRR Mark M. Tobenkin, Ian R. Manchester, Alexandre Megretski
2017	J	`jnl`	Convex Parameterizations and Fidelity Bounds for Nonlinear Identification and Reduced-Order Modelling. IEEE Trans. Autom. Control. Mark M. Tobenkin, Ian R. Manchester, Alexandre Megretski
2017	J	`jnl`	Inverse Stability Certificate and Applications to Emergency Control of Power Systems. CoRR Thanh Long Vu, Hung Dinh Nguyen, Jean-Jacques E. Slotine, Alexandre Megretski, Konstantin S. Turitsyn
2016	C	`conf`	Bounding the number of non-zero coefficients in minimal peak-to-peak gain shaping filters. ACC Omer Tanovic, Alexandre Megretski
2016	—	`conf`	Discrete-time models resulting from dynamic continuous-time perturbations in phase-amplitude modulation-demodulation schemes. CDC Omer Tanovic, Alexandre Megretski, Yan Li, Vladimir Marko Stojanovic, Mitra Osqui
2015	J	`jnl`	Baseband Equivalent Models Resulting From Dynamic Continuous-Time Perturbations In Phase-Amplitude Modulation-Demodulation Schemes (Expanded version). CoRR Omer Tanovic, Alexandre Megretski, Yan Li, Vladimir Marko Stojanovic, Mitra Osqui
2014	J	`jnl`	Discrete-Time Models Resulting From Dynamic Continuous-Time Perturbations In Phase-Amplitude Modulation-Demodulation Schemes. CoRR Omer Tanovic, Alexandre Megretski, Yan Li, Vladimir Marko Stojanovic, Mitra Osqui
2013	—	`conf`	Design trade-offs in signal component separators for outphasing power amplifiers. ESSCIRC Zhipeng Li, Yan Li, Yehuda Avniel, Alexandre Megretski, Vladimir Stojanovic
2013	J	`jnl`	High-Throughput Signal Component Separator for Asymmetric Multi-Level Outphasing Power Amplifiers. IEEE J. Solid State Circuits Yan Li, Zhipeng Li, Oguzhan Uyar, Yehuda Avniel, Alexandre Megretski, Vladimir Stojanovic
2013	J	`jnl`	Optimization of Lyapunov Invariants in Verification of Software Systems. IEEE Trans. Autom. Control. Mardavij Roozbehani, Alexandre Megretski, Eric Feron
2013	J	`jnl`	Stable Nonlinear Identification From Noisy Repeated Experiments via Convex Optimization CoRR Mark M. Tobenkin, Ian R. Manchester, Alexandre Megretski
2013	C	`conf`	Stable nonlinear identification from noisy repeated experiments via convex optimization. ACC Mark M. Tobenkin, Ian R. Manchester, Alexandre Megretski
2013	—	`conf`	Sufficient conditions for optimality of Analog to Digital Converters. CDC Mitra Osqui, Alexandre Megretski, Mardavij Roozbehani
2012	J	`jnl`	Explicit Solutions for Root Optimization of a Polynomial Family With One Affine Constraint. IEEE Trans. Autom. Control. Vincent D. Blondel, Mert Gürbüzbalaban, Alexandre Megretski, Michael L. Overton
2011	J	`jnl`	Finite Approximations of Switched Homogeneous Systems for Controller Synthesis. IEEE Trans. Autom. Control. Danielle C. Tarraf, Alexandre Megretski, Munther A. Dahleh
2011	—	`conf`	Lower bounds on the performance of Analog to Digital Converters. CDC/ECC Mitra Osqui, Alexandre Megretski, Mardavij Roozbehani
2011	J	`jnl`	Optimization of Lyapunov Invariants in Verification of Software Systems CoRR Mardavij Roozbehani, Alexandre Megretski, Eric Feron
2011	J	`jnl`	Optimization of Lyapunov Invariants in Verification of Software Systems (Extended Version) CoRR Mardavij Roozbehani, Alexandre Megretski, Eric Feron
2010	J	`jnl`	Compact Modeling of Nonlinear Analog Circuits Using System Identification via Semidefinite Programming and Incremental Stability Certification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Bradley N. Bond, Zohaib Mahmood, Yan Li, Ranko Sredojevic, Alexandre Megretski, Vladimir Stojanovic, Yehuda Avniel, Luca Daniel
2010	—	`conf`	Convex optimization in identification of stable non-linear state space models. CDC Mark M. Tobenkin, Ian R. Manchester, Jennifer Wang, Alexandre Megretski, Russ Tedrake
2010	—	`conf`	Explicit solutions for root optimization of a polynomial family. CDC Vincent D. Blondel, Mert Gürbüzbalaban, Alexandre Megretski, Michael L. Overton
2010	—	`conf`	Optimality and performance limitations of Analog to Digital Converters. CDC Mitra Osqui, Alexandre Megretski, Mardavij Roozbehani
2010	A	`conf`	Passive reduced order modeling of multiport interconnects via semidefinite programming. DATE Zohaib Mahmood, Bradley N. Bond, Tarek Moselhy, Alexandre Megretski, Luca Daniel
2009	J	`jnl`	Input Classes for Identifiability of Bilinear Systems. IEEE Trans. Autom. Control. Eduardo D. Sontag, Yuan Wang, Alexandre Megretski
2008	J	`jnl`	A Framework for Robust Stability of Systems Over Finite Alphabets. IEEE Trans. Autom. Control. Danielle C. Tarraf, Alexandre Megretski, Munther A. Dahleh
2008	J	`jnl`	A Quasi-Convex Optimization Approach to Parameterized Model Order Reduction. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Kin Cheong Sou, Alexandre Megretski, Luca Daniel
2008	J	`jnl`	Balanced Truncation for a Class of Stochastic Jump Linear Systems and Model Reduction for Hidden Markov Models. IEEE Trans. Autom. Control. Georgios Kotsalis, Alexandre Megretski, Munther A. Dahleh
2008	—	`conf`	Convex optimization in robust identification of nonlinear feedback. CDC Alexandre Megretski
2008	—	`conf`	Convex relaxation approach to the identification of the Wiener-Hammerstein model. CDC Kin Cheong Sou, Alexandre Megretski, Luca Daniel
2008	—	`conf`	Distributed Lyapunov Functions in Analysis of Graph Models of Software. HSCC Mardavij Roozbehani, Alexandre Megretski, Emilio Frazzoli, Eric Feron
2008	—	`conf`	Lyapunov analysis of quadratically symmetric neighborhood consensus algorithms. CDC Mardavij Roozbehani, Alexandre Megretski, Emilio Frazzoli
2008	J	`jnl`	Stabilizability of two-dimensional linear systems via switched output feedback. Syst. Control. Lett. Keith R. Santarelli, Alexandre Megretski, Munther A. Dahleh
2007	A	`conf`	Bounding L2 gain system error generated by approximations of the nonlinear vector field. ICCAD Kin Cheong Sou, Alexandre Megretski, Luca Daniel
2007	—	`conf`	Finite State Controllers for Stabilizing Switched Systems with Binary Sensors. HSCC Danielle C. Tarraf, Alexandre Megretski, Munther A. Dahleh
2007	J	`jnl`	On the New Barrier Function and Specialized Algorithms for a Class of Semidefinite Programs. SIAM J. Control. Optim. Chung-Yao Kao, Alexandre Megretski
2007	C	`conf`	Optimal Fixed-Point Implementation of Digital Filters. ACC Mardavij Roozbehani, Alexandre Megretski, Eric Feron
2007	C	`conf`	Remarks on Input Classes for Identification of Bilinear Systems. ACC Eduardo D. Sontag, Yuan Wang, Alexandre Megretski
2007	C	`conf`	Semidefinite Programming in Analysis and Optimization of Performance of Sigma-Delta Modulators for Low Frequencies. ACC Mitra Osqui, Mardavij Roozbehani, Alexandre Megretski
2006	—	`conf`	A Model Reduction Algorithm for Hidden Markov Models. CDC Georgios Kotsalis, Alexandre Megretski, Munther A. Dahleh
2006	C	`conf`	H-infinity model reduction with guaranteed suboptimality bound. ACC Alexandre Megretski
2006	—	`conf`	Input-to-State Stability of a Nonlinear Discrete-time System via R-cycles. CDC Keith R. Santarelli, Alexandre Megretski, Munther A. Dahleh
2006	C	`conf`	Input/output stability of systems over finite alphabets. ACC Danielle C. Tarraf, Alexandre Megretski, Munther A. Dahleh
2006	C	`conf`	Model reduction of discrete-time Markov jump linear systems. ACC Georgios Kotsalis, Alexandre Megretski, Munther A. Dahleh
2006	—	`conf`	Optimal Controller Synthesis for Second Order LTI Plants with Switched Output Feedback. CDC Keith R. Santarelli, Munther A. Dahleh, Alexandre Megretski
2006	—	`conf`	Safety Verification of Iterative Algorithms over Polynomial Vector Fields. CDC Mardavij Roozbehani, Alexandre Megretski, Eric Feron
2005	J	`jnl`	A Small-Gain Theory for Limit Cycles of Systems on Lur[e-acute] Form. SIAM J. Control. Optim. Ulf T. Jönsson, Alexandre Megretski
2005	A*	`conf`	A quasi-convex optimization approach to parameterized model order reduction. DAC Kin Cheong Sou, Alexandre Megretski, Luca Daniel
2005	C	`conf`	Convex optimization proves software correctness. ACC Mardavij Roozbehani, Alexandre Megretski, Eric Feron
2005	J	`jnl`	Fourier Series for Accurate, Stable, Reduced-Order Models in Large-Scale Linear Applications. SIAM J. Sci. Comput. Karen Willcox, Alexandre Megretski
2005	—	`conf`	Limit Cycle Analysis Using a System Right Inverse. CDC/ECC Ulf T. Jönsson, Alexandre Megretski
2005	—	`conf`	Modeling, Optimization and Computation for Software Verification. HSCC Mardavij Roozbehani, Eric Feron, Alexandre Megretski
2005	C	`conf`	On the stabilizability of two-dimensional linear systems via switched output feedback. ACC Keith R. Santarelli, Alexandre Megretski, Munther A. Dahleh
2004	—	`conf`	Finite automata approximations with error bounds for systems with quantized actuation and measurement: a case study. CDC Danielle C. Tarraf, Alexandre Megretski, Munther A. Dahleh
2004	J	`jnl`	Optimal Detection of Symmetric Mixed Quantum States. IEEE Trans. Inf. Theory Yonina C. Eldar, Alexandre Megretski, George C. Verghese
2004	J	`jnl`	Specialized fast algorithms for IQC feasibility and optimization problems. Autom. Chung-Yao Kao, Alexandre Megretski, Ulf Jönsson
2003	C	`conf`	A new barrier function for IQC optimization problems. ACC Chung-Yao Kao, Alexandre Megretski
2003	J	`jnl`	Designing optimal quantum detectors via semidefinite programming. IEEE Trans. Inf. Theory Yonina C. Eldar, Alexandre Megretski, George C. Verghese
2003	J	`jnl`	Global analysis of piecewise linear systems using impact maps and surface Lyapunov functions. IEEE Trans. Autom. Control. Jorge M. Gonçalves, Alexandre Megretski, Munther A. Dahleh
2003	—	`conf`	Positivity of trigonometric polynomials. CDC Alexandre Megretski
2002	J	`jnl`	Robustness of periodic trajectories. IEEE Trans. Autom. Control. Ulf T. Jönsson, Chung-Yao Kao, Alexandre Megretski
2001	J	`jnl`	A cutting plane algorithm for robustness analysis of periodically time-varying systems. IEEE Trans. Autom. Control. Chung-Yao Kao, Alexandre Megretski, Ulf T. Jönsson
2001	C	`conf`	A semi-infinite optimization problem in harmonic analysis of uncertain systems. ACC Ulf T. Jönsson, Chung-Yao Kao, Alexandre Megretski
2001	C	`conf`	Fast algorithms for solving IQC feasibility and optimization problems. ACC Chung-Yao Kao, Alexandre Megretski
2001	—	`conf`	Global analysis of piecewise linear systems using impact maps and quadratic surface Lyapunov functions. ECC Jorge M. Gonçalves, Alexandre Megretski, Munther A. Dahleh
2001	J	`jnl`	Global stability of relay feedback systems. IEEE Trans. Autom. Control. Jorge M. Gonçalves, Alexandre Megretski, Munther A. Dahleh
2001	J	`jnl`	New results for analysis of systems with repeated nonlinearities. Autom. Fernando J. D'Amato, Mario A. Rotea, Alexandre Megretski, Ulf Jönsson
2001	C	`conf`	On automatic search for invariants of hybrid systems. ACC Alexandre Megretski
2000	C	`conf`	An algorithm for solving optimization problems involving special frequency dependent LMIs. ACC Chung-Yao Kao, Alexandre Megretski, Ulf T. Jönsson
2000	—	`conf`	Control synthesis with dynamic integral quadratic constraints-LMI approach. CDC Chung-Yao Kao, Muralidhar Ravuri, Alexandre Megretski
2000	C	`conf`	Estimation of sensitivity of periodic trajectories with respect to structured uncertainty. ACC Alexandre Megretski, Ulf T. Jönsson, Chung-Yao Kao
2000	C	`conf`	Global stability of relay feedback systems. ACC Jorge M. Gonçalves, Alexandre Megretski, Munther A. Dahleh
2000	—	`conf`	Hierarchical optimization in the presence of an intelligent adversary-an H CDC Muralidhar Ravuri, Chung-Yao Kao, Alexandre Megretski
2000	C	`conf`	Robustness of periodic trajectories. ACC Ulf T. Jönsson, Chung-Yao Kao, Alexandre Megretski
2000	J	`jnl`	The Zames-Falb IQC for systems with integrators. IEEE Trans. Autom. Control. Ulf Jönsson, Alexandre Megretski
1999	—	`conf`	IQC characterizations of signal classes. ECC Ulf Jönsson, Alexandre Megretski
1999	J	`jnl`	Robust state feedback control of LTV systems: nonlinear is better than linear. IEEE Trans. Autom. Control. Franco Blanchini, Alexandre Megretski
1997	J	`jnl`	System analysis via integral quadratic constraints. IEEE Trans. Autom. Control. Alexandre Megretski, Anders Rantzer
1995	J	`jnl`	Frequency-domain criteria of robust stability for slowly time-varying systems. IEEE Trans. Autom. Control. Alexandre Megretski
1994	J	`jnl`	A convex parameterization of robustly stabilizing controllers. IEEE Trans. Autom. Control. Anders Rantzer, Alexandre Megretski
1993	J	`jnl`	Necessary and sufficient conditions of stability: a multiloop generalization of the circle criterion. IEEE Trans. Autom. Control. Alexandre Megretski