Safety-Guarantee Controller Synthesis for Cyber-Physical Systems

Pritam Roy Paulo Tabuada Rupak Majumdar

Published in: CoRR (2010)

Keyphrases

cyber physical systems
controller synthesis
cyber physical
autonomic computing systems
physical world
control system
closed loop
cyber security
multi agent
real time
critical infrastructure
social networks
embedded systems
control algorithm
public health
smart grid
computer simulation
neural network