Även om ett växande antal dynamiska system som studeras inom olika områden är hybrida till sin natur, är kontrollen av egenskaper som stabilitet, säkerhet etc. fortfarande ett utmanande problem. Tillgänglighetsanalys är en av de lovande metoderna för verifiering av hybridsystem, som tillsammans med alla andra verifieringstekniker står inför utmaningen att göra analysskalan med avseende på antalet kontinuerliga tillståndsvariabler. Flaskhalsen av många tillgängliga analystekniker för hybridsystem är den geometriskt beräknade skärningspunkten med skyddsset. I detta arbete ersätter vi skärningsoperationen med en icke-linjär kartläggning på vakten, som inte bara är numeriskt stabil, utan också skalbar, vilket gör det möjligt att verifiera system som tidigare varit oåtkomliga. Metoden kan tillämpas på den ganska vanliga klassen hybridsystem med bitvis kontinuerliga lösningar, vaktuppsättningar modellerade som halvrymder och brådskande semantik, d.v.s. diskreta övergångar görs omedelbart när det är aktiverat av vaktuppsättningar. Vi visar nyttan av det nya tillvägagångssättet genom ett mekaniskt system med backlash som har 101 kontinuerliga tillståndsvariabler.
Forskning om skärningspunkt i flödespipe konstruktion innebär tekniker som undviker skärningsoperationen genom att använda en icke-linjär kartläggning på vakten REF.
Avoiding geometric intersection operations in reachability analysis of hybrid systems
{'venue': "HSCC '12", 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}