您好，欢迎访问中国农业科学院 机构知识库！

全部

  • 全部
  • 标题
  • 学者
  • 机构
  • 关键词

An assume-guarantee approach to sampled-data quantized glucose control

文献类型： 会议论文

第一作者： Ilaria Di Loreto

作者： Ilaria Di Loreto 1 ; Alessandro Borri 2 ; Maria Domenica Di Benedetto 1 ;

作者机构： 1.Center of Excellence for Research DEWS, University of L'Aquila, Italy

2.CNR-IASI Biomathematics Laboratory, National Research Council of Italy, Rome, Italy

会议名称： IEEE Conference on Decision and Control

主办单位：

页码： 3401-3406

摘要： Contract-based design is a compositional approach that enables to satisfy specifications for complex systems by partitioning responsibilities among the constituent subsystems. A natural application of assume-guarantee reasoning arises in the context of biological systems, which are composed of different modules, each responsible for particular actions. This work presents an application of the assume-guarantee contracts theory to the glucose regulation system, a topic of major importance in diabetes treatment, in the context of the so-called Artificial Pancreas. The glucose control problem is defined and solved in a decentralized way by defining suitable contracts to be satisfied by the glucose and insulin subsystems, while the framework naturally takes into account sampling and quantization arising from the digital environment. The results show that the approach is feasible and promising for further investigation.

分类号： TP13

  • 相关文献
作者其他论文 更多>>
置顶
购物车
反馈

© 京ICP备09089781号-29 主办单位：中国农业科学院

学术资源： 中国农业科学院 农业专业知识服务系统 农科联盟资源共建共享平台 中国农业科技文献与信息服务平台 中国农业期刊集成服务平台