Sign in

Supervisor Synthesis to Satisfy Safety and Reachability Requirements in Chemical Process Control.

Blake C. RawlingsBen ChristensonJohn M. WassickB. 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