๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Mathematical models for intellectualization of synthesis of discrete logical control units

โœ Scribed by I. F. Cheburakhin


Book ID
111453688
Publisher
SP MAIK Nauka/Interperiodica
Year
2008
Tongue
English
Weight
256 KB
Volume
47
Category
Article
ISSN
1064-2307

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