We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.SY

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Systems and Control

Title: Sampling based Computation of Viability Domain to Prevent Safety Violations by Attackers

Abstract: This paper studies the security of cyber-physical systems under attacks. Our goal is to design system parameters, such as a set of initial conditions and input bounds so that it is secure by design. To this end, we propose new sufficient conditions to guarantee the safety of a system under adversarial actuator attacks. Using these conditions, we propose a computationally efficient sampling-based method to verify whether a set is a viability domain for a general class of nonlinear systems. In particular, we devise a method of checking a modified barrier function condition on a finite set of points to assess whether a set can be rendered forward invariant. Then, we propose an iterative algorithm to compute the set of initial conditions and input constraint set to limit what an adversary can do if it compromises the vulnerable inputs. Finally, we utilize a Quadratic Program approach for online control synthesis.
Subjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
Cite as: arXiv:2110.08632 [cs.SY]
  (or arXiv:2110.08632v1 [cs.SY] for this version)

Submission history

From: Kunal Garg [view email]
[v1] Sat, 16 Oct 2021 18:07:52 GMT (4548kb,D)

Link back to: arXiv, form interface, contact.