Automated Verification of Dynamical Systems over Continuous Data
通过连续数据自动验证动态系统
基本信息
- 批准号：2894500
- 负责人：
- 金额：--
- 依托单位：
- 依托单位国家：英国
- 项目类别：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）
会议论文数量（0）
专利数量（0）
数据更新时间：{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
其他文献
Products Review
- DOI：
10.1177/216507996201000701 - 发表时间：
1962-07 - 期刊：
- 影响因子：2.6
- 作者：
- 通讯作者：
Farmers' adoption of digital technology and agricultural entrepreneurial willingness: Evidence from China
- DOI：
10.1016/j.techsoc.2023.102253 - 发表时间：
2023-04 - 期刊：
- 影响因子：9.2
- 作者：
- 通讯作者：
Digitization
- DOI：
10.1017/9781316987506.024 - 发表时间：
2019-07 - 期刊：
- 影响因子：0
- 作者：
- 通讯作者：
References
- DOI：
10.1002/9781119681069.refs - 发表时间：
2019-12 - 期刊：
- 影响因子：0
- 作者：
- 通讯作者：
Putrescine Dihydrochloride
- DOI：
10.15227/orgsyn.036.0069 - 发表时间：
1956-01-01 - 期刊：
- 影响因子：0
- 作者：
- 通讯作者：
的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('', 18)}}的其他基金
An implantable biosensor microsystem for real-time measurement of circulating biomarkers
用于实时测量循环生物标志物的植入式生物传感器微系统
- 批准号：
2901954 - 财政年份：2028
- 资助金额：
-- - 项目类别：
Studentship
Exploiting the polysaccharide breakdown capacity of the human gut microbiome to develop environmentally sustainable dishwashing solutions
利用人类肠道微生物群的多糖分解能力来开发环境可持续的洗碗解决方案
- 批准号：
2896097 - 财政年份：2027
- 资助金额：
-- - 项目类别：
Studentship
A Robot that Swims Through Granular Materials
可以在颗粒材料中游动的机器人
- 批准号：
2780268 - 财政年份：2027
- 资助金额：
-- - 项目类别：
Studentship
Likelihood and impact of severe space weather events on the resilience of nuclear power and safeguards monitoring.
严重空间天气事件对核电和保障监督的恢复力的可能性和影响。
- 批准号：
2908918 - 财政年份：2027
- 资助金额：
-- - 项目类别：
Studentship
Proton, alpha and gamma irradiation assisted stress corrosion cracking: understanding the fuel-stainless steel interface
质子、α 和 γ 辐照辅助应力腐蚀开裂：了解燃料-不锈钢界面
- 批准号：
2908693 - 财政年份：2027
- 资助金额：
-- - 项目类别：
Studentship
Field Assisted Sintering of Nuclear Fuel Simulants
核燃料模拟物的现场辅助烧结
- 批准号：
2908917 - 财政年份：2027
- 资助金额：
-- - 项目类别：
Studentship
Assessment of new fatigue capable titanium alloys for aerospace applications
评估用于航空航天应用的新型抗疲劳钛合金
- 批准号：
2879438 - 财政年份：2027
- 资助金额：
-- - 项目类别：
Studentship
Developing a 3D printed skin model using a Dextran - Collagen hydrogel to analyse the cellular and epigenetic effects of interleukin-17 inhibitors in
使用右旋糖酐-胶原蛋白水凝胶开发 3D 打印皮肤模型，以分析白细胞介素 17 抑制剂的细胞和表观遗传效应
- 批准号：
2890513 - 财政年份：2027
- 资助金额：
-- - 项目类别：
Studentship
Understanding the interplay between the gut microbiome, behavior and urbanisation in wild birds
了解野生鸟类肠道微生物组、行为和城市化之间的相互作用
- 批准号：
2876993 - 财政年份：2027
- 资助金额：
-- - 项目类别：
Studentship
相似国自然基金
NRG-1/miR143-3p通路调控奥氮平治疗作用抵抗机制与干预靶点确认
- 批准号：82373854
- 批准年份：2023
- 资助金额：49 万元
- 项目类别：面上项目
Fcγ受体驱动Ntrk1活化诱导巨噬细胞对抗体依赖性细胞吞噬获得性耐受的机制研究和靶标确认
- 批准号：82373892
- 批准年份：2023
- 资助金额：48 万元
- 项目类别：面上项目
APOBEC特征性突变作为卵巢透明细胞癌免疫治疗生物标志物的确认研究
- 批准号：82303968
- 批准年份：2023
- 资助金额：30 万元
- 项目类别：青年科学基金项目
针对严重耐药革兰阴性菌的药物新靶标确认及先导分子发现研究
- 批准号：82330110
- 批准年份：2023
- 资助金额：220 万元
- 项目类别：重点项目
白念珠菌F1Fo-ATP合酶中创新药靶的识别与确认研究
- 批准号：
- 批准年份：2022
- 资助金额：52 万元
- 项目类别：面上项目
相似海外基金
Collaborative Research: Operator theoretic methods for identification and verification of dynamical systems
合作研究：动力系统识别和验证的算子理论方法
- 批准号：
2027999 - 财政年份：2020
- 资助金额：
-- - 项目类别：
Standard Grant
Computational complexity and practice of verified and efficient algorithms for dynamical systems
动力系统的计算复杂性和经过验证的高效算法的实践
- 批准号：
20K19744 - 财政年份：2020
- 资助金额：
-- - 项目类别：
Grant-in-Aid for Early-Career Scientists
Collaborative Research: Operator theoretic methods for identification and verification of dynamical systems
合作研究：动力系统识别和验证的算子理论方法
- 批准号：
2028001 - 财政年份：2020
- 资助金额：
-- - 项目类别：
Standard Grant
Collaborative Research: Operator theoretic methods for identification and verification of dynamical systems
合作研究：动力系统识别和验证的算子理论方法
- 批准号：
2027976 - 财政年份：2020
- 资助金额：
-- - 项目类别：
Standard Grant
FMitF: Track II: Hybrid and Dynamical Systems Verification on the CPS-VO
FMITF：轨道 II：CPS-VO 上的混合动力系统验证
- 批准号：
1918450 - 财政年份：2019
- 资助金额：
-- - 项目类别：
Standard Grant