Paradigms

Concepts I have (co) invented:

  • Hilbertean formal methods,
  • contingent hybrid systems,
  • correspondence carrying specifications,
  • state constraint reachability analysis,
  • nonsequitur behavior analysis; 
  • coloured stochastic hybrid systems;
  • artificial physics;
  • hierarchical viewpoints