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

全部

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

Sampled-data glucose regulation with reach-and-stay specifications through time-varying contracts

文献类型： 会议论文

第一作者： Ilaria Di Loreto

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

作者机构： 1.Department of Information Engineering, Computer Science, and Mathematics, 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

主办单位：

页码： 3002-3007

摘要： The complexity of the glucose-insulin system makes the glucose control problem a hard task to accomplish. In this context, a decentralized approach can be of help, through the exploitation of contracts theory, which allows to formalize the fulfillment of safety/invariance specifications over a system in terms of set of assumptions and guarantees over the composing subsystems. We here take a compositional model-based approach considering, as a first attempt, simplified scalar glucose and insulin subsystems. Assumptions and guarantees sets are piecewise-constant time-varying intervals, computed at sampling times, on the basis of the glucose measurements, so they are not completely known a priori. Updating the intervals may lead to temporary violation of the contracts, according to their classical definition, until the system reaches the new target set. By exploiting the property of monotonicity of the involved subsystems, we define a minimum-time reachability problem, which is solved in closed form to minimize the worst-case contract time violation, and such that the insulin subsystem is steered to a controlled invariant set (reach-and-stay specification). Simulations performed in a non-ideal scenario confirm the potential of the proposed approach.

分类号： tp273-53

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

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

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