Validated Numerics Meets Reachability Analysis for CPS Design (NII Shonan Meeting 2015-14).

Daisuke Ishii Kohei Suenaga Walid Taha

Published in: NII Shonan Meet. Rep. (2015)

Keyphrases

reachability analysis
case study
design process
objective function
relational databases
software engineering
sufficient conditions
markov decision processes
design principles
design tools