𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Simulation of programmable logic controller

✍ Scribed by Hongzheng Lu; Zhiyuan Ying; T.Warren Liao


Publisher
Elsevier Science
Year
1992
Tongue
English
Weight
316 KB
Volume
23
Category
Article
ISSN
0360-8352

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