Collaborative Research: A Hybrid Systems Framework for Scalable Analysis and Design of Communications Networks

协作研究：用于通信网络可扩展分析和设计的混合系统框架

• 批准号: 0322476
• 负责人: Joao Hespanha
• 金额: $ 18万
• 依托单位: University of California-Santa Barbara
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2003
• 资助国家: 美国
• 起止时间: 2003-08-01 至 2007-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0322476&HistoricalAwards=false
• 关键词: Collaborative; Research; Hybrid; Systems; Framework

This collaborative project delineates an ambitious multi-disciplinary three-year research and education plan to develop a scalable framework for modeling, analysis, and design of protocols for heterogeneous communication networks. It encompasses the design of models for hybrid networks and will provide tools for protocol design and analysis. Hybrid models combine discrete events with continuously varying quantities. They allow some of the discrete events that occur in computer networks to be aggregated and, as a result, networks can be described in terms of continuously varying quantities (such as rates of occurrence of events). However, they can still retain discrete events of interest (e.g., transitions between modes of congestion control, blackouts in wireless networks, changes in routing, etc.). Different aggregation levels result in multi-resolution models, which scale to arbitrarily large, high-bandwidth networks and thus constitute invaluable tools for protocol design and evaluation. The research proposed will produce the scientific foundation for a scalable methodology to study heterogeneous data communication networks, including the development of multi-resolution models for large-scale, heterogeneous communication networks based on a hybrid systems formalism, development of model-based tools for formal analysis of data communication networks, and in particular, for evaluating and tuning network protocols, and, development of model-based control-theoretical tools for designing network protocols that satisfy application-specific (e.g., bounds on sending rate variation) and/or general (e.g., fairness) performance constraints.

这个合作项目描绘了一个雄心勃勃的多学科研究和教育计划，以开发一个可扩展的框架，用于异构通信网络的协议建模，分析和设计。它包括混合网络模型的设计，并将提供协议设计和分析的工具。混合模型将联合收割机离散事件与连续变化的量相结合。它们允许计算机网络中发生的一些离散事件被聚合，因此，网络可以用连续变化的量（例如事件发生率）来描述。然而，它们仍然可以保留感兴趣的离散事件（例如，拥塞控制模式之间的转换、无线网络中的中断、路由的改变等）。不同的聚合级别导致多分辨率模型，其可扩展到任意大的高带宽网络，从而构成协议设计和评估的宝贵工具。拟议的研究将产生一个可扩展的方法来研究异构数据通信网络的科学基础，包括基于混合系统形式主义的大规模异构通信网络的多分辨率模型的开发，基于模型的工具的开发，用于数据通信网络的形式分析，特别是用于评估和调整网络协议，以及，开发基于模型的控制理论工具来设计满足特定应用的网络协议（例如，发送速率变化的界限）和/或一般的（例如，公平性）性能约束。