发明专利已授权

一种基于时间自动机的无人机飞控程序建模与验证方法

Name: 一种基于时间自动机的无人机飞控程序建模与验证方法
Brand: 南京信息工程大学
SKU: 2020113516432
Availability: InStock

📄 申请号：CN202011351643.2 📄 发布日：2026/08/10

著录项目信息

申请日

2020-11-26

公开号

CN112486141A

公开日

2021-03-12

申请人

南京信息工程大学

法律状态

已下证

专利类型

发明

主分类号

G05B23_02

IPC 分类号

G05B23_02

技术画像

所属领域

其他分类其他

应用场景

无人机飞行控制, 安全关键系统验证, 航空电子软件验证, 嵌入式系统设计

AI 智能推荐 · 同申请人专利 · 搜索相似专利

摘要

本发明公开了一种基于时间自动机的无人机飞控程序建模与验证方法，包括：将无人机飞控程序的命令交互过程分为主控进程、消息传输、无线信道，定义时间自动机模型中的状态与变迁特性；建立无人机飞控程序的时间自动机模型，使用形式化验证工具进行状态空间搜索，验证无人机飞控程序运行过程的时序正确；针对无人机工作环境的干扰，在状态与变迁特性中定义干扰因素，并重新生成时间自动机模型的关联矩阵，验证模型的有界性，即无人机飞控程序执行的时效性能在有限时间内进行确认；基于概率统计对通信时间消耗进行分析，验证无人机飞控程序运行过程能在预定的时间内完成。本发明可提高无人机在复杂环境下的鲁棒性。

常见问题

这项专利是否已经下证？

是的，该专利已下证，法律状态为“已下证”，公开号： CN112486141A

购买这项专利需要经过哪些流程？

平台提供担保交易、全程代办转让手续。买家可委托平台代购，平台协助完成权属尽调、合同签署、国家知识产权局著录项目变更等流程。

该专利的转让价格是多少？

当前标价为议价，可委托平台代购或预约谈判。

权利要求书 (12项) 说明书附图

……

图1

图2

图3

法律状态时间线

20220902

✅ 授权

20210330

?? 实质审查的生效：

20210312

📄 公开

基于生物修复的自巡陀螺仪

当前第 / 件

基于AGA-XGBoost和GWO-SVM的气象数据分类方法

同领域国内专利 · IPC: (G05B23_02)

G05B23_02 覆盖1个领域

相似专利推荐 AI 驱动 · 同领域

暂无同领域相似专利推荐

议价

不含过户费

📋 交易方式： 委托待转让 📌 交易状态：在售 👁️ 浏览次数：31 ❤️ 收藏人数：93 📋 项目申报： 未申报

资金托管权属尽调包过户

🏢 淄博智来知识产权服务有限公司

✓ 企业认证✓ 手机绑定历史成交 2657件好评率 98.5%

📊 出价记录 (3条)

王**¥-10万

李** 企业¥-8万

陈**¥-3万

查看全部出价

我要出价 (议价)