Secure safety filters for sampled-data nonlinear systems under sensor spoofing are constructed from exact and relaxed observability maps, with safety guaranteed under sparse-observability and control barrier function assumptions.
Continuous-time control synthesis under nested signal temporal logic specifications,
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
eess.SY 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Secure Safety Filter Design for Sampled-data Nonlinear Systems under Sensor Spoofing Attacks
Secure safety filters for sampled-data nonlinear systems under sensor spoofing are constructed from exact and relaxed observability maps, with safety guaranteed under sparse-observability and control barrier function assumptions.