{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T00:19:13Z","timestamp":1649117953092},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"2-4","license":[{"start":{"date-parts":[[2011,11,20]],"date-time":"2011-11-20T00:00:00Z","timestamp":1321747200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computing"],"published-print":{"date-parts":[[2012,3]]},"DOI":"10.1007\/s00607-011-0172-x","type":"journal-article","created":{"date-parts":[[2011,11,19]],"date-time":"2011-11-19T05:46:28Z","timestamp":1321681588000},"page":"345-356","source":"Crossref","is-referenced-by-count":4,"title":["Verified stability analysis of continuous-time control systems with bounded parameter uncertainties and stochastic disturbances"],"prefix":"10.1007","volume":"94","author":[{"given":"Andreas","family":"Rauh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ekaterina","family":"Auer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"D\u00f6tschel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Harald","family":"Aschemann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,11,20]]},"reference":[{"key":"172_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0207-6","volume-title":"Robust control: The parameter space approach","author":"J Ackermann","year":"2002","unstructured":"Ackermann J, Blue P, B\u00fcnte T, G\u00fcvenc L, Kaesbauer D, Kordt M, Muhler M, Odenthal D (2002) Robust control: The parameter space approach, 2nd edn. Springer, London","edition":"2"},{"key":"172_CR2","unstructured":"Bendsten C, Stauning O (2007) FADBAD++, Version 2.1. http:\/\/www.fadbad.com"},{"key":"172_CR3","unstructured":"Delanoue N (2006) Algorithmes num\u00e9riques pour l\u2019analyse topologique \u2014Analyse par intervalles et th\u00e9orie des graphes. Ph.D. thesis, \u00c9cole Doctorale d\u2019Angers (in French)"},{"key":"172_CR4","doi-asserted-by":"crossref","unstructured":"Hyodo N, Hong M, Yanami H, Anai H, Hara S (2006) Development of a MATLAB toolbox for parametric robust control\u2014New algorithms and functions. In: Proceedings of SICE annual conference. Busan, Korea, pp 2856\u20132861","DOI":"10.1109\/SICE.2006.314855"},{"key":"172_CR5","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1007\/BF02307379","volume":"53","author":"O Kn\u00fcppel","year":"1994","unstructured":"Kn\u00fcppel O (1994) Profil\/BIAS\u2014A fast interval library. Computing 53: 277\u2013287","journal-title":"Computing"},{"key":"172_CR6","first-page":"189","volume":"4","author":"R. Krawczyk","year":"1969","unstructured":"Krawczyk R. (1969) Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken. Computing 4: 189\u2013201 (in German)","journal-title":"Computing"},{"key":"172_CR7","volume-title":"Stochastic stability and control","author":"H Kushner","year":"1967","unstructured":"Kushner H (1967) Stochastic stability and control. Academic Press, New York"},{"issue":"4","key":"172_CR8","doi-asserted-by":"crossref","first-page":"816","DOI":"10.1109\/TAC.2008.2009619","volume":"54","author":"QC Pham","year":"2009","unstructured":"Pham QC, Tabareau N, Slotine JJ (2009) A contraction theory approach to stochastic incremental stability. IEEE Trans Autom Control 54(4): 816\u2013820","journal-title":"IEEE Trans Autom Control"},{"key":"172_CR9","unstructured":"Rauh A, Minisini J, Hofer EP (2008) Towards the development of an interval arithmetic environment for validated computer-aided design and verification of systems in control engineering. In: Proceedings of Dagstuhl Seminar 08021: Numerical validation in current hardware architectures. Lecture Notes in Computer Science, vol 5492. Springer, Germany, pp 175\u2013188"},{"issue":"3","key":"172_CR10","first-page":"425","volume":"19","author":"A Rauh","year":"2009","unstructured":"Rauh A, Minisini J, Hofer EP (2009) Verification techniques for sensitivity analysis and design of controllers for nonlinear dynamic systems with uncertainties. Special issue of the International Journal of Applied Mathematics and Computer Science AMCS. Verified Methods: Applications in Medicine and Engineering 19(3): 425\u2013439","journal-title":"Verified Methods: Applications in Medicine and Engineering"},{"issue":"1","key":"172_CR11","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1137\/S0895479891219216","volume":"15","author":"J Rohn","year":"1994","unstructured":"Rohn J (1994) Positive definiteness and stability of interval matrices. SIAM J Matrix Anal Appl 15(1): 175\u2013184","journal-title":"SIAM J Matrix Anal Appl"},{"issue":"4","key":"172_CR12","doi-asserted-by":"crossref","first-page":"886","DOI":"10.1109\/9.286277","volume":"39","author":"\u00c9 Walter","year":"1994","unstructured":"Walter \u00c9, Jaulin L (1994) Guaranteed characterization of stability domains via set inversion. IEEE Trans Autom Control 39(4): 886\u2013889","journal-title":"IEEE Trans Autom Control"},{"key":"172_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-6711-3","volume-title":"Uncertain models and robust control","author":"A Weinmann","year":"1991","unstructured":"Weinmann A (1991) Uncertain models and robust control. Springer, Wien"}],"container-title":["Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-011-0172-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00607-011-0172-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-011-0172-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,19]],"date-time":"2019-06-19T20:32:56Z","timestamp":1560976376000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00607-011-0172-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,11,20]]},"references-count":13,"journal-issue":{"issue":"2-4","published-print":{"date-parts":[[2012,3]]}},"alternative-id":["172"],"URL":"https:\/\/doi.org\/10.1007\/s00607-011-0172-x","relation":{},"ISSN":["0010-485X","1436-5057"],"issn-type":[{"value":"0010-485X","type":"print"},{"value":"1436-5057","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,11,20]]}}}