A procedure for obtaining a behavioral description for the control logic of a non-linear pipeline.

Hashem Hashemi Najaf-abadi

Published in: ASP-DAC (2004)

Keyphrases

control system
process control
neural network
logic programming
modal logic
data sets
databases
human behavior
adaptive control
control problems
defeasible logic
predicate logic
processing pipeline