𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Logical control of poorly formalized systems

✍ Scribed by V. I. Donskoi

Publisher
Springer US
Year
1992
Tongue
English
Weight
401 KB
Volume
60
Category
Article
ISSN
1573-8795

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Formal modeling and synthesis of program
Formal modeling and synthesis of programmable logic controllers
✍ 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

A treatise of formal logic
A treatise of formal logic
✍ E. Kaila πŸ“‚ Article πŸ“… 1931 πŸ› Springer 🌐 English βš– 150 KB
An analysis of formal logics as inferenc
An analysis of formal logics as inference mechanisms in expert systems
✍ E.H. Mamdani; Janet Efstathiou πŸ“‚ Article πŸ“… 1984 πŸ› Elsevier Science βš– 954 KB

Logic plays an important role within expert systems of enabling inference and representing meaning. We analyse and compare several logics in terms of their topic-neutral items, emphasizing the importance of semantic, as well as syntactic, validity. Fuzzy logic and PRUF are assessed for mechanizabili