Login / Signup
Supervisor Synthesis to Satisfy Safety and Reachability Requirements in Chemical Process Control.
Blake C. Rawlings
Ben Christenson
John M. Wassick
B. Erik Ydstie
Published in:
WODES (2014)
Keyphrases
</>
process control
control system
intelligent control
product quality
manufacturing process
semiconductor manufacturing
user requirements
database
requirements engineering
transitive closure