23 citations · 30 across the 5 of their papers we have counts for
6 papers
Reducing Attack Opportunities Through Decentralized Event-Triggered Control
Paul Griffioen, Raffaele Romagnoli, Bruce H. Krogh +1
Decentralized control systems are widely used in a number of situations and applications. In order for these systems to function properly and achieve their desired goals, informati…
Ensuring Resilience Against Stealthy Attacks on Cyber-Physical Systems
Paul Griffioen, Bruce H. Krogh, Bruno Sinopoli
This article provides a tool for analyzing mechanisms that aim to achieve resilience against stealthy, or undetectable, attacks on cyber-physical systems (CPSs). We consider attack…
Design of Software Rejuvenation for CPS Security Using Invariant Sets
Raffaele Romagnoli, Bruce H. Krogh, Bruno Sinopoli
Software rejuvenation has been proposed as a strategy to protect cyber-physical systems (CSPs) against unanticipated and undetectable cyber attacks. The basic idea is to refresh th…
Software Rejuvenation for Secure Tracking Control
Raffaele Romagnoli, Bruce H. Krogh, Dionisio de Niz +1
Software rejuvenation protects cyber-physical systems (CSPs) against cyber attacks on the run-time code by periodically refreshing the system with an uncorrupted software image. Th…
Forward Invariant Cuts to Simplify Proofs of Safety
Nikos Arechiga, James Kapinski, Jyotirmoy Deshmukh +2
The use of deductive techniques, such as theorem provers, has several advantages in safety verification of hybrid sys- tems; however, state-of-the-art theorem provers require ex- t…
On Zone-Based Analysis of Duration Probabilistic Automata
Oded Maler, Kim G. Larsen, Bruce H. Krogh
We propose an extension of the zone-based algorithmics for analyzing timed automata to handle systems where timing uncertainty is considered as probabilistic rather than set-theore…