Abstract-This paper föreslår en ram för att bestämma riktigheten och robustheten av simuleringar av hybridsystem. Fokus ligger på simuleringar som genereras från modellbaserade designmiljöer och i synnerhet Simulink. Simuleringens korrekthet och robusthet garanteras mot fel i flyttalsavrundning och osäkerheter i systemmodellering. Mot detta mål används självvaliderade aritmetik, såsom intervall och affin aritmetik, för garanterad simulering av diskreta hybridsystem. I fallet med kontinuerliga hybridsystem används självvaliderade aritmetik för över tillnärmningar av tillgänglighetsberäkningar.
Fastställande av robustheten hos hybridsystem med hjälp av självvaliderade aritmetik visas i REF.
Robustness of Model-Based Simulations
{'venue': '2009 30th IEEE Real-Time Systems Symposium', 'journal': '2009 30th IEEE Real-Time Systems Symposium', 'mag_field_of_study': ['Computer Science']}