Login / Signup
A Tool-Supported Approach for Modeling and Verifying Hybrid Systems using EVENT-B and the Differential Equation Solver SAGEMATH.
Meryem Afendi
Amel Mammar
Régine Laleau
Published in:
ICSOFT (2023)
Keyphrases
</>
differential equations
hybrid systems
black box
dynamical systems
intelligent systems
neural network
discrete event
meta learning
computational intelligence
soft computing
artificial intelligence
boundary value problem
pattern recognition
difference equations
expert systems
continuous functions