A Non-linear Arithmetic Procedure for Control-Command Software Verification.

Pierre Roux Mohamed Iguernlala Sylvain Conchon

Published in: TACAS (2) (2018)

Keyphrases

control system
optimal control
process control
decision making
control theory
data mining
artificial intelligence
user interface
dynamic programming
power system
control method