Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems.

Meng Wu Jingbo Wang Jyotirmoy Deshmukh Chao Wang

Published in: FMCAD (2019)

Keyphrases

cyber physical systems
cyber physical
distributed databases
embedded systems
low cost
decision support system