汽车电子ABS控制参数混合逻辑动态自标定研究

采用软硬件协同设计方法,提出基于汽车电子子系统模块化统一建模的动态仿真测试方法.参照汽车电子电控单元参数的匹配方法,提出了基于CCP协议在线调整ABS参数的匹配方法,并从理论上研究了基于MLD(Mixed Logical Dynamical)系统的ABS控制参数自动标定算法.并通过求解MIQP问题为ECU-ABS控制解出一个优化的控制序列.以ABS开发为例进行了说明和测试,对监控标定系统进行了试验,建立了完整的电控参数标定仿真、实验流程.提出的方法对其它汽车电子嵌入式实时软件开发,缩短调试、路试周期具有重要的意义.     

混合条件/事件Petri网在飞控系统建模中的应用

提出一种混合条件/事件Petri网,以方程和图形两种形式定义了其受控演变规则,该网能够很好地描述一类离散事件和连续演变过程的混合交互现象,并应用于自修复飞行控制过程的建模中,使其离散跳变、连续演变过程以及相互间的交互得到较好的描述与处理,并能将演变结果显化在图形上。     

常压炉加热系统形式建模的验证

文章运用基于流管道的混合动态系统形式验证方法,解决了常压炉加热系统工艺参数的验证问题;通过对常压炉加热系统的运行机理进行分析并建立混合自动机模型,应用状态可达集的过近似方法计算近似流管道;通过对近似流管道的分析,验证常压炉加热系统设定的燃料流量是否满足生产工艺要求;经多次验证,最终得到了燃料流量的取值范围。     

定性信号在混合状态与参数估计中的应用

为了利用实际工程中常可获得的各种测量信号,该文分析定性信号的特点,在某些时刻提取出定量信息,给出将所提取出的定量信息与连续测量信号共同用于混合系统状态估计的方法.同时,针对用于状态估计的模型难以避免误差的情形,在定性信号提取出的定量信息帮助状态估计的前提下,提出一种基于进化粒子滤波的方法,估计模型中存在误差的参数.仿真结果表明,该文提出的混合状态与参数估计方法是有效的,可以充分利用所获得的定性信号.     

Research of IDSS Architecture Based on Hybrid Systems

This paper discusses the necessity of building IDSS on hybrid systems, and adopts XML technology to manage isomeric knowledge in hybrid systems. The paper proposes a new architecture of hybrid systems based IDSS whose core system is isomeric knowledge system. The architecture is composed of knowledge component, problems processing system, data component and intelligent user interface. This new architecture aims to enhance the capability of integrating hybrid systems, to improve the supporting effectiveness of decision-making and the intelligent level of IDSS, and tries a new way to elevate the system＇s ability of handling and learning knowledge.     

串并联及混合系统可靠度的优化模型及算法

给出了多约束条件下串联、并联系统及单约束条件下混合系统，通过提高单元的可靠度而提高系统可靠度的优化模型及算法。     

混合系统的面向对象仿真

提出了一种新的混合系统自动机模型。该模型把混合系统看作是由系统行为模式集、连续状态空间、外部输入集、演化函数集、转移函数集、外部输入函数集等组成的六元组,对混合系统的行为具有很强的描述能力。在此基础上,利用面向对象思想,把混合系统看作由实体对象、时序对象和界面对象组合而成的对象,建立了混合系统的面向对象仿真模型,并讨论了其仿真逻辑。这一模型为混合系统的仿真提供了通用的框架。     

一类常规跳变系统的最优控制

在统一的混合系统的模型下，确切给出了跳变对混合系统最优控制的影响，并用变分学的方法研究了一类多阶段跳变系统的最优控制问题，在跳变时刻固定和非固定两种情形下，得到了控制问题达到最优的必要条件.     

基于混合系统的倒立摆的建模与仿真

针对倒立摆系统中摆杆的控制问题,从混合系统的角度出发,将单摆描述为一个混合自动机,运用不同控制策略之间的切换,构造能量控制器进行起摆控制,在工作平衡点运用线性反馈控制器进行稳定控制,实现将倒立摆从不同初始状态摆起并稳定在θ=0(工作位置)的目标位置。在MATLAB环境中建立单摆的Simulink仿真模型并通过CheckMate 3.6工具箱进行仿真,结果表明在不同初始条件下的单摆系统都能在较短时间内到达垂直向上位置并稳定。     

基于切换表面状态划分的倒立摆模型验证

针对仿真对不存在或难以寻找的问题,利用商迁移系统,给出了混合系统的验证过程。结合倒立摆模型给出的只对状态空间切换表面进行离散化的空间划分方法,相对于常规验证所采用的离散整个连续状态空间的方法,降低了系统分析的维数。提出将阈值切换切分为两类,明确了切换面的划分方式。