Controller architecture for safe cognitive technical systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4680 LNCS, Issue , 2007, Pages 518-531

  Kain, Sebastian ^a   Ding, Hao ^a   Schiller, Frank ^a   Stursberg, Olaf ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

Cognitive controllers; Cognitive systems; Hybrid systems; Learning; Safety

Indexed keywords

COMPUTER SOFTWARE; DECISION THEORY; SECURITY OF DATA; SPECIFICATION LANGUAGES;

AUTONOMOUSLY GENERATE DECISIONS; COGNITIVE CONTROLLERS; COMPREHENSIVE ANALYSIS;

COGNITIVE SYSTEMS;

EID: 38349065546     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75101-4_48     Document Type: Conference Paper

References (26)

1. Antsaklis, P.J, Passino, K.M.: An Introduction to Intelligent and Autonomous Control. Kluwer Academic Publishers, Dordrecht (1993)
2. Balluchi, A., Benvenuti, L., Engell, S., Geyer, T., Johansson, K.H., LamnabhiLagarrigue, 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 11, 1-31 (2005)
3. th IEEE Symp. on Logic in Comp. Science, pp. 1-33 (1990)
4. Boy, G.: Cognitive Function Analysis for Human-Centered Automation of Safety-Critical Systems. In: SIGCHI Conf. on Human Factors in Computing Systems (1998)
5. Carlos, D.M.P., Garcia, E., Morari, M.: Model Predictive Control, Theory and Practice - a Survey. Automatica 25, 335-348 (1989)
6. Exida, L.L.C.: Safety Equipment Reliability Handbook, Exida, Sellesville, USA (2005)
7. Forin, P.: Vital Coded Microprocessor - Principles and Application for Various Transit Systems. In: IFAC Conf. Control, Comp., Comm. in Transp., pp. 79-84 (1989)
8. Goble, W.M.: Control Systems Safety Evaluation and Reliability. In: ISA (1998)
9. Grant, S.: Safety Systems and Cognitive Models. In: 5th Int. Conf. on Human-Machine Interaction and Artificial Intelligence in Aerospace (1995)
10. Humphrey, D.W., Spada, S.: Siemens' Safety Integrated Adds Value to Automation Applications. ARC Advisory Group (2005)
11. Humphrey, D.W., Grundmann, U.: PROFIsafe - Networked Safety for Process and Factory Automation. ARC Advisory Group (2006)
12. International Electrotechnical Commission: Functional Safety of Electrical Safety-related systems. IEC Standard No. 61508 (2001)
13. Johnson, T.R.: A comparison of ACT-R and SOAR. In: Schmid, U., Krems, J., Wysotzki, F. (eds.) Mind modeling, pp. 17-38, Papst Publisher (1998)
14. Kieras, D.: EPIC Architecture - Principle of Operation, Univ. of Michigan (2004)
15. Krosigk, H.: Functional Safety in the Field of Industrial Automation. Computing & Control Engineering Journal, 13-18 (2002)
16. Laird, J., Congdon, C., Coulter, K.: The Soar User's Manual Version 8.6.3. University of Michigan (2006)
17. Mayne, D.Q., Rawlings, J.B., Rao, C.V., Scokaert, P.O.M.: Constrained model predictive control: Stability and Optimality. Automatica 36, 789-814 (2000)
18. Moor, T., Raisch, J., O'Young, S.D.: Discrete Supervisory Control of Hybrid Systems based on L-Complete Approximations. Journal of Discrete Event Dynamic Systems 12(1), 83-107 (2002)
19. 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-19 (2005)
20. Schultheis, H.: Distribution and Association: Modeling Two Fundamental Principles in Cognitive Control. In: Proc. German Cognitive Science Conf., pp. 177-182 (2005)
21. Sträter, O.: Cognition and Safety. Habilitation, Institut of Ergonomics, Technical University of Munich (2006)
22. Strube, G.: Modeling Motivation and Action Control in Cognitive Systems. In: Schmid, U., Krems, J., Wysotzki, F. (eds.) Mind modeling, pp. 89-108. Pabst Publisher (1998)
23. 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. 2289, pp. 421-435. Springer, Heidelberg (2002)
24. Stursberg, O., Lohmann, S., Engell, S.: Improving Dependability of Logic Contr. by Algor. Verification. 16th IFAC World Congr., ID: Mo-E17-TO/6 (2005)
25. Stursberg, O.: Supervisory Control of Hybrid Systems based on Model Abstraction and Refinement. Journal on Nonlinear Analysis 65(6), 1168-1187 (2006)
26. Trontis, A., Spathopoulos, M.P.: Supervisory Target Control for Hybrid Systems. Int. Journal of Control 76(11), 1142-1158 (2003)