Contributions toward Scalability of Correct-by-Construction Control Software Synthesis

著录项

• 作者

  Hussien, Omar Abdellatif E. A.;

  展开▼
• 作者单位

  University of California Los Angeles.;

  展开▼
• 授予单位 University of California Los Angeles.;
• 学科
• 学位 Ph.D.
• 年度 2018
• 页码 68 p.
• 总页数 68
• 原文格式 PDF
• 正文语种 eng
• 中图分类 AAI10975443;
• 关键词

  CPS; Control software; Correct-by-construction; Cyber-physical systems;

  机译：CPS;控制软件;逐建筑;网络物理系统;