A systematic approach to the design and reliability analysis of a fault-tolerant controller—I. Design aspects

Yau, 1986, A survey of software design techniques, IEEE Trans. Software Eng., SE-12, 713, 10.1109/TSE.1986.6312969 Beam, 1987, Systems engineering for software productivity, IEEE Trans. Systems, Man & Cybernetics, SMC-17, 163, 10.1109/TSMC.1987.4309028 Boehm, 1976, Software engineering, IEEE Trans. Computers, C-25, 1226, 10.1109/TC.1976.1674590 Fisher, 1979, Improved software reliability through requirements verification, IEEE Trans. Reliability, R-28, 233, 10.1109/TR.1979.5220574 Chisholm, 1987, An approach to the verification of a fault-tolerant, computer-based reactor safety system: A case study using automated reasoning, EPRI NP-4924, Vol. 1 & 2 Jarka, 1988, Development of requirements for an advanced robotic laboratory equipment, US Army, TACOM, RD & E Center Technical Report No. 12680 1978 Deckert, 1978, Reliable dual-redundant sensor failure detection and identification for the NASA F-8 DFBW aircraft, NASA-CR-2944, 216 Miskell, 1980, Technology of machine tools: Working group report, UCRL-52960-4 Fenter, 1986, Yes, we can leave MAD, Armed Forces J. Papageorgiou, 1985, Continuous-time and discrete-time design of water flow and water level regulators, Automatica, 21, 649, 10.1016/0005-1098(85)90039-1 Unbehauen, 1976, Comparison and application of DDC algorithms for a heat exchanger, Automatica, 12, 393, 10.1016/0005-1098(76)90001-7 Davison, 1980, On the application of tuning regulators to control a commercial heat exchanger, IEEE Trans. Automatic Control, AC-25, 361, 10.1109/TAC.1980.1102379 Xianya, 1984, Discrete-time adaptive control for deterministic time-varying systems, Automatica, 20, 309, 10.1016/0005-1098(84)90046-3 Iserman, 1981 Iserman, 1982, Parameter adaptive control algorithms—A tutorial, Automatica, 18, 5, 10.1016/0005-1098(82)90002-4 Wittenmark, 1975, Stochastic adaptive control methods: A survey, Int. J. Control., 21, 705, 10.1080/00207177508922026 Astrom, 1971, Problems of identification and control, J. Mathematical Analysis and Application, 34, 10.1016/0022-247X(71)90161-2 Hughs, 1974, Turn-off, escape and probing in nonlinear stochastic control Ekghoff, 1974 Strejc, 1980, Least squares parameter estimation, Automatica, 16, 535, 10.1016/0005-1098(80)90077-1 Fuhrt, 1984, On-line maximum likelihood algorithm for the identification of dynamic systems Soderstrom, 1973, An on-line algorithm for approximate maximum likelihood identification of linear dynamic system, Lund Institute of Technology Report No. 7308 Nagaraj, 1986, Estimation of stochastic difference equations with nonlinear restrictions Fuller, 1987 Hidriglou, 1980, SUPERCARP. ISU Stat. Lab. Sawa, 1969, The exact sampling distribution of ordinary least squares and two stage least squares estimators, Econometrica, 39, 131 Freedman, 1978 Ozaki, 1977, Nonlinear time series model identification by Alkaike's information criterion, 83 Su, 1986, Nonlinear time series model development and application in control Kuo, 1980 Rao, 1965 Hecht, 1979, Fault-tolerant software, IEEE Trans. Reliability, R-38, 227, 10.1109/TR.1979.5220573 Avizienis, 1977, On the implementation of N-version programming for software fault-tolerance during execution, 149 Chen, 1978, N-version programming: A fault-tolerance approach to reliability of software operation, Digest of Papers, FTC-8, 3 Kim, 1978, Strategies for structured and fault-tolerant design of recovery programs, 651 Horning, 1974, A program structure for error detection and recovery, 174 Verhofstad, 1977, The construction of recoverable multi-level systems Rodriguez, 1987, Design of a reliable fuzzy fault-tolerant automatic controller (REFFTAC), DOE Report No. DOE/ER/805091 Zadeh, 1965, Fuzzy sets, Information and Control, 8, 338, 10.1016/S0019-9958(65)90241-X Zadeh, 1972, A fuzzy-set-theoretic interpretation of linguistic hedges, J. Cybernetics, 2, 4, 10.1080/01969727208542910 Zadeh, 1973, Outline of a new approach to the analysis of complex systems and decision processes, IEEE Trans. Systems, Man and Cybernetics, SMC-3, 10.1109/TSMC.1973.5408575 Kaufmann, 1975, Vol. 1 Zimmermann, 1985 Kandel, 1986 Eshragh, 1979, A general approach to linguistics approximation, Internl J. Man-Machine Studies, 11, 501, 10.1016/S0020-7373(79)80040-1 Zadeh, 1983, The role of fuzzy logic in the management of uncertainty in expert systems, Fuzzy Sets and Systems, 11, 199, 10.1016/S0165-0114(83)80081-5 Sugeno, 1983, A new approach to design of fuzzy controller, 325 Zadeh, 1985, Syllogistic reasoning to fuzzy logic and its application to usuality and reasoning with dispositions, IEEE Trans. Systems, Man and Cybernetics, SMC-15, 754, 10.1109/TSMC.1985.6313459