Pipeline Valve Control Based on EVALPSN Safety Verification.

Kazumi Nakamatsu

Published in: J. Adv. Comput. Intell. Intell. Informatics (2006)

Keyphrases

control system
safety analysis
discrete event
logic programs
machine learning
information retrieval
database
genetic algorithm
knowledge base
face recognition
mathematical model
data acquisition
dynamic systems
control theory