Demo Data from EDBT 2026 / reviewers in the wild / expert
Zohaib Mahmood
dblp:38/8189
· DBLP profile ↗
4ranked-venue papers
3as first author
0since 2021 · last 2014
0000-0002-2657-4606ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 4 · 3 first-authorSoftware engineering, systems software and programming languages · 2 · 2 first-author
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Computer architecture, parallel and distributed computing, and storage systems
2 papers |
Electronic design automation · 76% Integrated circuit design · 24% | |
| Theoretical computer science
2 papers |
Mathematical optimization · 61% Computational geometry · 39% |
Topics — the 9 heaviest of 9, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Electronic design automation
interconnect modeling |
0.2 | 1 | 2014 | Efficient Localization Methods for Passivity Enforcement of Linear Dynamical Models · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2014 |
Electronic design automation › signal integrity
passivity enforcement |
0.2 | 1 | 2014 | Efficient Localization Methods for Passivity Enforcement of Linear Dynamical Models · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2014 |
Electronic design automation
signal integrity |
0.2 | 1 | 2014 | Efficient Localization Methods for Passivity Enforcement of Linear Dynamical Models · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2014 |
Integrated circuit design
analog and mixed-signal circuits |
0.1 | 1 | 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 |
Integrated circuit design › semiconductor device modeling
compact modeling |
0.1 | 1 | 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 |
Electronic design automation › circuit simulation › reduced-order modeling
macromodeling |
0.1 | 1 | 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 |
Computational geometry › geometric inference › geometric estimation
localization algorithms |
0.1 | 1 | 2014 | Efficient Localization Methods for Passivity Enforcement of Linear Dynamical Models · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2014 |
Mathematical optimization › continuous optimization
nonsmooth convex optimization |
0.1 | 1 | 2014 | Efficient Localization Methods for Passivity Enforcement of Linear Dynamical Models · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2014 |
Mathematical optimization
semidefinite programming |
0.0 | 1 | 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 |
Methods — techniques the papers use, named apart from their topics
state-space perturbation · 0.4ellipsoid method · 0.4cutting-plane method · 0.4convex optimization · 0.4system identification · 0.2semidefinite programming · 0.2incremental stability · 0.2
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2014 | Efficient Localization Methods for Passivity Enforcement of Linear Dynamical ModelsabstractThis paper describes a novel approach for passivity enforcement of compact dynamical models of electrical interconnects. The proposed approach is based on a parameterization of general state-space scattering models with fixed poles. We formulate the passivity constraints as a unitary boundedness condition on the H∞norm of the system transfer function. When this condition is not verified, we use it as an explicit constraint within an iterative perturbation loop of the system state-space matrices. Since the resulting optimization framework is convex but nonsmooth, we solve it via localization based algorithms, such as the ellipsoid and the cutting plane methods. The proposed technique solves two critical bottleneck issues of the existing approaches for passivity enforcement of linear macromodels. Compared to quasi-optimal schemes based on singular value or Hamiltonian eigenvalue perturbation, we are able to guarantee convergence to the optimal solution. Compared to convex formulations based on direct Bounded Real Lemma constraints, we are able to reduce both memory and time requirements by orders of magnitude. We demonstrate the effectiveness of our approach on a number of cases for which existing algorithms either fail or exhibit very slow convergence. Zohaib Mahmood, Stefano Grivet-Talocia, Alessandro Chinea, Giuseppe Carlo Calafiore, Luca Daniel |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. | 1 |
| 2012 | An efficient framework for passive compact dynamical modeling of multiport linear systemsabstractWe present an efficient and scalable framework for the generation of guaranteed passive compact dynamical models for multiport structures. The proposed algorithm enforces passivity using frequency independent linear matrix inequalities, as opposed to the existing optimization based algorithms which enforce passivity using computationally expensive frequency dependent constraints. We have tested our algorithm for various multiport structures. An excellent match between the given samples and our passive model was achieved. Zohaib Mahmood, Roberto Suaya, Luca Daniel |
DATE | 1 |
| 2010 | Passive reduced order modeling of multiport interconnects via semidefinite programmingabstractIn this paper we present a passive reduced order modeling algorithm for linear multiport interconnect structures. The proposed technique uses rational fitting via semidefinite programming to identify a passive transfer matrix from given frequency domain data samples. Numerical results are presented for a power distribution grid and an array of inductors, and the proposed approach is compared to two existing rational fitting techniques. Zohaib Mahmood, Bradley N. Bond, Tarek Moselhy, Alexandre Megretski, Luca Daniel |
DATE | 1 |
| 2010 | Compact Modeling of Nonlinear Analog Circuits Using System Identification via Semidefinite Programming and Incremental Stability CertificationabstractThis paper presents a system identification technique for generating stable compact models of typical analog circuit blocks in radio frequency systems. The identification procedure is based on minimizing the model error over a given training data set subject to an incremental stability constraint, which is formulated as a semidefinite optimization problem. Numerical results are presented for several analog circuits, including a distributed power amplifier, as well as a MEM device. It is also shown that our dynamical models can accurately predict important circuit performance metrics, and may thus, be useful for design optimization of analog systems. Bradley N. Bond, Zohaib Mahmood, Yan Li 0029, Ranko Sredojevic, Alexandre Megretski, Vladimir Stojanovic, Yehuda Avniel, Luca Daniel |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. | 2 |