Login / Signup

Interval Logic for Process Control System Specification.

Peter P. K. ChiuPaul Y. S. Cheung
Published in: J. Circuits Syst. Comput. (1991)
Keyphrases
  • control system
  • fuzzy logic
  • neural network
  • high level
  • fuzzy sets
  • formal verification
  • data sets
  • databases
  • sufficient conditions
  • linear temporal logic