𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Diagnostic experiments for two states with automata

✍ Scribed by I. I. Kogan

Publisher
Springer US
Year
1975
Tongue
English
Weight
172 KB
Volume
10
Category
Article
ISSN
1573-8337

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

INDUCTIVE ACQUISITION OF DIAGNOSTIC KNOW
INDUCTIVE ACQUISITION OF DIAGNOSTIC KNOWLEDGE FOR STATES TREE WITH COMPLEX STRUCTURE
✍ WOJCIECH MOCZULSKI πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 369 KB

The diagnostics of machinery is nowadays aided by expert systems. In order to carry out a diagnosis in such a way a knowledge base on the concerned machine is necessary. This knowledge may be acquired either from domain experts or from databases of examples. The paper deals with a method of diagnost

Partial order reduction for state/event
Partial order reduction for state/event LTL with application to component-interaction automata
✍ N. BeneΕ‘; L. Brim; B. Buhnova; I. ČernΓ‘; J. Sochor; P. VaΕ™ekovΓ‘ πŸ“‚ Article πŸ“… 2011 πŸ› Elsevier Science 🌐 English βš– 546 KB

Software systems assembled from a large number of autonomous components become an interesting target for formal verification due to the issue of correct interplay in component interaction. State/event LTL (Chaki et al. (2004(Chaki et al. ( , 2005) ) [1,2]) incorporates both states and events to expr

Numerical experiments with parallel two-
Numerical experiments with parallel two-step W-methods for DAEs
✍ H. Podhaisky; R. Weiner; B.A. Schmitt πŸ“‚ Article πŸ“… 2002 πŸ› John Wiley and Sons βš– 104 KB

## Numerical experiments with parallel two-step W-methods for DAEs We study the numerical behavior of parallel two-step W-methods (PTSW methods) applied to index 2 and index 3 DAE test-problems. In this experiments we do not observe an order reduction in the differential components of the solution