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

Daisuke Ishii Alexandre Goldsztejn

Published in: CoRR (2017)

Keyphrases

interval analysis
autocalibration
real time
constraint propagation
constrained optimization
neural network
search space
control system