14 citations · 72 across the 41 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
eess.SY2019
Linear Temporal Logic Satisfaction in Adversarial Environments using Secure Control Barrier Certificates
Bhaskar Ramasubramanian, Luyao Niu, Andrew Clark +2
This paper studies the satisfaction of a class of temporal properties for cyber-physical systems (CPSs) over a finite-time horizon in the presence of an adversary, in an environmen…
eess.SY2019★ 14 cited
Optimal Secure Control with Linear Temporal Logic Constraints
Luyao Niu, Andrew Clark
Prior work on automatic control synthesis for cyber-physical systems under logical constraints has primarily focused on environmental disturbances or modeling uncertainties, howeve…