{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T11:32:23Z","timestamp":1744198343713,"version":"3.40.3"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319471655"},{"type":"electronic","value":"9783319471662"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-47166-2_9","type":"book-chapter","created":{"date-parts":[[2016,10,4]],"date-time":"2016-10-04T18:07:34Z","timestamp":1475604454000},"page":"134-150","source":"Crossref","is-referenced-by-count":5,"title":["Towards Adaptive Scheduling of Maintenance for Cyber-Physical Systems"],"prefix":"10.1007","author":[{"given":"Alexis","family":"Linard","sequence":"first","affiliation":[]},{"given":"Marcos L. P.","family":"Bueno","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,10,5]]},"reference":[{"issue":"2","key":"9_CR1","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1016\/j.tcs.2005.11.018","volume":"354","author":"Y Abdedda\u00efm","year":"2006","unstructured":"Abdedda\u00efm, Y., Asarin, E., Maler, O.: Scheduling with timed automata. Theor. Comput. Sci. 354(2), 272\u2013300 (2006)","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"9_CR2","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183\u2013235 (1994)","journal-title":"Theor. Comput. Sci."},{"issue":"4","key":"9_CR3","doi-asserted-by":"crossref","first-page":"695","DOI":"10.1007\/s10845-011-0616-3","volume":"24","author":"A Arab","year":"2013","unstructured":"Arab, A., Ismail, N., Lee, L.S.: Maintenance scheduling incorporating dynamics of production system and real-time information from workstations. J. Intell. Manuf. 24(4), 695\u2013705 (2013)","journal-title":"J. Intell. Manuf."},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1007\/BFb0020949","volume-title":"Hybrid Systems III: Verification and Control","author":"J Bengtsson","year":"1996","unstructured":"Bengtsson, J., Larsen, K., Larsson, F., Pettersson, P., Yi, W.: UPPAAL - a tool suite for automatic verification of real-time systems. In: Alur, R., Henzinger, T.A., Sontag, E.D. (eds.) Hybrid Systems III: Verification and Control. LNCS, vol. 1066, pp. 232\u2013243. Springer, Heidelberg (1996)"},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","first-page":"87","volume-title":"Lectures on Concurrency and Petri Nets","author":"JE Bengtsson","year":"2004","unstructured":"Bengtsson, J.E., Yi, W.: Timed automata: semantics, algorithms and tools. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol. 3098, pp. 87\u2013124. Springer, Heidelberg (2004)"},{"key":"9_CR6","first-page":"1601","volume":"11","author":"A Bifet","year":"2010","unstructured":"Bifet, A., Holmes, G., Kirkby, R., Pfahringer, B.: MOA: massive online analysis. J. Mach. Learn. Res. 11, 1601\u20131604 (2010)","journal-title":"J. Mach. Learn. Res."},{"issue":"5","key":"9_CR7","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1016\/j.ipl.2006.01.012","volume":"98","author":"P Bouyer","year":"2006","unstructured":"Bouyer, P., Brihaye, T., Markey, N.: Improved undecidability results on weighted timed automata. Inf. Process. Lett. 98(5), 188\u2013194 (2006)","journal-title":"Inf. Process. Lett."},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Bulychev, P., David, A., Larsen, K.G., Miku\u010dionis, M., Poulsen, D.B., Legay, A., Wang, Z.: UPPAAL-SMC: statistical model checking for priced timed automata. arXiv preprint arXiv:1207.1272 (2012)","DOI":"10.4204\/EPTCS.85.1"},{"issue":"2","key":"9_CR9","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1023\/A:1021758401878","volume":"24","author":"A Burns","year":"2003","unstructured":"Burns, A.: How to verify a safe real-time system: the application of model checking and timed automata to the production cell case study. Real-Time Syst. 24(2), 135\u2013151 (2003)","journal-title":"Real-Time Syst."},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Butler, K.L.: An expert system based framework for an incipient failure detection and predictive maintenance system. In: Proceeding of the International Conference on Intelligent Systems Applications to Power Systems, Orlando, Florida, USA, pp. 321\u2013326 (1996)","DOI":"10.1109\/ISAP.1996.501092"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Cardenas, A.A., Amin, S., Sastry, S.: Secure control: towards survivable cyber-physical systems. In: 2013 IEEE 33rd International Conference on Distributed Computing Systems Workshops, pp. 495\u2013500 (2008)","DOI":"10.1109\/ICDCS.Workshops.2008.40"},{"issue":"1","key":"9_CR12","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1109\/JPROC.2011.2160929","volume":"100","author":"P Derler","year":"2012","unstructured":"Derler, P., Lee, E.A., Vincentelli, A.S.: Modeling cyber-physical systems. Proc. IEEE 100(1), 13\u201328 (2012)","journal-title":"Proc. IEEE"},{"key":"9_CR13","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511973000","volume-title":"Machine Learning: The Art and Science of Algorithms that Make Sense of Data","author":"P Flach","year":"2012","unstructured":"Flach, P.: Machine Learning: The Art and Science of Algorithms that Make Sense of Data. Cambridge University Press, Cambridge (2012)"},{"key":"9_CR14","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1016\/j.procs.2015.07.321","volume":"53","author":"E Fumeo","year":"2015","unstructured":"Fumeo, E., Oneto, L., Anguita, D.: Condition based maintenance in railway transportation systems based on big data streaming analysis. Procedia Comput. Sci. 53, 437\u2013446 (2015)","journal-title":"Procedia Comput. Sci."},{"key":"9_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1007\/978-3-540-30206-3_26","volume-title":"Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems","author":"O Grinchtein","year":"2004","unstructured":"Grinchtein, O., Jonsson, B., Leucker, M.: Learning of event-recording automata. In: Lakhnech, Y., Yovine, S. (eds.) FORMATS 2004 and FTRTFT 2004. LNCS, vol. 3253, pp. 379\u2013395. Springer, Heidelberg (2004)"},{"key":"9_CR16","unstructured":"Gross, P., Boulanger, A., Arias, M., Waltz, D.L., Long, P.M., Lawson, C., Anderson, R., Koenig, M., Mastrocinque, M., Fairechio, W., et al.: Predicting electricity distribution feeder failures using machine learning susceptibility analysis. In: Proceedings of the 21st National Conference on Artificial Intelligence, Boston, Massachusetts, USA, vol. 21, pp. 1705\u20131711 (2006)"},{"issue":"10","key":"9_CR17","doi-asserted-by":"crossref","first-page":"3480","DOI":"10.1109\/TIM.2009.2036347","volume":"60","author":"HM Hashemian","year":"2011","unstructured":"Hashemian, H.M., Bean, W.C.: State-of-the-art predictive maintenance techniques. IEEE Trans. Instrum. Meas. 60(10), 3480\u20133492 (2011)","journal-title":"IEEE Trans. Instrum. Meas."},{"issue":"4","key":"9_CR18","doi-asserted-by":"crossref","first-page":"840","DOI":"10.1109\/TSMCA.2009.2016429","volume":"39","author":"KA Kaiser","year":"2009","unstructured":"Kaiser, K.A., Gebraeel, N.Z.: Predictive maintenance management using sensor-based degradation models. IEEE Trans. Syst. Man Cybern. Part A: Syst. Hum. 39(4), 840\u2013849 (2009)","journal-title":"IEEE Trans. Syst. Man Cybern. Part A: Syst. Hum."},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Lee, E.A.: Cyber physical systems: design challenges. In: Proceedings of the 11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing, Orlando, Florida, USA, pp. 363\u2013369 (2008)","DOI":"10.1109\/ISORC.2008.25"},{"key":"9_CR20","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/j.trc.2014.04.013","volume":"45","author":"H Li","year":"2014","unstructured":"Li, H., Parikh, D., He, Q., Qian, B., Li, Z., Fang, D., Hampapur, A.: Improving rail network velocity: a machine learning approach to predictive maintenance. Transp. Res. Part C: Emerg. Technol. 45, 17\u201326 (2014)","journal-title":"Transp. Res. Part C: Emerg. Technol."},{"key":"9_CR21","unstructured":"Maier, A., Niggemann, O., Eickmeyer, J.: On the learning of timing behavior for anomaly detection in cyber-physical production systems. In: Proceedings of the 26th International Workshop on Principles of Diagnosis, Paris, France, pp. 217\u2013224 (2015)"},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Maier, A.: Online passive learning of timed automata for cyber-physical production systems. In: Proceedings of the 12th IEEE International Conference on Industrial Informatics, Porto Alegre, Brazil, pp. 60\u201366 (2014)","DOI":"10.1109\/INDIN.2014.6945484"},{"key":"9_CR23","unstructured":"Niggemann, O., Biswas, G., Kinnebrew, J.S., Khorasgani, H., Volgmann, S., Bunte, A.: Data-driven monitoring of cyber-physical systems leveraging on big data and the internet-of-things for diagnosis and control. In: Proceedings of the 26th International Workshop on Principles of Diagnosis, Paris, France, pp. 185\u2013192 (2015)"},{"key":"9_CR24","unstructured":"Nowaczyk, S., Prytz, R., R\u00f6gnvaldsson, T., Byttner, S.: Towards a machine learning algorithm for predicting truck compressor failures using logged vehicle data. In: Proceedings of the 12th Scandinavian Conference on Artificial Intelligence, Aalborg, Denmark, pp. 205\u2013214 (2013)"},{"key":"9_CR25","volume-title":"C4.5: Programs for Machine Learning","author":"JR Quinlan","year":"2014","unstructured":"Quinlan, J.R.: C4.5: Programs for Machine Learning. Elsevier, Amsterdam (2014)"},{"key":"9_CR26","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/j.cosrev.2015.03.001","volume":"15","author":"E Ruijters","year":"2015","unstructured":"Ruijters, E., Stoelinga, M.: Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools. Comput. Sci. Rev. 15, 29\u201362 (2015)","journal-title":"Comput. Sci. Rev."},{"issue":"6","key":"9_CR27","doi-asserted-by":"crossref","first-page":"504","DOI":"10.1016\/j.compind.2006.02.017","volume":"57","author":"Z Simeu-Abazi","year":"2006","unstructured":"Simeu-Abazi, Z., Bouredji, Z.: Monitoring and predictive maintenance: modeling and analyse of fault latency. Comput. Ind. 57(6), 504\u2013515 (2006)","journal-title":"Comput. Ind."},{"issue":"3","key":"9_CR28","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1007\/s10994-011-5265-4","volume":"86","author":"S Verwer","year":"2011","unstructured":"Verwer, S., Weerdt, M., Witteveen, C.: Efficiently identifying deterministic real-time automata from labeled data. Mach. Learn. 86(3), 295\u2013333 (2011)","journal-title":"Mach. Learn."},{"key":"9_CR29","unstructured":"Witten, I.H., Frank, E., Trigg, L.E., Hall, M.A., Holmes, G., Cunningham, S.J.: Weka: practical machine learning tools and techniques with Java implementations (1999)"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47166-2_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,14]],"date-time":"2019-09-14T04:08:51Z","timestamp":1568434131000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47166-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471655","9783319471662"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47166-2_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}