{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T23:10:08Z","timestamp":1748819408145,"version":"3.41.0"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319303352"},{"type":"electronic","value":"9783319303376"}],"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-30337-6_15","type":"book-chapter","created":{"date-parts":[[2016,3,23]],"date-time":"2016-03-23T13:54:52Z","timestamp":1458741292000},"page":"159-167","source":"Crossref","is-referenced-by-count":0,"title":["Increasing Dependability by Agent-Based Model-Checking During Run-Time"],"prefix":"10.1007","author":[{"given":"Sebastian","family":"Rehberger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Aicher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Birgit","family":"Vogel-Heuser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,3,24]]},"reference":[{"key":"15_CR1","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1145\/1592761.1592781","volume":"52","author":"EM Clarke","year":"2009","unstructured":"Clarke, E.M., Emerson, E.A., Sifakis, J.: Model checking: algorithmic verification and debugging. Commun. ACM 52, 74 (2009)","journal-title":"Commun. ACM"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Silva, B.I., Stursberg, O., Krogh, B.H., Engell, S.: An assessment of the current status of algorithmic approaches to the verification of hybrid systems. In: Proceedings of the 40th IEEE Conference on Decision Control (Cat. No.01CH37228), vol. 3, pp. 2867\u20132874 (2001)","DOI":"10.1109\/CDC.2001.980711"},{"issue":"1","key":"15_CR3","doi-asserted-by":"crossref","first-page":"104","DOI":"10.3182\/20050703-6-CZ-1902.01442","volume":"38","author":"O. Stursberg","year":"2005","unstructured":"Stursberg, O., Lohmann, S., Engell, S.: Improving dependability of logic controllers by algorithmic verification. In: IFAC World Congress 2005, pp. 104\u2013109 (2005)","journal-title":"IFAC Proceedings Volumes"},{"key":"15_CR4","first-page":"283","volume":"3","author":"J Greifeneder","year":"2006","unstructured":"Greifeneder, J., Frey, G.: Probabilistic hybrid automata with variable step width applied to the anaylsis of networked automation systems. Discret. Syst. Des. 3, 283\u2013288 (2006)","journal-title":"Discret. Syst. Des."},{"issue":"2","key":"15_CR5","doi-asserted-by":"crossref","first-page":"5113","DOI":"10.3182\/20080706-5-KR-1001.00859","volume":"41","author":"J\u00fcrgen Greifeneder","year":"2008","unstructured":"Greifeneder, J., Liu, L., Frey, G.: Comparing simulative and formal methods for the analysis of response times in networked automation systems. In: IFAC World Congress 2008, vol. 1, p. O3 (2008)","journal-title":"IFAC Proceedings Volumes"},{"key":"15_CR6","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/3-540-46029-2_13","volume":"2324","author":"M Kwiatkowska","year":"2002","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM: probabilistic symbolic model checker. Comput. Perform. Eval. Model. Tech. Tools 2324, 200\u2013204 (2002)","journal-title":"Comput. Perform. Eval. Model. Tech. Tools"},{"key":"15_CR7","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/s10009-009-0106-5","volume":"11","author":"B Schlich","year":"2009","unstructured":"Schlich, B., Kowalewski, S.: Model checking C source code for embedded systems. Int. J. Softw. Tools Technol. Transf. 11, 187\u2013202 (2009)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"issue":"2","key":"15_CR8","doi-asserted-by":"crossref","first-page":"400","DOI":"10.3182\/20140514-3-FR-4046.00065","volume":"47","author":"Sebastian Biallas","year":"2014","unstructured":"Biallas, S., Kowalewski, S., Stattelmann, S., Schlich, B.: Efficient handling of states in abstract interpretation of industrial programmable logic controller code. In: Workshop on Discrete Event Systems (WODES 2014), pp. 12\u201317, Cachan, France (2014)","journal-title":"IFAC Proceedings Volumes"},{"key":"15_CR9","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1016\/S0005-1098(98)00179-4","volume":"35","author":"S Kowalewski","year":"1999","unstructured":"Kowalewski, S., Engell, S., Preu\u00dfig, J., Stursberg, O.: Verification of logic controllers for continuous plants using timed condition\/event-system models. Automatica 35, 505\u2013518 (1999)","journal-title":"Automatica"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Santiago, I.B., Faure, J.-M.: From fault tree analysis to model checking of logic controllers. In: IFAC World Congress 2005, pp. 86\u201391 (2005)","DOI":"10.3182\/20050703-6-CZ-1902.01439"},{"issue":"17","key":"15_CR11","doi-asserted-by":"crossref","first-page":"37","DOI":"10.3182\/20060926-3-PL-4904.00007","volume":"39","author":"Jos\u00e9 M. Machado","year":"2006","unstructured":"Machado, J.M., Denis, B., Lesage, J.J., Faure, J.M., Ferreira Da Silva, J.C.L.: Logic controllers dependability verification using a plant model. In: Discrete Event Systems, vol. 3, pp. 37\u201342 (2006)","journal-title":"IFAC Proceedings Volumes"},{"issue":"2","key":"15_CR12","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1017\/S0269888900008122","volume":"10","author":"Michael Wooldridge","year":"1995","unstructured":"Wooldridge, M., Jennings, N.: Intelligent Agents: Theory and Practice (1995)","journal-title":"The Knowledge Engineering Review"},{"key":"15_CR13","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1109\/TIE.2005.862210","volume":"53","author":"A Colombo","year":"2006","unstructured":"Colombo, A., Schoop, R., Neubert, R.: An agent-based intelligent control platform for industrial holonic manufacturing systems. IEEE Trans. Ind. Electron. 53, 322\u2013337 (2006)","journal-title":"IEEE Trans. Ind. Electron."},{"issue":"4","key":"15_CR14","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1145\/1293731.1293735","volume":"2","author":"Stefan Poslad","year":"2007","unstructured":"Poslad, S.: Specifying protocols for multi-agent systems interaction. In: ACM Trans. Auton. Adapt. Syst. 2, 15 (2007)","journal-title":"ACM Transactions on Autonomous and Adaptive Systems"},{"key":"15_CR15","doi-asserted-by":"publisher","first-page":"2360","DOI":"10.1109\/TII.2012.2222034","volume":"9","author":"P Leitao","year":"2013","unstructured":"Leitao, P., Marik, V., Vrba, P.: Past, present, and future of industrial agent applications. IEEE Trans. Ind. Inf. 9, 2360\u20132372 (2013)","journal-title":"IEEE Trans. Ind. Inf."},{"key":"15_CR16","doi-asserted-by":"publisher","first-page":"2397","DOI":"10.1109\/TII.2012.2229285","volume":"9","author":"D Sch\u00fctz","year":"2013","unstructured":"Sch\u00fctz, D., Wannagat, A., Legat, C., Vogel-Heuser, B.: Development of plc-based software for increasing the dependability of production automation systems. IEEE Trans. Ind. Inf. 9, 2397\u20132406 (2013)","journal-title":"IEEE Trans. Ind. Inf."},{"key":"15_CR17","unstructured":"Wooldridge, M.: An Introduction to Multiagent Systems, 2nd edn. Wiley, New York (2009)"},{"key":"15_CR18","unstructured":"Younis, M.B., Frey, G.: Formalization of existing plc programs: a survey. In: CESA 2003, Lille (France), Paper no. S2-R. -00\u20130239 (2003)"},{"issue":"5","key":"15_CR19","doi-asserted-by":"crossref","first-page":"28","DOI":"10.3182\/20090610-3-IT-4004.00010","volume":"42","author":"Bastian Schlich","year":"2009","unstructured":"Schlich, B., Brauer, J., Wernerus, J., Kowalewski, S.: Direct model checking of PLC programs in IL. In: 2nd IFAC Workshop on Dependable Control of Discrete Systems, pp. 28\u201333 (2009)","journal-title":"IFAC Proceedings Volumes"},{"key":"15_CR20","unstructured":"Schlich, B.: Model Checking of Software for Microcontrollers (2008)"},{"key":"15_CR21","unstructured":"Vogel-Heuser, B., Legat, C., Folmer, J., Feldmann, S.: Researching evolution in industrial plant automation: scenarios and documentation of the pick and place unit (2014)"}],"container-title":["Studies in Computational Intelligence","Service Orientation in Holonic and Multi-Agent Manufacturing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-30337-6_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T22:48:29Z","timestamp":1748818109000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-30337-6_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319303352","9783319303376"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-30337-6_15","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2016]]}}}