𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Application of programmable logic controllers for pipeline local and remote control

✍ Scribed by Wilson, J.E.; Bried, F.


Book ID
117863286
Publisher
IEEE
Year
1988
Tongue
English
Weight
543 KB
Volume
24
Category
Article
ISSN
0093-9994

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Formal modeling and synthesis of program
✍ Rui Wang; Xiaoyu Song; Jianzhong Zhu; Ming Gu πŸ“‚ Article πŸ“… 2011 πŸ› Elsevier Science 🌐 English βš– 638 KB

Programmable logic controllers (PLCs) are complex cyber-physical systems which are widely used in industry. This paper presents a robust approach to design and implement PLC-based embedded systems. Timed automata are used to model the controller and its environment. We validate the design model with