On controller and plant modeling for model-based formal verification.

Andrei Lobov Jose L. Martinez Lastra Reijo Tuokko

Published in: ETFA (2005)

Keyphrases

formal verification
control system
model checking
symbolic model checking
bounded model checking
neural network
closed loop
automated verification
control algorithm
fuzzy logic
model checker
pi controller
artificial intelligence
control scheme
modeling language
heat exchanger