2008 |
9 | EE | Mardavij Roozbehani,
Alexandre Megretski,
Emilio Frazzoli,
Eric Feron:
Distributed Lyapunov Functions in Analysis of Graph Models of Software.
HSCC 2008: 443-456 |
8 | EE | Kin Cheong Sou,
Alexandre Megretski,
Luca Daniel:
A Quasi-Convex Optimization Approach to Parameterized Model Order Reduction.
IEEE Trans. on CAD of Integrated Circuits and Systems 27(3): 456-469 (2008) |
2007 |
7 | EE | Danielle C. Tarraf,
Alexandre Megretski,
Munther A. Dahleh:
Finite State Controllers for Stabilizing Switched Systems with Binary Sensors.
HSCC 2007: 543-556 |
6 | EE | Kin Cheong Sou,
Alexandre Megretski,
Luca Daniel:
Bounding L2 gain system error generated by approximations of the nonlinear vector field.
ICCAD 2007: 879-886 |
2005 |
5 | EE | Kin Cheong Sou,
Alexandre Megretski,
Luca Daniel:
A quasi-convex optimization approach to parameterized model order reduction.
DAC 2005: 933-938 |
4 | EE | Mardavij Roozbehani,
Eric Feron,
Alexandre Megretski:
Modeling, Optimization and Computation for Software Verification.
HSCC 2005: 606-622 |
2004 |
3 | EE | Chung-Yao Kao,
Alexandre Megretski,
Ulf Jönsson:
Specialized fast algorithms for IQC feasibility and optimization problems.
Automatica 40(2): 239-252 (2004) |
2 | | Yonina C. Eldar,
Alexandre Megretski,
George C. Verghese:
Optimal Detection of Symmetric Mixed Quantum States.
IEEE Transactions on Information Theory 50(6): 1198-1207 (2004) |
2003 |
1 | | Yonina C. Eldar,
Alexandre Megretski,
George C. Verghese:
Designing optimal quantum detectors via semidefinite programming.
IEEE Transactions on Information Theory 49(4): 1007-1012 (2003) |