Sign in

A Compositional Resilience Index for Computationally Efficient Safety Analysis of Interconnected Systems.

Luyao NiuAbdullah Al MarufAndrew ClarkJ. Sukarno MertogunoRadha Poovendran
Published in: CDC (2023)
Keyphrases
  • safety analysis
  • computationally efficient
  • safety critical
  • real time
  • complex systems
  • distributed systems
  • control system
  • nuclear power plant
  • symbolic model checking
  • fault model
  • multi agent systems