Inferential state machines

Details Inferential state machines Inferential state machines

2005-07-12

2008-12-30

Starks, Jr., Wilbert L (Department: 2129)

Data processing: artificial intelligence

Knowledge processing system

Knowledge representation and reasoning technique

C706S045000, C706S002000, C706S050000

Reexamination Certificate

active

07472101

ABSTRACT:
An extended state machine that makes use of an inference engine as the infrastructure for adding inferential capabilities to the state machine's execution. The result is a state machine that may operate on partial or disordered information, inferring intermediate states that have yet to be formally traversed. In addition, controls such as state timeouts and transition priorities allow for finer control of the state machine's execution, particularly in unexpected circumstances.

REFERENCES:
patent: 5481648 (1996-01-01), Volponi et al.
patent: 5606646 (1997-02-01), Khan et al.
patent: 5903886 (1999-05-01), Heimlich et al.
Hadjicostis, Christoforos, N., Finite-State Machine Embeddings for Non-Concurrent Error Detection and Identification, Proceedings of the 42nd IEEE COnference on Decision and Control, Dec. 2003, pp. 1-6.
Hadjicostis, Christoforos, N., Encoded Finite-State Machines for Non-Concurrent Error Detection and Identification, 2003, pp. 1-4.
Drineas, Petros and Makris, Yiorgos, SPaRe: Selective Partial Replication for Concurrent Fault Detection in FSMs, Proceedings of the 16th International Conference on VLSO Design, 2003. pp. 1-7.
Zulkernin, Mohammad and Seviora, Rudolph, E., Springer-Verlag Berlin Heidelberg, 2002, pp. 1-20.
Hadjicostis, Christoforos, N., Nonconcurrent Error Detection and Correction in Fault-Tolerant Linear Finite-State Machines, IEEE Transactions on Automatic Control, vol. 48, No. 12, Dec. 2002, pp. 1-8.
Drineas, Petros and Makris, Yiorgos, SPaRe: Selective Partial Replication for Concurrent Fault-Detection in FSMs, IEEE Transactions of Instrumentation and Measurement, vol. 52, No. 6, Dec. 2003, pp. 1-12.
Abdulla, Parosh Aziz and Rabinovich, Alexander, Verification of Probabilistic Systems with Faulty Communication, Springer-Verlag Berlin Heidelberg, 2003, pp. 1-15.
Jiang, Guofei and Cybenko, George, Temporal and Spatial Distributed Event Correlation for Network Security, Proceedings of the IEEE, 2004 IEEE American Control Conference, Boston, MA, Jun. 30-Jul. 2, 2004, pp. 1-6.
PCT/US05/26755, Search Report and Written Opinion of International Searching Authority mailed Jun. 30, 2008.

Affiliated with

Also associated with

Rating

Inferential state machines does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Inferential state machines, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Inferential state machines will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-4045713