-
Patent Agency Ranking
公开(公告)号：CN116224971A
公开(公告)日：2023-06-06
申请号：CN202310357080.5
申请日：2023-04-06
Applicant: 南京大学
IPC: G05B23/02
Abstract: 本发明公开了一种驾驶控制系统的场景测试方法、装置、介质及设备。该方法输入状态迁移图，然后基于状态迁移图通过场景样本的循环迭代变异的方式，逐步对状态迁移图中的各个状态迁移实现其测试覆盖。在进行循环迭代变异时以场景样本的仿真输出为参照，使得迭代过程中能够快速收敛于其对应状态迁移完成覆盖测试的目标。本发明能够很直观地测试出驾驶控制系统的对驾驶环境的处理能力和水平，测试效率高。
-
公开(公告)号：CN113296394A
公开(公告)日：2021-08-24
申请号：CN202110526125.8
申请日：2021-05-14
Applicant: 南京大学
Abstract: 本发明公开了一种混成系统最优控制生成方法和装置。该方法首先遍历控制流图，提取出节点路径组成控制模式序列，然后，为每个控制模式序列构建不满足度计算表达式，然后每个控制模式序列找出其最优的控制配置序列，根据每个控制模式序列所对应的最优的控制配置序列的目标控制值，后选取目标控制值最小所对应的控制模式序列作为输出。其中，找出最优的控制配置序列时，通过对各个控制量的取值范围进行迭代采样评估得到。本发明为一般的混成系统最优控制生成问题提供了通用的解决方案，不需要使用者具有针对性的专业知识，普通用户也可按照工具说明进行使用。并且本发明对含有大量约束的复杂控制问题具有良好的可行性。
-
公开(公告)号：CN118244641A
公开(公告)日：2024-06-25
申请号：CN202410367008.5
申请日：2024-03-28
Applicant: 南京大学
IPC: G05B13/04
Abstract: 本发明公开了一种混成系统最优控制生成的方法、装置、介质和设备。该方法首先将混成系统中各个组件的控制模式流图通过乘积合并成整体，然后通过指定深度的方式遍历整体控制模式流图的控制模式路径组成路径集合，并确定控制量的取值范围。然后通过在控制量的取值范围内随机取值生成随机样本，根据预先设定的控制目标表达式计算在随机选择的控制模式路径下的评估值，通过评估值确定样本控制混成系统的优劣，然后基于评估值和样本中控制量采样值对控制量的取值范围优化，通过不断的循环迭代，使得控制量的取值范围不断缩限，从而使得随机样本不断优化，最终将最优的随机样本作为混成系统最优控制输出。
-
公开(公告)号：CN113296394B
公开(公告)日：2022-05-17
申请号：CN202110526125.8
申请日：2021-05-14
Applicant: 南京大学
Abstract: 本发明公开了一种混成系统最优控制生成方法和装置。该方法首先遍历控制流图，提取出节点路径组成控制模式序列，然后，为每个控制模式序列构建不满足度计算表达式，然后每个控制模式序列找出其最优的控制配置序列，根据每个控制模式序列所对应的最优的控制配置序列的目标控制值，后选取目标控制值最小所对应的控制模式序列作为输出。其中，找出最优的控制配置序列时，通过对各个控制量的取值范围进行迭代采样评估得到。本发明为一般的混成系统最优控制生成问题提供了通用的解决方案，不需要使用者具有针对性的专业知识，普通用户也可按照工具说明进行使用。并且本发明对含有大量约束的复杂控制问题具有良好的可行性。
-
公开(公告)号：CN108694285A
公开(公告)日：2018-10-23
申请号：CN201810466424.5
申请日：2018-05-16
Applicant: 南京大学
IPC: G06F17/50
CPC classification number: G06F17/5009
Abstract: 本发明公开了一种分析组合线性混成自动机全局可达的方法和装置。本发明通过对组合线性混成自动机进行路径编码，编码成相应的SAT约束和SMT约束，经相应的SAT约束求解器和SMT约束求解器求解实现有界模型检验，并在检验过程中利用SMT约束求解器收集不可达路径片段。然后将不可达路径片段编码成相应的LTL约束，通过LTL验证工具验证组合线性混成自动机全局可达性。本发明可验证复杂组合线性混成自动机的全局可达性。
-
-
-
-
Search Results
5
records
(took 0.014 seconds)
