Login / Signup

Symbolic Controller Synthesis for Discrete and Timed Systems.

Eugene AsarinOded MalerAmir Pnueli
Published in: Hybrid Systems (1994)
Keyphrases
  • computing systems
  • learning algorithm
  • feature extraction
  • expert systems
  • function approximation
  • control algorithm
  • autonomic computing systems