{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:12:03Z","timestamp":1761487923143},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540751007"},{"type":"electronic","value":"9783540751014"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-75101-4_48","type":"book-chapter","created":{"date-parts":[[2007,9,21]],"date-time":"2007-09-21T09:15:29Z","timestamp":1190366129000},"page":"518-531","source":"Crossref","is-referenced-by-count":9,"title":["Controller Architecture for Safe Cognitive Technical Systems"],"prefix":"10.1007","author":[{"given":"Sebastian","family":"Kain","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hao","family":"Ding","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Schiller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olaf","family":"Stursberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"48_CR1","volume-title":"An Introduction to Intelligent and Autonomous Control","author":"P.J Antsaklis","year":"1993","unstructured":"Antsaklis, P.J, Passino, K.M.: An Introduction to Intelligent and Autonomous Control. Kluwer Academic Publishers, Dordrecht (1993)"},{"key":"48_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.3166\/ejc.11.407-508","volume":"11","author":"A. Balluchi","year":"2005","unstructured":"Balluchi, A., Benvenuti, L., Engell, S., Geyer, T., Johansson, K.H., Lamnabhi-Lagarrigue, F., Lygeros, J., Morari, M., Papafotiou, G., Sangiovanni-Vincentelli, A.L., Santucci, F., Stursberg, O.: Hybrid Control of Networked Embedded Systems. European Journal of Control\u00a011, 1\u201331 (2005)","journal-title":"European Journal of Control"},{"key":"48_CR3","unstructured":"Burch, J.R., Clarke, E.M., McMillan, K.L., Dill, D.L., Hwang, L.J.: Symbolic Model Checking: 1020 States and Beyond. In: Proc. 5 th IEEE Symp. on Logic in Comp. Science, pp. 1\u201333 (1990)"},{"key":"48_CR4","doi-asserted-by":"crossref","unstructured":"Boy, G.: Cognitive Function Analysis for Human-Centered Automation of Safety-Critical Systems. In: SIGCHI Conf. on Human Factors in Computing Systems (1998)","DOI":"10.1145\/274644.274682"},{"key":"48_CR5","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1016\/0005-1098(89)90002-2","volume":"25","author":"D.M.P. Carlos","year":"1989","unstructured":"Carlos, D.M.P., Garcia, E., Morari, M.: Model Predictive Control, Theory and Practice - a Survey. Automatica\u00a025, 335\u2013348 (1989)","journal-title":"Automatica"},{"key":"48_CR6","unstructured":"Exida, L.L.C.: Safety Equipment Reliability Handbook, Exida, Sellesville, USA (2005)"},{"key":"48_CR7","doi-asserted-by":"crossref","unstructured":"Forin, P.: Vital Coded Microprocessor - Principles and Application for Various Transit Systems. In: IFAC Conf. Control, Comp., Comm. in Transp., pp. 79\u201384 (1989)","DOI":"10.1016\/B978-0-08-037025-5.50017-7"},{"key":"48_CR8","unstructured":"Goble, W.M.: Control Systems Safety Evaluation and Reliability. In: ISA (1998)"},{"key":"48_CR9","unstructured":"Grant, S.: Safety Systems and Cognitive Models. In: 5th Int. Conf. on Human-Machine Interaction and Artificial Intelligence in Aerospace\u00a0 (1995)"},{"key":"48_CR10","unstructured":"Humphrey, D.W., Spada, S.: Siemens\u2019 Safety Integrated Adds Value to Automation Applications. ARC Advisory Group (2005)"},{"key":"48_CR11","unstructured":"Humphrey, D.W., Grundmann, U.: PROFIsafe \u2013 Networked Safety for Process and Factory Automation. ARC Advisory Group (2006)"},{"key":"48_CR12","unstructured":"International Electrotechnical Commission: Functional Safety of Electrical Safety-related systems. IEC Standard No. 61508 (2001)"},{"key":"48_CR13","unstructured":"Johnson, T.R.: A comparison of ACT-R and SOAR. In: Schmid, U., Krems, J., Wysotzki, F. (eds.) Mind modeling, pp. 17\u201338, Papst Publisher (1998)"},{"key":"48_CR14","unstructured":"Kieras, D.: EPIC Architecture \u2013 Principle of Operation, Univ. of Michigan (2004)"},{"key":"48_CR15","unstructured":"Krosigk, H.: Functional Safety in the Field of Industrial Automation. Computing & Control Engineering Journal, 13\u201318 (2002)"},{"key":"48_CR16","unstructured":"Laird, J., Congdon, C., Coulter, K.: The Soar User\u2019s Manual Version 8.6.3. University of Michigan (2006)"},{"key":"48_CR17","doi-asserted-by":"publisher","first-page":"789","DOI":"10.1016\/S0005-1098(99)00214-9","volume":"36","author":"D.Q. Mayne","year":"2000","unstructured":"Mayne, D.Q., Rawlings, J.B., Rao, C.V., Scokaert, P.O.M.: Constrained model predictive control: Stability and Optimality. Automatica\u00a036, 789\u2013814 (2000)","journal-title":"Automatica"},{"issue":"1","key":"48_CR18","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1023\/A:1013339920783","volume":"12","author":"T. Moor","year":"2002","unstructured":"Moor, T., Raisch, J., O\u2019Young, S.D.: Discrete Supervisory Control of Hybrid Systems based on L-Complete Approximations. Journal of Discrete Event Dynamic Systems\u00a012(1), 83\u2013107 (2002)","journal-title":"Journal of Discrete Event Dynamic Systems"},{"key":"48_CR19","unstructured":"Schiller, F.: The Relation between Safety and Reliability in Automation from the Safety Perspective (Plenary Talk). In: 11th Int. Symp. on System-Modelling-Control, Poland, pp. 13\u201319 (2005)"},{"key":"48_CR20","unstructured":"Schultheis, H.: Distribution and Association: Modeling Two Fundamental Principles in Cognitive Control. In: Proc. German Cognitive Science Conf., pp. 177\u2013182 (2005)"},{"key":"48_CR21","unstructured":"Str\u00e4ter, O.: Cognition and Safety. Habilitation, Institut of Ergonomics, Technical University of Munich (2006)"},{"key":"48_CR22","unstructured":"Strube, G.: Modeling Motivation and Action Control in Cognitive Systems. In: Schmid, U., Krems, J., Wysotzki, F. (eds.) Mind modeling, pp. 89\u2013108. Pabst Publisher (1998)"},{"key":"48_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1007\/3-540-45873-5_33","volume-title":"Hybrid Systems: Computation and Control","author":"O. Stursberg","year":"2002","unstructured":"Stursberg, O., Panek, S.: Control of Switched Continuous Systems based on Disjunctive Formulations. In: Tomlin, C.J., Greenstreet, M.R. (eds.) HSCC 2002. LNCS, vol.\u00a02289, pp. 421\u2013435. Springer, Heidelberg (2002)"},{"key":"48_CR24","unstructured":"Stursberg, O., Lohmann, S., Engell, S.: Improving Dependability of Logic Contr. by Algor. Verification. 16th IFAC World Congr., ID: Mo-E17-TO\/6 (2005)"},{"issue":"6","key":"48_CR25","doi-asserted-by":"publisher","first-page":"1168","DOI":"10.1016\/j.na.2005.12.023","volume":"65","author":"O. Stursberg","year":"2006","unstructured":"Stursberg, O.: Supervisory Control of Hybrid Systems based on Model Abstraction and Refinement. Journal on Nonlinear Analysis\u00a065(6), 1168\u20131187 (2006)","journal-title":"Journal on Nonlinear Analysis"},{"issue":"11","key":"48_CR26","doi-asserted-by":"publisher","first-page":"1142","DOI":"10.1080\/0020717031000123328","volume":"76","author":"A. Trontis","year":"2003","unstructured":"Trontis, A., Spathopoulos, M.P.: Supervisory Target Control for Hybrid Systems. Int. Journal of Control\u00a076(11), 1142\u20131158 (2003)","journal-title":"Int. Journal of Control"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75101-4_48.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:51:30Z","timestamp":1619520690000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75101-4_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540751007","9783540751014"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75101-4_48","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}