% generated from refs_phase2.bib (verified entries) plus Heintz 1983

@article{Abed1986,
  author  = {Abed, Eyad H.},
  title   = {Strong {D}-stability},
  journal = {Systems \& Control Letters},
  volume  = {7},
  number  = {3},
  pages   = {207--212},
  year    = {1986},
  doi     = {10.1016/0167-6911(86)90116-7}
}

@article{ArrowMcManus1958,
  author  = {Arrow, Kenneth J. and McManus, Maurice},
  title   = {A note on dynamic stability},
  journal = {Econometrica},
  volume  = {26},
  number  = {3},
  pages   = {448--454},
  year    = {1958},
  doi     = {10.2307/1907624}
}

@article{AubryRouillierSafeyElDin2002,
  author  = {Aubry, Philippe and Rouillier, Fabrice and Safey El Din, Mohab},
  title   = {Real solving for positive dimensional systems},
  journal = {Journal of Symbolic Computation},
  volume  = {34},
  number  = {6},
  pages   = {543--560},
  year    = {2002},
  doi     = {10.1006/jsco.2002.0563}
}

@book{BasuPollackRoy2006,
  author    = {Basu, Saugata and Pollack, Richard and Roy, Marie-Fran{\c{c}}oise},
  title     = {Algorithms in Real Algebraic Geometry},
  edition   = {2nd},
  series    = {Algorithms and Computation in Mathematics},
  volume    = {10},
  publisher = {Springer},
  address   = {Berlin, Heidelberg},
  year      = {2006},
  doi       = {10.1007/3-540-33099-2},
  isbn      = {978-3-540-33098-1}
}

@misc{BerthomieuGillotSafeyElDin2026,
  author        = {Berthomieu, J{\'e}r{\'e}my and Gillot, Edern and Safey El Din, Mohab},
  title         = {Computing points in connected components defined by a real inequation: algorithms, complexity and implementations, {Part I}},
  howpublished  = {arXiv:2605.18110 [cs.SC]},
  year          = {2026},
  eprint        = {2605.18110},
  archivePrefix = {arXiv},
  primaryClass  = {cs.SC}
}

% ---------------------------------------------------------------- D-stability

@inproceedings{Burlakova2009,
  author    = {Burlakova, Larisa A.},
  title     = {Conditions of {D}-Stability of the Fifth-Order Matrices},
  booktitle = {Computer Algebra in Scientific Computing (CASC 2009)},
  series    = {Lecture Notes in Computer Science},
  volume    = {5743},
  publisher = {Springer},
  address   = {Berlin, Heidelberg},
  pages     = {54--65},
  year      = {2009},
  doi       = {10.1007/978-3-642-04103-7_5}
}

@article{Cain1976,
  author  = {Cain, Bryan E.},
  title   = {Real, $3\times 3$, {D}-stable matrices},
  journal = {Journal of Research of the National Bureau of Standards, Section B: Mathematical Sciences},
  volume  = {80B},
  number  = {1},
  pages   = {75--77},
  year    = {1976},
  doi     = {10.6028/jres.080b.013}
}

@article{CampoMorari1994,
  author  = {Campo, Peter J. and Morari, Manfred},
  title   = {Achievable closed-loop properties of systems under decentralized control: conditions involving the steady-state gain},
  journal = {IEEE Transactions on Automatic Control},
  volume  = {39},
  number  = {5},
  pages   = {932--943},
  year    = {1994},
  doi     = {10.1109/9.284869}
}

@article{Cross1978,
  author  = {Cross, G. W.},
  title   = {Three types of matrix stability},
  journal = {Linear Algebra and its Applications},
  volume  = {20},
  number  = {3},
  pages   = {253--263},
  year    = {1978},
  doi     = {10.1016/0024-3795(78)90021-6}
}

@article{ElaahiLuyben1985,
  author  = {Elaahi, Abolghasem and Luyben, William L.},
  title   = {Control of an energy-conservative complex configuration of distillation columns for four-component separations},
  journal = {Industrial \& Engineering Chemistry Process Design and Development},
  volume  = {24},
  number  = {2},
  pages   = {368--376},
  year    = {1985},
  doi     = {10.1021/i200029a025}
}

@techreport{GiorgiZuccotti2015,
  author      = {Giorgi, Giorgio and Zuccotti, Cesare},
  title       = {An Overview on {D}-stable Matrices},
  institution = {Department of Economics and Management, University of Pavia},
  type        = {DEM Working Paper Series},
  number      = {97 (02-15)},
  year        = {2015},
  month       = feb
}

@article{GrigorievVorobjov1988,
  author  = {Grigor'ev, D. Yu. and Vorobjov, Jr., N. N.},
  title   = {Solving systems of polynomial inequalities in subexponential time},
  journal = {Journal of Symbolic Computation},
  volume  = {5},
  number  = {1--2},
  pages   = {37--64},
  year    = {1988},
  doi     = {10.1016/S0747-7171(88)80005-1}
}

@article{Hartfiel1980,
  author  = {Hartfiel, D. J.},
  title   = {Concerning the interior of the {D}-stable matrices},
  journal = {Linear Algebra and its Applications},
  volume  = {30},
  pages   = {201--207},
  year    = {1980},
  doi     = {10.1016/0024-3795(80)90195-0}
}

@article{Heintz1983,
  author = {Joos Heintz},
  title = {Definability and fast quantifier elimination in algebraically closed fields},
  journal = {Theoretical Computer Science},
  volume = {24},
  number = {3},
  pages = {239--277},
  year = {1983},
  doi = {10.1016/0304-3975(83)90002-6}
}

@book{HofbauerSigmund1998,
  author    = {Hofbauer, Josef and Sigmund, Karl},
  title     = {Evolutionary Games and Population Dynamics},
  publisher = {Cambridge University Press},
  address   = {Cambridge},
  year      = {1998},
  doi       = {10.1017/CBO9781139173179}
}

@article{Huh2013,
  author        = {Huh, June},
  title         = {The maximum likelihood degree of a very affine variety},
  journal       = {Compositio Mathematica},
  volume        = {149},
  number        = {8},
  pages         = {1245--1266},
  year          = {2013},
  doi           = {10.1112/S0010437X13007057},
  eprint        = {1207.0553},
  archivePrefix = {arXiv}
}

@article{ImpramJohnsonPavani2005,
  author  = {Impram, Serkan T. and Johnson, Russell and Pavani, Raffaella},
  title   = {The {D}-stability problem for $4\times 4$ real matrices},
  journal = {Archivum Mathematicum (Brno)},
  volume  = {41},
  number  = {4},
  pages   = {439--450},
  year    = {2005},
  issn    = {0044-8753}
}

@article{JohnsonCR1974JRNBS,
  author  = {Johnson, Charles R.},
  title   = {Second, third, and fourth order {D}-stability},
  journal = {Journal of Research of the National Bureau of Standards, Section B: Mathematical Sciences},
  volume  = {78B},
  number  = {1},
  pages   = {11--13},
  year    = {1974},
  doi     = {10.6028/jres.078b.004}
}

@article{JohnsonCR1975JME,
  author  = {Johnson, Charles R.},
  title   = {A characterization of the nonlinearity of {D}-stability},
  journal = {Journal of Mathematical Economics},
  volume  = {2},
  number  = {1},
  pages   = {87--91},
  year    = {1975},
  doi     = {10.1016/0304-4068(75)90015-4}
}

@article{JohnsonTesi1999,
  author  = {Johnson, Russell and Tesi, Alberto},
  title   = {On the {D}-stability problem for real matrices},
  journal = {Bollettino dell'Unione Matematica Italiana, Serie 8},
  volume  = {2-B},
  number  = {2},
  pages   = {299--314},
  year    = {1999}
}

@article{KanoveiLogofet1998,
  author  = {Kanovei, G. V. and Logofet, D. O.},
  title   = {{D}-stability of 4-by-4 matrices},
  journal = {Computational Mathematics and Mathematical Physics},
  volume  = {38},
  number  = {9},
  pages   = {1369--1374},
  year    = {1998}
}

@article{Kushel2019,
  author        = {Kushel, Olga Y.},
  title         = {Unifying Matrix Stability Concepts with a View to Applications},
  journal       = {SIAM Review},
  volume        = {61},
  number        = {4},
  pages         = {643--729},
  year          = {2019},
  doi           = {10.1137/18M119241X},
  eprint        = {1907.07089},
  archivePrefix = {arXiv}
}

@misc{Kushel2026,
  author        = {Kushel, Olga Y.},
  title         = {Recursive determinantal framework for testing {D}-stability. {I}},
  howpublished  = {arXiv:2604.16526 [math.SP]},
  year          = {2026},
  eprint        = {2604.16526},
  archivePrefix = {arXiv},
  primaryClass  = {math.SP}
}

@article{KushelPavani2022,
  author        = {Kushel, Olga Y. and Pavani, Raffaella},
  title         = {The Problem of Generalized {D}-Stability in Unbounded {LMI} Regions and Its Computational Aspects},
  journal       = {Journal of Dynamics and Differential Equations},
  volume        = {34},
  number        = {1},
  pages         = {651--669},
  year          = {2022},
  doi           = {10.1007/s10884-020-09891-y},
  eprint        = {2004.11172},
  archivePrefix = {arXiv}
}

% ---------------------------------------------------------------- DIC

@article{MahmoodAlzobai2026,
  author  = {Mahmood, Layth S. and Mousa Al-zobai, Khalid M.},
  title   = {Modelling of a $4\times 4$ Multivariable Distillation Column Using Pulse Function-Based System Identification},
  journal = {Al-Khwarizmi Engineering Journal},
  volume  = {22},
  number  = {3},
  pages   = {111--123},
  year    = {2026},
  doi     = {10.22153/kej.2026.02.004}
}

@article{Pavani2018,
  author  = {Pavani, Raffaella},
  title   = {A new efficient approach to the characterization of {D}-stable matrices},
  journal = {Mathematical Methods in the Applied Sciences},
  volume  = {41},
  number  = {12},
  pages   = {4407--4416},
  year    = {2018},
  doi     = {10.1002/mma.4902}
}

@inproceedings{Pavani2019,
  author    = {Pavani, Raffaella},
  title     = {{D}-stability characterization problem can exhibit a polynomial computational complexity},
  booktitle = {International Conference of Numerical Analysis and Applied Mathematics (ICNAAM 2018)},
  series    = {AIP Conference Proceedings},
  volume    = {2116},
  publisher = {AIP Publishing},
  pages     = {050003},
  year      = {2019},
  doi       = {10.1063/1.5114034}
}

@article{Renegar1992a,
  author  = {Renegar, James},
  title   = {On the computational complexity and geometry of the first-order theory of the reals. {Part I}: {I}ntroduction. {P}reliminaries. {T}he geometry of semi-algebraic sets. {T}he decision problem for the existential theory of the reals},
  journal = {Journal of Symbolic Computation},
  volume  = {13},
  number  = {3},
  pages   = {255--299},
  year    = {1992},
  doi     = {10.1016/S0747-7171(10)80003-3}
}

@article{Renegar1992b,
  author  = {Renegar, James},
  title   = {On the computational complexity and geometry of the first-order theory of the reals. {Part II}: {T}he general decision problem. {P}reliminaries for quantifier elimination},
  journal = {Journal of Symbolic Computation},
  volume  = {13},
  number  = {3},
  pages   = {301--327},
  year    = {1992},
  doi     = {10.1016/S0747-7171(10)80004-5}
}

@article{Renegar1992c,
  author  = {Renegar, James},
  title   = {On the computational complexity and geometry of the first-order theory of the reals. {Part III}: {Q}uantifier elimination},
  journal = {Journal of Symbolic Computation},
  volume  = {13},
  number  = {3},
  pages   = {329--352},
  year    = {1992},
  doi     = {10.1016/S0747-7171(10)80005-7}
}

@inproceedings{SafeyElDinSchost2003,
  author    = {Safey El Din, Mohab and Schost, {\'E}ric},
  title     = {Polar varieties and computation of one point in each connected component of a smooth real algebraic set},
  booktitle = {Proceedings of the 2003 International Symposium on Symbolic and Algebraic Computation (ISSAC '03)},
  publisher = {ACM},
  pages     = {224--231},
  year      = {2003},
  doi       = {10.1145/860854.860901}
}

@inproceedings{SafeyElDinSpaenlehauer2016,
  author        = {Safey El Din, Mohab and Spaenlehauer, Pierre-Jean},
  title         = {Critical Point Computations on Smooth Varieties: Degree and Complexity Bounds},
  booktitle     = {Proceedings of the 2016 ACM International Symposium on Symbolic and Algebraic Computation (ISSAC '16)},
  publisher     = {ACM},
  pages         = {183--190},
  year          = {2016},
  doi           = {10.1145/2930889.2930929},
  eprint        = {1605.02518},
  archivePrefix = {arXiv},
  primaryClass  = {cs.SC}
}

@article{SkogestadMorari1992,
  author  = {Skogestad, Sigurd and Morari, Manfred},
  title   = {Variable selection for decentralized control},
  journal = {Modeling, Identification and Control},
  volume  = {13},
  number  = {2},
  pages   = {113--125},
  year    = {1992},
  doi     = {10.4173/mic.1992.2.3}
}

@article{Khovanskii1978,
  author        = {Khovanskii, A. G.},
  title         = {Newton polyhedra and the genus of complete intersections},
  journal       = {Functional Analysis and Its Applications},
  volume        = {12},
  number        = {1},
  pages         = {38--46},
  year          = {1978},
  doi           = {10.1007/BF01077562},
}