𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Parallel controller synthesis for programmable logic devices

✍ Scribed by James Pardey; Alain Amroun; Martin Bolton; Marian Adamski


Publisher
Elsevier Science
Year
1994
Tongue
English
Weight
605 KB
Volume
18
Category
Article
ISSN
0141-9331

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