咨询与建议

限定检索结果

文献类型

  • 2 篇 期刊文献

馆藏范围

  • 2 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 计算机科学与技术...
  • 1 篇 管理学
    • 1 篇 管理科学与工程(可...

主题

  • 2 篇 integer linear p...
  • 1 篇 computer circuit...
  • 1 篇 model predictive...
  • 1 篇 mixed
  • 1 篇 time model
  • 1 篇 hybrid systems
  • 1 篇 automation
  • 1 篇 logic synthesis
  • 1 篇 robust control
  • 1 篇 embedded systems
  • 1 篇 robust model pre...
  • 1 篇 firefighter prob...
  • 1 篇 specifications
  • 1 篇 discrete
  • 1 篇 uncertain system...
  • 1 篇 temporal logic s...
  • 1 篇 integer programm...
  • 1 篇 heuristics
  • 1 篇 predictive contr...
  • 1 篇 robust optimizat...

机构

  • 1 篇 basque fdn sci i...
  • 1 篇 univ granada dep...
  • 1 篇 univ cordoba dep...
  • 1 篇 univ basque coun...
  • 1 篇 department of co...
  • 1 篇 department of co...

作者

  • 1 篇 lozano m.
  • 1 篇 blum c.
  • 1 篇 raman vasumathi
  • 1 篇 rodriguez f. j.
  • 1 篇 farahani samira ...
  • 1 篇 garcia-martinez ...
  • 1 篇 murray richard m...

语言

  • 2 篇 英文
检索条件"主题词=Integer linear programming techniques"
2 条 记 录,以下是1-10 订阅
排序:
The firefighter problem: Empirical results on random graphs
收藏 引用
COMPUTERS & OPERATIONS RESEARCH 2015年 第Aug.期60卷 55-66页
作者: Garcia-Martinez, C. Blum, C. Rodriguez, F. J. Lozano, M. Univ Cordoba Dept Comp & Numer Anal E-14071 Cordoba Spain Univ Basque Country Dept Comp Sci & Artificial Intelligence San Sebastian Spain Basque Fdn Sci Ikerbasque Bilbao Spain Univ Granada Dept Comp Sci & Artificial Intelligence Granada Spain
The firefighter problem is a deterministic discrete-time model for the spread and containment of fire on a graph. Once the fire breaks out at a set of vertices, the goal addressed in this work is to save as many verti... 详细信息
来源: 评论
Robust Model Predictive Control for Signal Temporal Logic Synthesis
收藏 引用
IFAC-PapersOnLine 2015年 第27期48卷 323-328页
作者: Farahani, Samira S. Raman, Vasumathi Murray, Richard M. Department of Computing and Mathematical Sciences California Institute of Technology PasadenaCA United States Department of Control and Dynamical Systems California Institute of Technology PasadenaCA United States
Most automated systems operate in uncertain or adversarial conditions, and have to be capable of reliably reacting to changes in the environment. The focus of this paper is on automatically synthesizing reactive contr... 详细信息
来源: 评论