{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T18:29:14Z","timestamp":1726424954791},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319517377"},{"type":"electronic","value":"9783319517384"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-51738-4_7","type":"book-chapter","created":{"date-parts":[[2017,1,12]],"date-time":"2017-01-12T07:51:32Z","timestamp":1484207492000},"page":"87-100","source":"Crossref","is-referenced-by-count":2,"title":["Automated Verification of Switched Systems Using Hybrid Identification"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Schwab","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernd","family":"Holzm\u00fcller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S\u00f6ren","family":"Hohmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,1,13]]},"reference":[{"key":"7_CR1","unstructured":"Transregional collaborative research center \u201cautomatic verification and analysis of complex systems (avacs)\u201d. http:\/\/www.avacs.org"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Abel, A., Reineke, J.: Memin: sat-based exact minimization of incompletely specified mealy machines. In: Proceedings of the IEEE\/ACM International Conference on Computer-Aided Design, ICCAD 2015, Austin, TX, USA, 2\u20136 November 2015, pp. 94\u2013101 (2015)","DOI":"10.1109\/ICCAD.2015.7372555"},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/3-540-45873-5_6","volume-title":"Hybrid Systems: Computation and Control","author":"R Alur","year":"2002","unstructured":"Alur, R., Dang, T., Ivan\u010di\u0107, F.: Reachability analysis of hybrid systems via predicate abstraction. In: Tomlin, C.J., Greenstreet, M.R. (eds.) HSCC 2002. LNCS, vol. 2289, pp. 35\u201348. Springer, Heidelberg (2002). doi: 10.1007\/3-540-45873-5_6"},{"issue":"1","key":"7_CR4","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1145\/1132357.1132363","volume":"5","author":"R Alur","year":"2006","unstructured":"Alur, R., Dang, T., Ivan\u010di\u0107, F.: Predicate abstraction for reachability analysis of hybrid systems. ACM Trans. Embed. Comput. Syst. 5(1), 152\u2013199 (2006)","journal-title":"ACM Trans. Embed. Comput. Syst."},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Anta, A., Majumdar, R., Saha, I., Tabuada, P.: Automatic verification of control system implementations. In: Proceedings of the Tenth ACM International Conference on Embedded Software, pp. 9\u201318 (2010)","DOI":"10.1145\/1879021.1879024"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Araiza-Illan, D., Eder, K., Richards, A.: Verification of control systems implemented in simulink with assertion checks and theorem proving: a case study. In: 2015 European Control Conference (ECC), pp. 2670\u20132675, July 2015","DOI":"10.1109\/ECC.2015.7330941"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Badban, B., Fr\u00e4nzle, M., Peleska, J., Teige, T.: Test automation for hybrid systems. In: Proceedings of the 3rd International Workshop on Software Quality Assurance, SOQUA 2006, pp. 14\u201321. ACM, New York (2006)","DOI":"10.1145\/1188895.1188902"},{"issue":"7","key":"7_CR8","doi-asserted-by":"crossref","first-page":"888","DOI":"10.1109\/5.871300","volume":"88","author":"A Balluchi","year":"2000","unstructured":"Balluchi, A., Benvenuti, L., di Benedetto, M.D., Pinello, C., Sangiovanni-Vincentelli, A.L.: Automotive engine control and hybrid systems: challenges and opportunities. Proc. IEEE 88(7), 888\u2013912 (2000)","journal-title":"Proc. IEEE"},{"key":"7_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1007\/978-3-540-24743-2_10","volume-title":"Hybrid Systems: Computation and Control","author":"A Bhatia","year":"2004","unstructured":"Bhatia, A., Frazzoli, E.: Incremental search methods for reachability analysis of continuous and hybrid systems. In: Alur, R., Pappas, G. (eds.) HSCC 2004. LNCS, vol. 2993, pp. 142\u2013156. Springer, Berlin Heidelberg (2004)"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"Model-Based Testing of Reactive Systems: Advanced Lectures","year":"2005","unstructured":"Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A. (eds.): Model-Based Testing of Reactive Systems: Advanced Lectures. LNCS, vol. 3472. Springer, Heidelberg (2005)"},{"issue":"1","key":"7_CR11","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1109\/TCST.2013.2239296","volume":"22","author":"W Chen","year":"2014","unstructured":"Chen, W., Chen, W.-T., Saif, M., Li, M.-F., Wu, H.: Simultaneous fault isolation and estimation of lithium-ion batteries via synthesized design of luenberger and learning observers. IEEE Trans. Control Syst. Technol. 22(1), 290\u2013298 (2014)","journal-title":"IEEE Trans. Control Syst. Technol."},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Dang, T.: Model-based testing of hybrid systems. In: Model-Based Testing for Embedded Systems, chap. 14, pp. 383\u2013424","DOI":"10.1201\/b11321-15"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Denise, A., Gaudel, M.-C., Gouraud, S.-D.: A generic method for statistical testing. In: 15th International Symposium on Software Reliability Engineering, ISSRE 2004, pp. 25\u201334 (2004)","DOI":"10.1109\/ISSRE.2004.2"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Diehm, G., Maier, S., Flad, M., Hohmann, S.: An identification method for individual driver steering behaviour modelled by switched affine systems. In: Proceedings of the 52nd IEEE Conference on Decision and Control, pp. 3547\u20133553 (2013)","DOI":"10.1109\/CDC.2013.6760428"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Diehm, G., Maier, S., Flad, M., Hohmann, S.: Online identification of individual driver steering behaviour and experimental results. In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, pp. 221\u2013227 (2013)","DOI":"10.1109\/SMC.2013.44"},{"key":"7_CR16","unstructured":"F\u00f6llinger, O., Konigorski, U.: Regelungstechnik: Einf\u00fchrung die Methoden und ihre Anwendung, 11, v\u00f6llig neu bearb. aufl. edn. VDE-Verl., Berlin (2013)"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Frank, P.M.: Diagnoseverfahren in der Automatisierungstechnik. at - Automatisierungstechnik, 47\u201364 (1994)","DOI":"10.1524\/auto.1994.42.112.47"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Holling, D., Pretschner, A., Gemmar, M.: 8cage: lightweight fault-based test generation for simulink. In: Proceedings of the 29th ACM\/IEEE International Conference on Automated Software Engineering, ASE 2014, pages 859\u2013862. ACM, New York (2014)","DOI":"10.1145\/2642937.2648622"},{"key":"7_CR19","unstructured":"Kaner, C.: An introduction to scenario testing (2003)"},{"key":"7_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-642-37057-1_13","volume-title":"Fundamental Approaches to Software Engineering","author":"L Lin","year":"2013","unstructured":"Lin, L., Poore, J.H., Eschbach, R., Hierons, R.M., Robinson-Mallett, C.: Augmenting sequence enumeration with string-rewriting for requirements analysis and behavioral specification. In: Cortellessa, V., Varr\u00f3, D. (eds.) FASE 2013. LNCS, vol. 7793, pp. 179\u2013193. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-37057-1_13"},{"key":"7_CR21","volume-title":"Model Validation via System Identification and Hypothesis Test","author":"D Liu","year":"2012","unstructured":"Liu, D., Guo, X., Tang, G., Huang, Z.: Model Validation via System Identification and Hypothesis Test. Springer, Heidelberg (2012)"},{"key":"7_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-540-30206-3_12","volume-title":"Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems","author":"O Maler","year":"2004","unstructured":"Maler, O., Nickovic, D.: Monitoring temporal properties of continuous signals. In: Lakhnech, Y., Yovine, S. (eds.) FORMATS\/FTRTFT-2004. LNCS, vol. 3253, pp. 152\u2013166. Springer, Heidelberg (2004). doi: 10.1007\/978-3-540-30206-3_12"},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"Matinnejad, R., Nejati, S., Briand, L., Bruckmann, T., Poull, C.: Proceedings of the 5th International Symposium on Search based software engineering, SSBSE 2013, St. Petersburg, Russia, 24\u201326 August 2013, pp. 141\u2013157 (2013)","DOI":"10.1007\/978-3-642-39742-4_12"},{"key":"7_CR24","doi-asserted-by":"crossref","first-page":"705","DOI":"10.1016\/j.infsof.2014.05.007","volume":"57","author":"R Matinnejad","year":"2015","unstructured":"Matinnejad, R., Nejati, S., Briand, L., Bruckmann, T., Poull, C.: Search-based automated testing of continuous controllers: framework, tool support, and case studies. Inf. Softw. Technol. 57, 705\u2013722 (2015)","journal-title":"Inf. Softw. Technol."},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"Matinnejad, R., Nejati, S., Briand, L.C., Bruckmann, T.: Automated test suite generation for time-continuous simulink models, pp. 595\u2013606 (2016)","DOI":"10.1145\/2884781.2884797"},{"key":"7_CR26","doi-asserted-by":"crossref","unstructured":"Pajic, M., Park, J., Lee, I., Pappas, G.J., Sokolsky, O.: Automatic verification of linear controller software. In: Proceedings of the 12th International Conference on Embedded Software, EMSOFT 2015, pp. 217\u2013226. IEEE Press, Piscataway (2015)","DOI":"10.1109\/EMSOFT.2015.7318277"},{"key":"7_CR27","doi-asserted-by":"crossref","unstructured":"Schneider, J.: Tracking down root causes of defects in simulink models. In: Proceedings of the 29th ACM\/IEEE International Conference on Automated Software Engineering, ASE 2014, pp. 599\u2013604. ACM, New York (2014)","DOI":"10.1145\/2642937.2642943"},{"key":"7_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1007\/978-3-319-25141-7_2","volume-title":"Cyber Physical Systems. Design, Modeling, and Evaluation","author":"S Schupp","year":"2015","unstructured":"Schupp, S., \u00c1brah\u00e1m, E., Chen, X., Makhlouf, I., Frehse, G., Sankaranarayanan, S., Kowalewski, S.: Current challenges in the verification of hybrid systems. In: Berger, C., Mousavi, M.R. (eds.) CyPhy 2015. LNCS, vol. 9361, pp. 8\u201324. Springer, Heidelberg (2015). doi: 10.1007\/978-3-319-25141-7_2"},{"key":"7_CR29","unstructured":"Simon, S.: Objektorientierte Methoden zum automatisierten Entwurf von modell-basierten Diagnosesystemen. PhD thesis, Berlin, 2015. Zugl.: Kaiserslautern, Techn. Univ., Diss. (2015)"},{"key":"7_CR30","unstructured":"Utting, M., Pretschner, A., Legeard, B.: A taxonomy of model-based testing (2006)"},{"issue":"12","key":"7_CR31","doi-asserted-by":"crossref","first-page":"2834","DOI":"10.1109\/TAC.2010.2072530","volume":"55","author":"B Yordanov","year":"2010","unstructured":"Yordanov, B., Belta, C.: Formal analysis of discrete-time piecewise affine systems. IEEE Trans. Autom. Control 55(12), 2834\u20132840 (2010)","journal-title":"IEEE Trans. Autom. Control"},{"key":"7_CR32","doi-asserted-by":"crossref","unstructured":"Zander-Nowicka, J.: Model-based testing of real-time embedded systems in the automotive domain (2009)","DOI":"10.4018\/978-1-60566-750-8.ch015"},{"issue":"6","key":"7_CR33","doi-asserted-by":"crossref","first-page":"1225","DOI":"10.1109\/TSMCB.2005.850178","volume":"35","author":"F Zhao","year":"2005","unstructured":"Zhao, F., Koutsoukos, X., Haussecker, H., Reich, J., Cheung, P.: Monitoring and fault diagnosis of hybrid systems. IEEE Trans. Syst. Man Cybern. Part B (Cybern.) 35(6), 1225\u20131240 (2005)","journal-title":"IEEE Trans. Syst. Man Cybern. Part B (Cybern.)"}],"container-title":["Lecture Notes in Computer Science","Cyber Physical Systems. Design, Modeling, and Evaluation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-51738-4_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,17]],"date-time":"2019-09-17T08:46:42Z","timestamp":1568710002000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-51738-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319517377","9783319517384"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-51738-4_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}