Login / Signup

Rigorous Discretization of Hybrid Systems Using Process Calculi.

Sven SchneiderUwe Nestmann
Published in: FORMATS (2011)
Keyphrases
  • hybrid systems
  • computational intelligence
  • soft computing
  • black box
  • genetic algorithm
  • artificial intelligence
  • fuzzy logic
  • orders of magnitude
  • meta learning