Building Correct Hybrid Systems using Event-B and Sagemath: Illustration by the Hybrid Smart Heating System Case Study

2022 26th International Conference on Engineering of Complex Computer Systems (ICECCS)（2022）

引用 1|浏览6

暂无评分

摘要

Cyber-physical systems allow interactions with the physical world using a network of sensors and actuators. They also form basis of future technologies via engaging in innovating within many crucial fields: health, transport, smart grid, etc. Modeling cyber-physical systems requires handling the evolution of continuous measurements. Generally this evolution is repre-sented by ordinary differential...

查看译文

关键词

Heating systems,Actuators,Buildings,Ordinary differential equations,Cyber-physical systems,Mathematical models,Sensor systems

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要