[发明专利]用于自主系统的开发和实时应用的形式化验证在审
| 申请号： | 202080048612.1 | 申请日： | 2020-05-07 |
| 公开（公告）号： | CN114207533A | 公开（公告）日： | 2022-03-18 |
| 发明（设计）人： | M·纳德希尔 | 申请（专利权）人： | 科特罗尔有限责任公司 |
| 主分类号： | G05B17/02 | 分类号： | G05B17/02 |
| 代理公司： | 广州嘉权专利商标事务所有限公司 44205 | 代理人： | 韩茂 |
| 地址： | 奥地*** | 国省代码： | 暂无信息 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本文描述的一个实施例涉及一种用于监督动态系统(例如交通工具)的方法。该方法包括接收系统状态样本，以及针对特定时刻、基于当前系统状态和表示动态系统的系统模型来计算系统状态的可达集合。该方法还包括计算通用规则的特定表现形式的数学表示，并且基于可达集合和通用规则的特定表现形式的数学表示来计算系统状态的允许子集。此外，该方法包括测试系统状态样本是否在允许子集内。 | ||
| 搜索关键词： | 用于 自主 系统 开发 实时 应用 形式化 验证 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于科特罗尔有限责任公司，未经科特罗尔有限责任公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202080048612.1/，转载请声明来源钻瓜专利网。
- 上一篇：组合疗法方法、组合物和试剂盒
- 下一篇：奶酪和酸奶样组合物以及相关方法
