Login / Signup

A Novel Framework for the Design of Resilient Cyber-Physical Systems Using Control Theory and Formal Methods.

Kelvin AntoAkshya Kumar SwainPartha S. Roop
Published in: IEEE Access (2023)
Keyphrases
  • formal methods
  • control theory
  • knowledge based systems
  • formal specification
  • cyber physical systems
  • artificial intelligence
  • knowledge acquisition
  • model checking