𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A New Heuristic for Bad Cycle Detection Using BDDs

✍ Scribed by R. H. Hardin; R. P. Kurshan; S. K. Shukla; M. Y. Vardi


Book ID
110266864
Publisher
Springer
Year
2001
Tongue
English
Weight
96 KB
Volume
18
Category
Article
ISSN
0925-9856

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


A new technique for fault detection usin
✍ J. Prock πŸ“‚ Article πŸ“… 1991 πŸ› Elsevier Science 🌐 English βš– 588 KB

Modelling a system as a Petri net, abnormal systems' behavior or sensor errors with slow time constants can be detected monitoring measurement signals which are related to conservation quantities.