On multilevel structured program design for process-control systems

DOI10.1007/BF01130083MaRDI QIDQ1895038zbMATH OpenFDO

Authors V. G. Akulovskiy

Publication date 6 August 1995

Published in Cybernetics and Systems Analysis (Search for Journal in Brave)

zbMATH Keywords

parallel computationsynchronizationprocess controlmultilevel structured programs

Mathematics Subject Classification ID

Control/observation systems involving computers (process control, etc.) (93C83)

Recommendations

• Multilevel synthesis of structured programs
• Structured programming in symbolic multiprocessing
• scientific article; zbMATH DE number 3856374
• scientific article; zbMATH DE number 897908
• Formalization of the software design for process control systems in ferrous metallurgy

Cites work

• scientific article; zbMATH DE number 4181414 (Why is no real title available?)
• scientific article; zbMATH DE number 59352 (Why is no real title available?)
• Extension of not everywhere defined functions of many-valued logic
• Maximal local classes of partial functions of infinite-valued logic
• The Galois connection between partial operations and relations
• The algebras of partial functions and their invariants
• Une généralisation de la notion de corps
• Universal algebras with all operations of bounded range

Cited in

(4)

• Commutative controllers revisited: parallel computation, a new lease of life
• scientific article; zbMATH DE number 3856374 (Why is no real title available?)
• Multilevel synthesis of structured programs
• A formal methodology using attributed grammars for multiprocessing-system software development. I. Design representation

This page was built for publication: On multilevel structured program design for process-control systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1895038)