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.
RobSim REF använder en intervallbaserad integrationsmetod för att kontrollera att Simulinks numeriska simulator är korrekt och robust.
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']}