Solvability, Operability, and Security for Cyber-Physical Systems New Computational Methods with Revised Assumptions

This paper discusses the use and integration of disparate but complementary tools for dealing with solvability, operability, and security challenges in Cyber-Physical Systems (CPSs): the Koopman operator for solvability, disjunctive programming for operability, and multi-level optimisation for secur...

Full description

Saved in:
Bibliographic Details
Published inJournal of information warfare Vol. 20; no. 2; pp. 1 - 26
Main Authors Bakker, C, Bhattacharya, A, Chatterjee, S, Oster, MR, Perkins, CJ, Pan, F
Format Journal Article
LanguageEnglish
Published Yorktown Peregrine Technical Solutions 01.04.2021
Subjects
Online AccessGet full text

Cover

Loading…
More Information
Summary:This paper discusses the use and integration of disparate but complementary tools for dealing with solvability, operability, and security challenges in Cyber-Physical Systems (CPSs): the Koopman operator for solvability, disjunctive programming for operability, and multi-level optimisation for security. These methods can obviate the need for some of the traditional assumptions used in modelling CPSs. This paper demonstrates the methods’ capabilities and considers ways to advance each method individually. It concludes by discussing how to integrate the different methods and identify useful synergies generated by doing so.
ISSN:1445-3312
1445-3347