Login / Signup
A Novel Framework for the Design of Resilient Cyber-Physical Systems Using Control Theory and Formal Methods.
Kelvin Anto
Akshya Kumar Swain
Partha 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