On-Line Integrity Monitoring of Microprocessor Control Logic.

Seongwoo Kim Arun K. Somani

Published in: ICCD (2001)

Keyphrases

data acquisition
control system
high speed
real time
logic programming
multi agent systems
decision support
monitoring system
logical framework
data sets
knowledge representation
control strategy
human operators
automated reasoning
predicate logic
predictive control