Qualitative Analysis

  • Elisha Sacks
    • Automatic Analysis of Ordinary Differential Equations Using Piecewise Linear Approximations
  • Hidde De Jong
    • Development of mathematical and computational approaches for the qualitative analysis of dynamical systems
  • Benjamin Kuipers
    • Qualitative Reasoning
  • Johan De Kleer
    • Incremental Qualitative Analysis
  • Brian C. Williams
    • Qualitative reasoning, model-based diagnosis and autonomous systems
    • Qualititave Analysis of MOS Circuits

Hybrid Systems (Focus on Verification)

  • Ashish Tiwari
    •  Verification, Abstraction, Computability and Control
  • Colas Le Guernic
    • Reachability Analysis of Hybrid Systems
  • Oded Maler
  • Thao Dang
  • Alexandre Donze
    • Mathematical and computational tools for the analysis and the design of dynamical systems
    • Embedded systems, analog and mixed signal circuits and biological systems
  • Paulo Tabuada
  • Andre Platzer
  • Antoine Girard
    • Algorithmic analysis and design of hybrid control systems
    • Verification and reachability analysis, Abstraction Techniques
  • Shankar Sastry
  • George J. Pappas
  • John Lygeros
  • Stephen Prajna
    • SOSTOOLS
    • Barrier Certificates
  • Daisuke Ishii
    • Sim and Verif of HS using Interval Analysis and Constraint Programming

 

Non-Linear System Analysis