Login / Signup

Automated synthesis of cyber-physical systems from joint controller/architecture specifications.

Debayan RoyLicong ZhangWanli ChangSamarjit Chakraborty
Published in: FDL (2016)
Keyphrases
  • cyber physical systems
  • cyber physical
  • real time
  • cyber security
  • embedded systems
  • control system
  • physical world
  • intrusion detection
  • low cost
  • smart grid
  • controller synthesis