Secure-by-construction synthesis of cyber-physical systems.

Siyuan Liu Ashutosh Trivedi Xiang Yin Majid Zamani

Published in: Annu. Rev. Control. (2022)

Keyphrases

cyber physical systems
cyber physical
cyber security
physical world
embedded systems
real time
data mining
data warehouse
human computer interaction