[00275596]面向线性混成系统的等价迁移系统构造方法
交易价格：
面议
所属行业：
控制系统
类型：
发明专利
技术成熟度：
正在研发
专利所属地：中国
专利号：CN201310145470.2
交易方式：
技术转让
技术转让
技术入股
联系人：
南京大学
进入空间
所在地：江苏南京市
- 服务承诺
- 产权明晰
-
资料保密
对所交付的所有资料进行保密
- 如实描述
技术详细介绍
本发明提供一种面向线性混成系统的等价迁移系统构造方法，包括输入侧和输出侧，输入侧为线性混成系统模型，输出侧为迁移系统模型，其中：以线性混成自动机作为线性混成系统模型表示为H＝(X,Σ,V,E,V0,α,β,γ)，其中：X为实数值系统变量的有限集合且X中变量的个数为混成自动机的维度，Σ为事件名的有限集合，V是位置节点的有限集合，转换系统中引入时间变量t来代表一个任意时间长度的时间段，同时在每个节点v上添加指向自己的状态迁移τ形成自循环来模拟位置节点v内部的连续变化。根据节点变化率和t计算可得节点当前状态与迁移后的新状态间取值关系。本发明的转换系统可将线性混成系统模型等价转换成迁移系统模型，使现有的用于迁移系统的分析验证工具能够用于线性混成系统验证。
本发明提供一种面向线性混成系统的等价迁移系统构造方法，包括输入侧和输出侧，输入侧为线性混成系统模型，输出侧为迁移系统模型，其中：以线性混成自动机作为线性混成系统模型表示为H＝(X,Σ,V,E,V0,α,β,γ)，其中：X为实数值系统变量的有限集合且X中变量的个数为混成自动机的维度，Σ为事件名的有限集合，V是位置节点的有限集合，转换系统中引入时间变量t来代表一个任意时间长度的时间段，同时在每个节点v上添加指向自己的状态迁移τ形成自循环来模拟位置节点v内部的连续变化。根据节点变化率和t计算可得节点当前状态与迁移后的新状态间取值关系。本发明的转换系统可将线性混成系统模型等价转换成迁移系统模型，使现有的用于迁移系统的分析验证工具能够用于线性混成系统验证。
