| 摘要 |
Conventional Boolean Logic Control is augmented to provide enhanced diagnostics, monitoring, and fail safe operation for dynamic systems having distributed discrete-valued sensors and actuators. A decentralized model of a controlled system defines behavior and timing models for both sensors and actuators, termed Control Elements (CEs). Each CE has a first model for transition from state 0 to 1, and a second model for transition from state 1 to 0. Each behavioral model is defined by an Event Signature comprising a sequence of state changes in neighboring CEs. A continuous evaluation of event signatures is performed to compute a probability that a given CE will change state. An Expectation Function is used to check and enforce the correct behavior of a CE. A statistical temporal model predicts delays in the states of a CE as a function of its previous and current delays. The distributed behavior and on-line timing models are used to detect and diagnose incorrect behavior and failures of decentralized sensors and actuators.
|
