网络物理和自治系统

网络物理系统由感知和控制快速变化的物理环境的计算机组成. 此类系统的例子包括自动运输(自动驾驶汽车), 交通网络, 能量分布, 电网, 空中交通管制和综合医疗设备. 最近, 人工智能和机器人技术的进步已经产生了自主(网络物理)系统，可以根据环境变化做出决策, 通常没有人为干预. 网络物理系统通常对安全至关重要. 这些系统的故障可能导致人命损失. 因此，关键的挑战是设计它们，让人们可以把生命托付给它们. 结果是, 为这些系统的正确性和性能提供严格的保证是极其重要的.

博彩平台推荐小组研究的基本问题整合了计算理论的思想, 算法, 编程语言, 动力学与控制, 凸优化, 博弈论与嵌入式系统.

博彩平台推荐还与人工智能/机器人(自动驾驶汽车的自动合成控制器)领域的研究人员合作解决社会感兴趣的问题。, 人机交互(帮助人们在不坠毁的情况下学习驾驶无人机), 航空航天工程(自主无人机任务的学习要求)和UC Anschutz医学院(使用自主医疗设备治疗1型糖尿病). 

当前感兴趣的主题包括: 

  • 混合动力系统的形式化验证与控制
  • 自治系统的运行时监控 
  • 支持人工智能的网络物理系统的安全性
  • 安全关键医疗设备:植入式除颤器和人工胰腺.
  • 分布式优化与控制
  • 博弈理论
  • 强化学习
  • 学习和顺序决策

课程: 

  • CSCI 5854:自治系统的基础
  • CSCI 5654:线性与整数规划
  • CSCI 7135:概率规划
  • CSCI 5254:凸优化及其应用

附属中心及跨学科研究主题:

新闻学院

教师

附属学院