{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T05:13:32Z","timestamp":1774415612221,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642015908","type":"print"},{"value":"9783642015915","type":"electronic"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-01591-5_11","type":"book-chapter","created":{"date-parts":[[2009,4,27]],"date-time":"2009-04-27T08:41:57Z","timestamp":1240821717000},"page":"175-188","source":"Crossref","is-referenced-by-count":4,"title":["Towards the Development of an Interval Arithmetic Environment for Validated Computer-Aided Design and Verification of Systems in Control Engineering"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Rauh","sequence":"first","affiliation":[]},{"given":"Johanna","family":"Minisini","sequence":"additional","affiliation":[]},{"given":"Eberhard P.","family":"Hofer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"publisher","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.: Robust Control: The Parameter Space Approach, 2nd edn. Springer, London (2002)","edition":"2"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Sienel, W., B\u00fcnte, T., Ackermann, J.: PARADISE \u2013 PArametric Robust Analysis and Design Interactive Software Environment: A Matlab-Based Robust Control Toolbox. In: Proc.\u00a0of the 1996 IEEE Intl.\u00a0Symposium on Computer-Aided Control System Design, Dearborn, pp. 380\u2013385 (1996)","DOI":"10.1109\/CACSD.1996.555322"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Odenthal, D., Blue, P.: Mapping of Frequency Response Magnitude Specifications into Parameter Space. In: Proc.\u00a0of the 3rd IFAC Symposium on Robust Control Design, Prague, Czech Republic (2000)","DOI":"10.1016\/S1474-6670(17)36283-3"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"B\u00fcnte, T.: Mapping of Nyquist\/ Popov Theta-Stability Margins into Parameter Space. In: Proc.\u00a0of the 3rd IFAC Symposium on Robust Control Design, Prague, Czech Republic (2000)","DOI":"10.1016\/S1474-6670(17)36281-X"},{"issue":"4","key":"11_CR5","doi-asserted-by":"publisher","first-page":"886","DOI":"10.1109\/9.286277","volume":"39","author":"\u00c9. Walter","year":"1994","unstructured":"Walter, \u00c9., Jaulin, L.: Guaranteed Characterization of Stability Domains Via Set Inversion. IEEE Transactions on Automatic Control\u00a039(4), 886\u2013889 (1994)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"11_CR6","doi-asserted-by":"publisher","first-page":"642","DOI":"10.1098\/rspa.1929.0143","volume":"124","author":"R. Frazer","year":"1929","unstructured":"Frazer, R., Duncan, W.: On the Criteria for the Stability of Small Motions. Proc.\u00a0of the Royal Society A\u00a0124, 642\u2013654 (1929)","journal-title":"Proc.\u00a0of the Royal Society A"},{"key":"11_CR7","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-94-017-1247-7_7","volume-title":"Developments in Reliable Computing","author":"S.M. Rump","year":"1999","unstructured":"Rump, S.M.: IntLab \u2014 INTerval LABoratory. In: Csendes, T. (ed.) Developments in Reliable Computing, pp. 77\u2013104. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"11_CR8","unstructured":"Rump, S.M.: IntLab, Version 5.4 (2007), http:\/\/www.ti3.tu-harburg.de\/~rump\/intlab\/"},{"key":"11_CR9","volume-title":"Matrix Computations","author":"G.H. Golub","year":"1996","unstructured":"Golub, G.H., van Loan, C.F.: Matrix Computations, 3rd edn. Johns Hopkins University Press, Baltimore (1996)","edition":"3"},{"key":"11_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-6711-3","volume-title":"Uncertain Models and Robust Control","author":"A. Weinmann","year":"1991","unstructured":"Weinmann, A.: Uncertain Models and Robust Control. Springer, Wien (1991)"},{"key":"11_CR11","volume-title":"CD-Proc.\u00a0of the 12th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics SCAN 2006","author":"N.S. Nedialkov","year":"2007","unstructured":"Nedialkov, N.S.: Interval Tools for ODEs and DAEs. In: CD-Proc.\u00a0of the 12th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics SCAN 2006, Duisburg, Germany. IEEE Computer Society, Los Alamitos (2007)"},{"key":"11_CR12","volume-title":"Proc.\u00a0of the 47th Workshop on Variational Analysis and Aerospace Engineering","author":"A. Rauh","year":"2007","unstructured":"Rauh, A., Hofer, E.P.: Interval Methods for Optimal Control. In: Buttazzo, G., Frediani, A. (eds.) Proc.\u00a0of the 47th Workshop on Variational Analysis and Aerospace Engineering, Erice, Italy. Springer, Heidelberg (2007) (in print)"},{"key":"11_CR13","volume-title":"CD-Proc.\u00a0of the 12th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics SCAN 2006, Duisburg, Germany","author":"A. Rauh","year":"2007","unstructured":"Rauh, A., Minisini, J., Hofer, E.P.: Interval Techniques for Design of Optimal and Robust Control Strategies. In: CD-Proc.\u00a0of the 12th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics SCAN 2006, Duisburg, Germany. IEEE Computer Society, Los Alamitos (2007)"},{"key":"11_CR14","unstructured":"Bendsten, C., Stauning, O.: FADBAD++, Version\u00a02.1 (2007), http:\/\/www.fadbad.com"},{"key":"11_CR15","unstructured":"Bendsten, C., Stauning, O.: FADBAD, a Flexible C++ Package for Automatic Differentiation Using the Forward and Backward Methods. Technical Report 1996-x5-94, Technical University of Denmark, Lyngby (1996)"},{"key":"11_CR16","unstructured":"Bendsten, C., Stauning, O.: TADIFF, a Flexible C++ Package for Automatic Differentiation Using Taylor Series. Technical Report 1997-x5-94, Technical University of Denmark, Lyngby (1997)"},{"key":"11_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-85521-7_1","volume-title":"Proc.\u00a0of Dagstuhl Seminar 06021: Reliable Implementation of Real Number Algorithms: Theory and Practice","author":"E. Auer","year":"2008","unstructured":"Auer, E., Rauh, A., Hofer, E.P., Luther, W.: Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP. In: Hertling, P., Hoffmann, C.M., Luther, W., Revol, N. (eds.) Real Number Algorithms. LNCS, vol.\u00a05045, pp. 1\u201327. Springer, Heidelberg (2008)"},{"key":"11_CR18","volume-title":"CD-Proc.\u00a0of the 12th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics SCAN 2006, Duisburg, Germany","author":"A. Rauh","year":"2007","unstructured":"Rauh, A., Auer, E., Hofer, E.P.: ValEncIA-IVP: A Comparison with Other Initial Value Problem Solvers. In: CD-Proc.\u00a0of the 12th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics SCAN 2006, Duisburg, Germany. IEEE Computer Society, Los Alamitos (2007)"},{"key":"11_CR19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04806-1","volume-title":"Wastewater Treatment","author":"M. Henze","year":"2002","unstructured":"Henze, M., Harremo\u00ebs, P., Arvin, E., la Cour Jansen, J.: Wastewater Treatment, 3rd edn. Springer, Berlin (2002)","edition":"3"},{"issue":"2","key":"11_CR20","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/j.cam.2005.07.029","volume":"199","author":"A. Rauh","year":"2007","unstructured":"Rauh, A., Kletting, M., Aschemann, H., Hofer, E.P.: Reduction of Overestimation in Interval Arithmetic Simulation of Biological Wastewater Treatment Processes. Journal of Computational and Applied Mathematics\u00a0199(2), 207\u2013212 (2007)","journal-title":"Journal of Computational and Applied Mathematics"},{"key":"11_CR21","unstructured":"Office for Official Publications of the European Communities: Council Directive of 21 May 1991 Concerning Urban Waste Water Treatment (91\/271\/EEC) (2003), http:\/\/ec.europa.eu\/environment\/water\/water-urbanwaste\/directiv.html"},{"key":"11_CR22","doi-asserted-by":"publisher","first-page":"1327","DOI":"10.1080\/00207179508921959","volume":"61","author":"M. Fliess","year":"1995","unstructured":"Fliess, M., L\u00e9vine, J., Martin, P., Rouchon, P.: Flatness and Defect of Nonlinear Systems: Introductory Theory and Examples. International Journal of Control\u00a061, 1327\u20131361 (1995)","journal-title":"International Journal of Control"},{"key":"11_CR23","volume-title":"Nonlinear Control Systems","author":"H.J. Marquez","year":"2003","unstructured":"Marquez, H.J.: Nonlinear Control Systems. John Wiley & Sons, Inc., New Jersey (2003)"},{"key":"11_CR24","volume-title":"Nonlinear Systems","author":"H.K. Khalil","year":"2002","unstructured":"Khalil, H.K.: Nonlinear Systems, 3rd edn. Prentice-Hall, Upper Saddle River (2002)","edition":"3"}],"container-title":["Lecture Notes in Computer Science","Numerical Validation in Current Hardware Architectures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01591-5_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T05:16:38Z","timestamp":1739078198000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01591-5_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642015908","9783642015915"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01591-5_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}