Automated Verification of Dynamical Systems over Continuous Data
Automated Verification of Dynamical Systems over Continuous Data
通过连续数据自动验证动态系统
批准号：
2894500
负责人：
金额：
$0.0万
依托单位：
依托单位国家：
英国
项目类别：
Studentship
财政年份：
2023
资助国家：
英国
项目状态：
未结题
起止时间：
2023 至 --
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
The aim of this project is to advance our understanding of fundamental computational problems concerning the long-term behaviour of linear dynamical systems. We study the automated verifiability of long-term properties for dynamical systems with continuous state-space. The framework for this is the bit-model of real computation.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
海外基金
