On the Complexity of Some Verification Problems in Process Control Specifications.

Arthur H. M. ter Hofstede Maria E. Orlowska

Published in: Comput. J. (1999)

Keyphrases

process control
decision problems
control system
optimization problems
problems involving
face verification
product quality
manufacturing process
control charts
data sets
model checking
solving problems
intelligent control
np hardness
semiconductor manufacturing
verification method