Interaktionen mellan informationsteknik och den fysiska världen gör Cyber-Physical Systems (CPS) sårbar för skadliga attacker utöver de vanliga cyberattackerna. Detta har motiverat behovet av attacktåliga statsuppskattningar. Ändå bygger de befintliga statsskattarna på det icke-realistiska antagandet att den exakta systemmodellen är känd. Därför presenterar vi i detta arbete en metod för statsuppskattning i närvaro av attacker, för system med buller och modellfel. När de uppskattade tillstånden används av en statbaserad återkopplingsregulator visar vi att angriparen inte kan destabilisera systemet genom att utnyttja skillnaden mellan den modell som används för statsuppskattningen och systemets verkliga fysiska dynamik. Dessutom beskriver vi hur implementationsproblem som jitter, latens och synkroniseringsfel kan kartläggas i parametrar i det tillståndsuppskattningsförfarande som beskriver modelleringsfel, och ger en gräns för det tillståndsbeskattningsfel som orsakas av modelleringsfel. Detta möjliggör kartläggning av kontrollprestandakrav i realtid (dvs. timing relaterade) specifikationer som åläggs * Detta material är baserat på forskning sponsrad av DARPA under avtalsnummer FA8750-12-2-0247. Den amerikanska regeringen är bemyndigad att reproducera och distribuera omtryck för statliga ändamål, utan hinder av någon upphovsrättsnotation om detta. De åsikter och slutsatser som finns här är författarnas och bör inte tolkas som att de nödvändigtvis representerar DARPA:s eller USA:s regerings officiella politik eller rekommendationer, vare sig uttryckta eller underförstådda. Den underliggande plattformen. Slutligen illustrerar och experimentellt utvärderar vi detta tillvägagångssätt i en fallstudie om obemannade markfordon.
Pajic m.fl. REF utvecklar en attacktålig estimator som fungerar i närvaro av sensorbuller.
Robustness of Attack-Resilient State Estimators
{'venue': "ICCPS '14", 'journal': None, 'mag_field_of_study': ['Computer Science']}