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