{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T09:18:21Z","timestamp":1725873501693},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319491028"},{"type":"electronic","value":"9783319491035"}],"license":[{"start":{"date-parts":[[2016,12,9]],"date-time":"2016-12-09T00:00:00Z","timestamp":1481241600000},"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-49103-5_5","type":"book-chapter","created":{"date-parts":[[2016,12,8]],"date-time":"2016-12-08T07:19:14Z","timestamp":1481181554000},"page":"57-69","source":"Crossref","is-referenced-by-count":1,"title":["Validation of Industrial Cyber-Physical Systems: An Application to HVAC Systems"],"prefix":"10.1007","author":[{"given":"Thao","family":"Dang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alie El-Din","family":"Mady","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Menouer","family":"Boubekeur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rajesh","family":"Kumar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"Moulin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,12,9]]},"reference":[{"key":"5_CR1","first-page":"43","volume":"109","author":"A Agrawal","year":"2004","unstructured":"Agrawal, A., Simon, G., Karsai, G.: Semantic translation of Simulink\/Stateflow models to hybrid automata using graph transformations. ENTCS 109, 43\u201356 (2004)","journal-title":"ENTCS"},{"key":"5_CR2","unstructured":"Arrieta, A., Sagardui, G., Etxeberria, L.: A model-based testing methodology for the systematic validation of highly configurable cyber-physical systems. In: VALID 2014, vol. 66\u201372. ARIA XPS Press (2014)"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Bouissou, O., Chapoutot, A.: An operational semantics for Simulink\u2019s simulation engine. In: SIGPLAN\/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (2012)","DOI":"10.1145\/2248418.2248437"},{"key":"5_CR4","volume-title":"Irregularities of distribution","author":"J Beck","year":"1997","unstructured":"Beck, J., Chen, W.W.L.: Irregularities of distribution. Cambridge University Press, Acta Arithmetica (1997)"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Dang, T.: Model-based testing of hybrid systems. In: Model-Based Testing for Embedded Systems, CRC Press (2011)","DOI":"10.1201\/b11321-15"},{"issue":"2","key":"5_CR6","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1007\/s10703-009-0066-0","volume":"34","author":"T Dang","year":"2009","unstructured":"Dang, T., Nahhal, T.: Coverage-guided test generation for continuous and hybrid systems. Formal Methods Syst. Des. 34(2), 183\u2013213 (2009)","journal-title":"Formal Methods Syst. Des."},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Donz\u00e9, A.: Breach, a toolbox for verification and parameter synthesis of hybrid systems. In: Proceedings of International Conference on Computer Aided Verification, CAV\u201910, pp. 167\u2013170. Springer (2010)","DOI":"10.1007\/978-3-642-14295-6_17"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Donz\u00e9, A., Maler, A.: Robust satisfaction of temporal logic over real-valued signals. In: Formal Modeling and Analysis of Timed Systems\u20148th International Conference, FORMATS 2010, LNCS 6246, pp. 92\u2013106. Springer (2010)","DOI":"10.1007\/978-3-642-15297-9_9"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Dreossi, T., Dang, T., Donz\u00e9, A., Kapinski, J., Jin, X., Deshmukh, J.V.: Efficient guiding strategies for testing of temporal properties of hybrid systems. In: NASA Formal Methods NFM 2015, LNCS 9058, pp. 127\u2013142. Springer (2015)","DOI":"10.1007\/978-3-319-17524-9_10"},{"key":"5_CR10","unstructured":"Hoxha, B., Bach, H., Abbas, H., Dokhanchi, A., Kobayashi, Y., Fainekos, G.: Towards formal specification visualization for testing and monitoring of cyber-physical systems. In: International Workshop on Design and Implementation of Formal Tools and Systems (2014)"},{"key":"5_CR11","unstructured":"LaValle, S., Kuffner, J.: Rapidly-exploring random trees: Progress and prospects. In: Workshop on the Algorithmic Foundations of Robotics (2000)"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Lee, E.A., Zheng, H.: Operational semantics of hybrid systems. In: Hybrid Systems: Computation and Control (HSCC), LNCS, vol. 3414, pp. 25\u201353. Springer (2005)","DOI":"10.1007\/978-3-540-31954-2_2"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Mady, A.E.D., Provan, G.M., Boubekeur, M.: Towards integrated hybrid modelling and simulation platform for building automation systems; First models for a simple HVAC system. In: Information Technology & Telecommunication Conference (IT&T), pp. 191\u2013199 (2009)","DOI":"10.1109\/IACSIT-SC.2009.108"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Mady, A.E.D., Provan, G.M., Ryan, C., Brown, K.N.: Stochastic model predictive controller for the integration of building use and temperature regulation. In: Conference of Association for the Advancement of Artificial Intelligence (AAAI), pp. 1371\u20131376 (2011)","DOI":"10.1609\/aaai.v25i1.7802"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Satpathy, M., Yeolekar, A., Ramesh, S.: Randomized directed testing (redirect) for Simulink\/Stateflow models. In: Proceedings of the 8th ACM International Conference on Embedded Software, EMSOFT \u201908, pp. 217\u2013226. ACM (2008)","DOI":"10.1145\/1450058.1450088"},{"key":"5_CR16","unstructured":"Scenarios for a clean energy future: Interlaboratory working group on energy-effcient and clean-energy technologies (2000). NREL\/TP-620-29379; ORNL\/CON-476; LBNL-44029"},{"issue":"4","key":"5_CR17","doi-asserted-by":"crossref","first-page":"779","DOI":"10.1145\/1113830.1113834","volume":"4","author":"S Tripakis","year":"2005","unstructured":"Tripakis, S., Sofronis, C., Caspi, P., Curic, A.: Translating discrete-time Simulink to Lustre. ACM Trans. Embedded Comput. Syst. 4(4), 779\u2013818 (2005)","journal-title":"ACM Trans. Embedded Comput. Syst."}],"container-title":["Complex Systems Design & Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-49103-5_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,21]],"date-time":"2023-08-21T06:32:19Z","timestamp":1692599539000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-49103-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12,9]]},"ISBN":["9783319491028","9783319491035"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-49103-5_5","relation":{},"subject":[],"published":{"date-parts":[[2016,12,9]]}}}