Automated reasoning in man-machine control systems [electronic resource].
- Argonne, Ill. : Argonne National Laboratory, 1983.
Oak Ridge, Tenn. : Distributed by the Office of Scientific and Technical Information, U.S. Dept. of Energy.
- Physical Description:
- Pages: 16 : digital, PDF file
- Additional Creators:
- Argonne National Laboratory
United States. Department of Energy. Office of Scientific and Technical Information
- This paper describes a project being undertaken at Argonne National Laboratory to demonstrate the usefulness of automated reasoning techniques in the implementation of a man-machine control system being designed at the EBR-II nuclear power plant. It is shown how automated reasoning influences the choice of optimal roles for both man and machine in the system control process, both for normal and off-normal operation. In addition, the requirements imposed by such a system for a rigorously formal specification of operating states, subsystem states, and transition procedures have a useful impact on the analysis phase. The definitions and rules are discussed for a prototype system which is physically simple yet illustrates some of the complexities inherent in real systems.
- Published through SciTech Connect.
American Nuclear Society winter meeting, San Francisco, CA, USA, 30 Oct 1983.
Stratton, R.C.; Lusk, E.L.
- Funding Information:
View MARC record | catkey: 14368298