HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis.

Daisuke Ishii Alexandre Goldsztejn

Published in: RV (2017)

Keyphrases

interval analysis
autocalibration
constrained optimization
real time
constraint propagation
neural network
decision making
optimal solution