Specifying the mode logic of a flight guidance system in CoRE and SCR.

Steven P. Miller

Published in: FMSP (1998)

Keyphrases

modal logic
logic programming
hand held
multi valued
predicate logic
neural network
automated reasoning
asynchronous circuits
proof theory
mixed mode
sound and complete axiomatization
genetic algorithm
control system
set theory