Safety Guard: Runtime Enforcement for Safety-Critical Cyber-Physical Systems: Invited.

Meng Wu Haibo Zeng Chao Wang Huafeng Yu

Published in: DAC (2017)

Keyphrases

safety critical
cyber physical systems
embedded systems
cyber physical
safety analysis
nuclear power plant
low cost
fault tolerant
formal methods
physical world
agent architecture
cyber security
software systems
support systems
access control
smart home
adaptive systems
decision support system
decision making