Author: John Rushby
-
The Versatile Synchronous Observer
The paper describes and illustrates these applications of synchronous observers.
-
Safety Envelope for Security
We present an approach for detecting sensor spoofing attacks on a cyber-physical system. Our approach consists of two steps. In the first step, we construct a safety envelope of the system. In the second step, we build an attack detector: a monitor that executes synchronously with the system and raises an alarm whenever the system state falls outside…
-
Logic and Epistemology in Safety Cases