Title | Binary logic diagrams imply nonunique functionality |
Publication Type | Journal Article |
Year of Publication | 1996 |
Authors | Park T, Barton PI |
Journal | ISA Transactions |
Volume | 35 |
Pagination | 337 - 343 |
ISSN | 0019-0578 |
Keywords | Sequential logic systems |
Abstract | Binary logic diagrams ({BLDs}) are widely used to document the functionality of logic-based control systems. The ambiguous functionality implied by certain {BLDs} is highlighted by drawing analogies with asynchronous sequential logic systems. Non-deterministic state transitions in these {BLDs} occur due to the existence of hazard and race conditions or, equivalently, non-unique feedback cut sets. The need for additional specifications to remove this ambiguity is discussed, and recommendations are made to aid in the specification of {BLDs} with unique functionality. |
URL | http://www.sciencedirect.com/science/article/B6V3P-3VV13S3-7/2/26ff8743b829876c2c069cc53c496bf1 |
DOI | 10.1016/S0019-0578(96)00045-6 |
Binary logic diagrams imply nonunique functionality
Submitted by tansh@mit.edu on