{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T14:58:44Z","timestamp":1648652324198},"reference-count":36,"publisher":"Walter de Gruyter GmbH","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,4,26]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>The increasing complexity of technical systems leads to increasing challenges regarding the verification of those systems. Especially in the context of safety critical systems, there is a high need for reliable verification results. Currently verification is mainly based on expert knowledge and the use of high performance hardware to investigate a very high amount of test cases. This article proposes an alternative approach using an iterating segmentation and identification algorithm that is appended by interval arithmetic calculations. This combination yields guaranteed results that do not suffer from type II failures, i.\u2009e., that will never verify an erroneous system. This is especially relevant in the context of safety critical systems.<\/jats:p>","DOI":"10.1515\/auto-2018-0095","type":"journal-article","created":{"date-parts":[[2019,3,28]],"date-time":"2019-03-28T09:03:03Z","timestamp":1553763783000},"page":"316-325","source":"Crossref","is-referenced-by-count":0,"title":["Verification of hybrid systems using Kaucher arithmetic"],"prefix":"10.1515","volume":"67","author":[{"given":"Stefan","family":"Schwab","sequence":"first","affiliation":[{"name":"Forschungszentrum Informatik (FZI) , Karlsruhe , Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Soeren","family":"Hohmann","sequence":"additional","affiliation":[{"name":"Institut f\u00fcr Regelungs- und Steuerungssysteme , Karlsruher Institut f\u00fcr Technologie , Karlsruhe , Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"374","published-online":{"date-parts":[[2019,3,28]]},"reference":[{"key":"2021062112454961293_j_auto-2018-0095_ref_001_w2aab3b7b3b1b6b1ab1b4b1Aa","doi-asserted-by":"crossref","unstructured":"G. Alefeld and G. Mayer, \u201cInterval analysis: Theory and applications\u201d, Journal of Computational and Applied Mathematics, vol.\u2009121, pp.\u2009421\u2013464, 2000.10.1016\/S0377-0427(00)00342-3","DOI":"10.1016\/S0377-0427(00)00342-3"},{"key":"2021062112454961293_j_auto-2018-0095_ref_002_w2aab3b7b3b1b6b1ab1b4b2Aa","doi-asserted-by":"crossref","unstructured":"D. Araiza-Illan, K. Eder and A. Richards, \u201cVerification of control systems implemented in simulink with assertion checks and theorem proving: A case study,\u201d in Control Conference (ECC), 2015 European, July 2015, pp.\u20092670\u20132675.","DOI":"10.1109\/ECC.2015.7330941"},{"key":"2021062112454961293_j_auto-2018-0095_ref_003_w2aab3b7b3b1b6b1ab1b4b3Aa","doi-asserted-by":"crossref","unstructured":"A. Bemporad, A. Garulli, S. Paoletti and A. Vicino, \u201cA bounded-error approach to piecewise affine system identification,\u201d IEEE Transactions on Automatic Control, vol.\u200950, no.\u200910, pp.\u20091567\u20131580, 2005.10.1109\/TAC.2005.856667","DOI":"10.1109\/TAC.2005.856667"},{"key":"2021062112454961293_j_auto-2018-0095_ref_004_w2aab3b7b3b1b6b1ab1b4b4Aa","doi-asserted-by":"crossref","unstructured":"M. Broy, B. Jonsson, J.-P. Katoen, M. Leucker and A. Pretschner, Model-based testing of reactive systems: Advanced lectures, ser. Lecture Notes in Computer Science; 3472. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005.","DOI":"10.1007\/b137241"},{"key":"2021062112454961293_j_auto-2018-0095_ref_005_w2aab3b7b3b1b6b1ab1b4b5Aa","doi-asserted-by":"crossref","unstructured":"W. Chang, D. Roy, L. Zhang and S. Chakraborty, \u201cModel-based design of resource-efficient automotive control software,\u201d in 2016 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD), 2016, pp.\u20091\u20138.","DOI":"10.1145\/2966986.2980075"},{"key":"2021062112454961293_j_auto-2018-0095_ref_006_w2aab3b7b3b1b6b1ab1b4b6Aa","unstructured":"A. Denise, M.-C. Gaudel and S.-D. Gouraud, \u201cA generic method for statistical testing,\u201d in Software Reliability Engineering, 2004. ISSRE 2004. 15th International Symposium on, 2004, pp.\u200925\u201334."},{"key":"2021062112454961293_j_auto-2018-0095_ref_007_w2aab3b7b3b1b6b1ab1b4b7Aa","doi-asserted-by":"crossref","unstructured":"G. Diehm, S. Maier, M. Flad and S. Hohmann, \u201cAn identification method for individual driver steering behaviour modelled by switched affine systems,\u201d in Proceedings of the 52nd IEEE Conference on Decision and Control, 2013, pp.\u20093547\u20133553.","DOI":"10.1109\/CDC.2013.6760428"},{"key":"2021062112454961293_j_auto-2018-0095_ref_008_w2aab3b7b3b1b6b1ab1b4b8Aa","doi-asserted-by":"crossref","unstructured":"G. Diehm, S. Maier, M. Flad and S. Hohmann, \u201cOnline identification of individual driver steering behaviour and experimental results,\u201d in Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 2013, pp.\u2009221\u2013227.","DOI":"10.1109\/SMC.2013.44"},{"key":"2021062112454961293_j_auto-2018-0095_ref_009_w2aab3b7b3b1b6b1ab1b4b9Aa","unstructured":"J. Faber, \u201cVerification architectures for real-time systems,\u201d in Proceedings of Formal Methods 2009 Doctoral Symposium, M. Mousavi and E. Sekerinski, Eds., ser. CS-Report, Eindhoven University of Technology, 2009, pp.\u200914\u201319."},{"key":"2021062112454961293_j_auto-2018-0095_ref_010_w2aab3b7b3b1b6b1ab1b4c10Aa","doi-asserted-by":"crossref","unstructured":"H.\u2009D. Foster, \u201cTrends in functional verification: A 2014 industry study,\u201d in 2015 52nd ACM\/EDAC\/IEEE Design Automation Conference (DAC), 2015, pp.\u20091\u20136.","DOI":"10.1145\/2744769.2744921"},{"key":"2021062112454961293_j_auto-2018-0095_ref_011_w2aab3b7b3b1b6b1ab1b4c11Aa","doi-asserted-by":"crossref","unstructured":"I. Gozse, T. Peni, T. Luspay and A. Soumelidis, \u201cOn the correspondence of hyperbolic geometry and system analysis,\u201d Proceedings of the 20th IFAC World Congress, 2017.","DOI":"10.1016\/j.ifacol.2017.08.917"},{"key":"2021062112454961293_j_auto-2018-0095_ref_012_w2aab3b7b3b1b6b1ab1b4c12Aa","unstructured":"C. Heitmeyer, M. Archer, R. Bharadwaj and R. Jeffords, \u201cTools for constructing requirements specifications: The SCR toolset at the age of ten,\u201d 2005."},{"key":"2021062112454961293_j_auto-2018-0095_ref_013_w2aab3b7b3b1b6b1ab1b4c13Aa","doi-asserted-by":"crossref","unstructured":"T. Helmer, L. Wang, K. Kompass and R. Kates, \u201cSafety performance assessment of assisted and automated driving by virtual experiments: Stochastic microscopic traffic simulation as knowledge synthesis,\u201d in: 2015 IEEE 18th International Conference on Intelligent Transportation Systems, 2015, pp.\u20092019\u20132023.","DOI":"10.1109\/ITSC.2015.327"},{"key":"2021062112454961293_j_auto-2018-0095_ref_014_w2aab3b7b3b1b6b1ab1b4c14Aa","doi-asserted-by":"crossref","unstructured":"M. Hlad\u00edk, \u201cAE solutions and AE solvability to general interval linear systems,\u201d ArXiv e-prints, 2014.","DOI":"10.1016\/j.laa.2014.09.030"},{"key":"2021062112454961293_j_auto-2018-0095_ref_015_w2aab3b7b3b1b6b1ab1b4c15Aa","unstructured":"IEC 61508 \u2013 functional safety of electrical\/electronic\/programmable electronic safety-related systems, 2010, Geneva, Switzerland: International Electrotechnical Commission, 2010."},{"key":"2021062112454961293_j_auto-2018-0095_ref_016_w2aab3b7b3b1b6b1ab1b4c16Aa","unstructured":"ISO 26262 \u2013 road vehicles \u2013 functional safety, Geneva, Switzerland, 2011."},{"key":"2021062112454961293_j_auto-2018-0095_ref_017_w2aab3b7b3b1b6b1ab1b4c17Aa","doi-asserted-by":"crossref","unstructured":"E. Kaucher, \u201cInterval analysis in the extended interval space IR,\u201d in Fundamentals of Numerical Computation (Computer-Oriented Numerical Analysis), G. Alefeld and R.\u2009D. Grigorieff, Eds. Vienna: Springer Vienna, 1980, pp.\u200933\u201349.","DOI":"10.1007\/978-3-7091-8577-3_3"},{"key":"2021062112454961293_j_auto-2018-0095_ref_018_w2aab3b7b3b1b6b1ab1b4c18Aa","unstructured":"R.\u2009B. Kearfott, M.\u2009T. Nakao, A. Neumaier, S.\u2009M. Rump, S.\u2009P. Shary and P. van Hentenryck, \u201cStandardized notation in interval analysis,\u201d Proc. XIII Baikal International School-seminar \u201cOptimization methods and their applications\u201d, vol.\u20094, 106\u2013113, 2005."},{"key":"2021062112454961293_j_auto-2018-0095_ref_019_w2aab3b7b3b1b6b1ab1b4c19Aa","doi-asserted-by":"crossref","unstructured":"A. Koenig, K. Witzlsperger, F. Leutwiler and S. Hohmann, \u201cOverview of HAD validation and passive HAD as a concept for validating highly automated cars,\u201d at \u2013 Automatisierungstechnik, 2018.","DOI":"10.1515\/auto-2017-0113"},{"key":"2021062112454961293_j_auto-2018-0095_ref_020_w2aab3b7b3b1b6b1ab1b4c20Aa","doi-asserted-by":"crossref","unstructured":"L. Kupriyanova, \u201cInner estimation of the united solution set of interval linear algebraic system,\u201d Reliable Computing, vol.\u20091, no.\u20091, 15\u201331, 1995.10.1007\/BF02390519","DOI":"10.1007\/BF02390519"},{"key":"2021062112454961293_j_auto-2018-0095_ref_021_w2aab3b7b3b1b6b1ab1b4c21Aa","unstructured":"A.\u2009V. Lakeyev, \u201cOn unboundedness of generalized solution sets for interval linear systems,\u201d Reliable Computing, vol.\u200919, 2014."},{"key":"2021062112454961293_j_auto-2018-0095_ref_022_w2aab3b7b3b1b6b1ab1b4c22Aa","doi-asserted-by":"crossref","unstructured":"S. Otten, J. Bach, C. Wohlfahrt, C. King, J. Lier, H. Schmid, S. Schmerler and E. Sax, \u201cAutomated assessment and evaluation of digital test drives,\u201d in Advanced Microsystems for Automotive Applications 2017, C. Zach\u00e4us, B. M\u00fcller and G. Meyer, Eds. Cham: Springer International Publishing, 2018, pp.\u2009189\u2013199.","DOI":"10.1007\/978-3-319-66972-4_16"},{"key":"2021062112454961293_j_auto-2018-0095_ref_023_w2aab3b7b3b1b6b1ab1b4c23Aa","doi-asserted-by":"crossref","unstructured":"M. Pajic, J. Park, I. Lee, G.\u2009J. Pappas and O. Sokolsky, \u201cAutomatic verification of linear controller software,\u201d in Proceedings of the 12th International Conference on Embedded Software, ser. EMSOFT\u201915, Amsterdam, The Netherlands: IEEE Press, 2015, pp.\u2009217\u2013226.","DOI":"10.1109\/EMSOFT.2015.7318277"},{"key":"2021062112454961293_j_auto-2018-0095_ref_024_w2aab3b7b3b1b6b1ab1b4c24Aa","doi-asserted-by":"crossref","unstructured":"A. Rajan and T. Wahl, Eds., Cesar \u2013 cost-efficient methods and processes for safety-relevant embedded systems, Springer-Verlag Wien, 2013.","DOI":"10.1007\/978-3-7091-1387-5"},{"key":"2021062112454961293_j_auto-2018-0095_ref_025_w2aab3b7b3b1b6b1ab1b4c25Aa","doi-asserted-by":"crossref","unstructured":"S. Ramesh, B. Vogel-Heuser, W. Chang, D. Roy, L. Zhang and S. Chakraborty, \u201cInvited: Specification, verification and design of evolving automotive software,\u201d in 2017 54th ACM\/EDAC\/IEEE Design Automation Conference (DAC), 2017, pp.\u20091\u20136.","DOI":"10.1145\/3061639.3072946"},{"key":"2021062112454961293_j_auto-2018-0095_ref_026_w2aab3b7b3b1b6b1ab1b4c26Aa","doi-asserted-by":"crossref","unstructured":"H. Roehm, J. Oehlerking, M. Woehrle and M. Althoff, \u201cReachset conformance testing of hybrid automata,\u201d in Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, ser. HSCC\u201916, Vienna, Austria: ACM, 2016, pp.\u2009277\u2013286.","DOI":"10.1145\/2883817.2883828"},{"key":"2021062112454961293_j_auto-2018-0095_ref_027_w2aab3b7b3b1b6b1ab1b4c27Aa","doi-asserted-by":"crossref","unstructured":"M.\u2009A. Sainz, J. Armengol, R. Calm, P. Herrero, L. Jorba and J. Vehi, Modal interval analysis \u2013 new tools for numerical information, Springer International Publishing, 2014.","DOI":"10.1007\/978-3-319-01721-1"},{"key":"2021062112454961293_j_auto-2018-0095_ref_028_w2aab3b7b3b1b6b1ab1b4c28Aa","unstructured":"S. Schwab and S. Hohmann, \u201cAutomatisierte Verifikation hybrider Systeme am Beispiel eines Batteriemanagementsystems,\u201d German, in 15. Fachtagung EKA-Entwurf komplexer Automatisierungssysteme, Magdeburg, 02.\u201303.05.2018, ifak \/ Otto-von-Guericke-Universit\u00e4t, Magdeburg, 2018."},{"key":"2021062112454961293_j_auto-2018-0095_ref_029_w2aab3b7b3b1b6b1ab1b4c29Aa","doi-asserted-by":"crossref","unstructured":"S. Schwab, O. Stark and S. Hohmann, \u201cVerified diagnosis of safety critical dynamic systems based on kaucher interval arithmetic,\u201d Proceedings of the 20th IFAC World Congress, 2017.","DOI":"10.1016\/j.ifacol.2017.08.1939"},{"key":"2021062112454961293_j_auto-2018-0095_ref_030_w2aab3b7b3b1b6b1ab1b4c30Aa","doi-asserted-by":"crossref","unstructured":"S. Shary, \u201cAlgebraic approach to the interval linear static identification, tolerance, and control problems, or One more application of Kaucher arithmetic,\u201d Reliable Computing, vol.\u20092, no.\u20091, pp.\u20093\u201333, 1996.10.1007\/BF02388185","DOI":"10.1007\/BF02388185"},{"key":"2021062112454961293_j_auto-2018-0095_ref_031_w2aab3b7b3b1b6b1ab1b4c31Aa","doi-asserted-by":"crossref","unstructured":"S. Shary, \u201cA new technique in systems analysis under interval uncertainty and ambiguity,\u201d Reliable Computing vol.\u20098, pp.\u2009321\u2013418, 2002.10.1023\/A:1020505620702","DOI":"10.1023\/A:1020505620702"},{"key":"2021062112454961293_j_auto-2018-0095_ref_032_w2aab3b7b3b1b6b1ab1b4c32Aa","doi-asserted-by":"crossref","unstructured":"S. Shary, \u201cOn full-rank interval matrices,\u201d Numerical Analysis and Applications, vol.\u20097, no.\u20093, pp.\u2009241\u2013254, 2014.10.1134\/S1995423914030069","DOI":"10.1134\/S1995423914030069"},{"key":"2021062112454961293_j_auto-2018-0095_ref_033_w2aab3b7b3b1b6b1ab1b4c33Aa","unstructured":"P. Thevenod-Fosse, H. Waeselynck and Y. Crouzet, \u201cAn experimental study on software structural testing: deterministic versus random input generation,\u201d in Fault-Tolerant Computing, 1991. FTCS-21. Digest of Papers., Twenty-First International Symposium, 1991, pp.\u2009410\u2013417."},{"key":"2021062112454961293_j_auto-2018-0095_ref_034_w2aab3b7b3b1b6b1ab1b4c34Aa","unstructured":"M. Utting, A. Pretschner and B. Legeard, \u201cA taxonomy of model-based testing,\u201d 2006."},{"key":"2021062112454961293_j_auto-2018-0095_ref_035_w2aab3b7b3b1b6b1ab1b4c35Aa","unstructured":"F. Wolff, Konsistenzbasierte Fehlerdiagnose nichtlinearer Systeme mittels Zustandsmengenbeobachtung, ser. Schriften des Instituts f\u00fcr Regelungs- und Steuerungssysteme, Karlsruher Institut f\u00fcr Technologie; 09, KIT Scientific Publishing, 2010, Zugl.: Karlsruhe, KIT, Diss., 2010."},{"key":"2021062112454961293_j_auto-2018-0095_ref_036_w2aab3b7b3b1b6b1ab1b4c36Aa","doi-asserted-by":"crossref","unstructured":"J. Zander-Nowicka, \u201cModel-based testing of real-time embedded systems in the automotive domain,\u201d 2009.","DOI":"10.4018\/978-1-60566-750-8.ch015"}],"container-title":["at - Automatisierungstechnik"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.degruyter.com\/view\/j\/auto.2019.67.issue-4\/auto-2018-0095\/auto-2018-0095.xml","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/auto-2018-0095\/xml","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/auto-2018-0095\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,21]],"date-time":"2021-06-21T18:52:36Z","timestamp":1624301556000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/auto-2018-0095\/html"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,3,28]]},"references-count":36,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2019,3,28]]},"published-print":{"date-parts":[[2019,4,26]]}},"alternative-id":["10.1515\/auto-2018-0095"],"URL":"https:\/\/doi.org\/10.1515\/auto-2018-0095","relation":{},"ISSN":["2196-677X","0178-2312"],"issn-type":[{"value":"2196-677X","type":"electronic"},{"value":"0178-2312","type":"print"}],"subject":[],"published":{"date-parts":[[2019,3,28]]}}}