Information processing in dynamical systems: foundations of harmony theory
Parallel distributed processing: explorations in the microstructure of cognition, vol. 1
Learning and relearning in Boltzmann machines
Parallel distributed processing: explorations in the microstructure of cognition, vol. 1
Autonomous decentralized software structure and its application
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
The Byzantine Generals Problem
ACM Transactions on Programming Languages and Systems (TOPLAS)
Fail-stop processors: an approach to designing fault-tolerant computing systems
ACM Transactions on Computer Systems (TOCS)
Self-stabilizing systems in spite of distributed control
Communications of the ACM
Process Modeling, Simulation, and Control for Chical Engineers
Process Modeling, Simulation, and Control for Chical Engineers
Proceedings of the First International Conference on Data Engineering
Distributed Systems - Architecture and Implementation, An Advanced Course
Solved problems, unsolved problems and non-problems in concurrency
ACM SIGOPS Operating Systems Review
Stabilizing Communication Protocols
IEEE Transactions on Computers - Special issue on protocol engineering
ACM Computing Surveys (CSUR)
Closure and Convergence: A Foundation of Fault-Tolerant Computing
IEEE Transactions on Software Engineering - Special issue on software reliability
Component Based Design of Multitolerant Systems
IEEE Transactions on Software Engineering
Designing Masking Fault-Tolerance via Nonmasking Fault-Tolerance
IEEE Transactions on Software Engineering
Exploiting Redundancy to Speed Up Parallel Systems
IEEE Parallel & Distributed Technology: Systems & Technology
Nest: A Nested-Predicate Scheme for Fault Tolerance
IEEE Transactions on Computers
Stabilization and pseudo-stabilization
Distributed Computing - Special issue: Self-stabilization
| Hi-index | 0.01 |
Software for industrial process-control systems, such as nuclear power plant safety control systems and robots, can be very complex because of the large number of cases that must be considered. A design approach is proposed that uses decentralized control concepts, and is based on E.W. Dijkstra's concept of self-stabilizing systems (1974). This method greatly simplifies the software, so that its correctness can be verified more easily. A simple control system is described for a simulated robot that is tolerant of partial failure of controllers and mechanisms, and permits online repair and enhancement of the control functions.