技术总结
本发明提供一种面向人机交互系统约束的交互控制模型求解方法及系统。所述面向人机交互系统约束的交互控制模型求解方法包括：对人机交互系统中的计算机控制与人工控制分别进行Petri网建模，得到相应的人机交互系统Petri网；分别建立相应的可达树，获取所述人机交互系统中的显性约束条件，并采用预设的约束推导方法得到所述人机交互系统的隐性约束条件；获取系统预设的初始配置，判断所述初始配置是否满足所有约束条件；当所述初始配置满足所述约束条件时，对所述约束条件进行控制处理，获得所述初始配置所对应的交互控制模型。本发明能够基于Petri网对人机交互系统进行约束条件求解和控制处理来获取交互控制模型。
技术研发人员：蒋昌俊;闫春钢;陈闳中;丁志军;邱豪杰
受保护的技术使用者：同济大学
文档号码：201610669363
技术研发日：2016.08.15
技术公布日：2017.01.04