一类混合动态系统的控制综合

对由一系列传输带构成的运输系统的混合系统控制问题进行了研究，建立了基于自动机原理的传输带混合控制模型．将混合控制系统中离散事件的变换过程用真值表表示，并设计出相应的逻辑电路图以实现自动机的功能，从而实现控制综合的目的．结果表明，对此类混合系统的控制综合可以利用基于离散事件系统监督控制的方法来实现．     

基于面向对象Petri网的电梯群控系统建模

电梯群控系统是一种典型的离散事件动态系统,这体现在乘客到达的起始层、目的层和到达时间的随机性,所以,很难用一个传统的数学模型表达式来表示。提出了一种应用面向对象Petri网对该系统进行建模的方法,该方法在对电梯运行情况充分研究的基础上,分别建立电梯运行和电梯控制器Petri网模型,从而构造电梯群控系统模型。该建模方法不仅适用于电梯群控系统,而且适用于其它离散事件动态系统。     

混合系统状态模型与对象模型的分析研究

为充分完全的建模混合系统的特性,提出从不同角度对混合模型进行建模。在此理论基础上,对混合系统进行两种不同模型的建模:基于自动机的状态模型,以及从系统理论出发的混合系统对象模型,并建立这两种模型的形式化表达,以此表达为基础,进一步分析了这两种模型之间的相互关系,以及它们的特点和应用范围。为混合系统建模及其应用提供理论参考。最后通过一个应用实例证实两种模型的正确和有效。     

混合系统及其建模

在概述混合系统概念、特点、发展近况以及混合系统框架的基础上，介绍了混合系统研究中的建模问题，重点介绍了等价离散事件模型、混合自动机、Petri网、时段演算及其扩展等建模方法，最后介绍了混合系统研究中的一些重要成果以及一些仿真方法。     

混合系统的面向对象仿真

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

一类非线性混合系统的脉冲混合控制器设计

考虑了一类基于有限状态自动机的非线性混合动态系统,该混合系统由离散事件子系统和连续变量子系统构成。其离散事件子系统为有限状态自动机,连续变量子系统由几个具有脉冲的严格反馈非线性系统组成。结合有限状态自动机的相关理论、Backstepping方法以及脉冲控制设计了一种脉冲混合控制器,给出了整个系统在该控制器作用下渐近稳定的充分条件,构造混合多Lyapunov函数,并应用该函数和线性矩阵不等式(linear matrix inequality, LMI)技术证明了闭环系统渐近稳定性。最后,通过仿真实例验证了该方法的有效性。     

基于混合Petri网的HVDC控制系统模型的研究

高压直流输电(HighVoltageDirectCurrentTransmission,缩写为HVDC)控制系统是一典型离散事件和连续动态行为相互作用的混合系统,引入混合系统的有效建模工具:混合Petri网(HybridPetriNet缩写为HPN),根据HVDC控制系统的运行特性,采用HPN对HVDC控制系统进行建模。该模型将控制系统分成离散逻辑部分、连续动态部分和状态识别接口部分来描述。由离散逻辑部分进行协调HVDC运行方式的切换,连续动态部分进行实时调节,状态识别接口部分实现对系统状态的识别并驱动离散部分的改变。通过对结合国际大电网会议CIGRE标准系统的仿真,验证了基于HPN的HVDC控制系统模型在HVDC系统在正常及故障情况下均有良好的响应特性。     

混杂系统粒子滤波混合状态估计及故障诊断算法

混杂系统同时包含连续动态特性和离散动态特性,并且两种动态相互作用,使其故障诊断变得更加困难。针对此问题,提出了一种混合系统粒子滤波混合状态估计及故障诊断算法,提高了现有方法的适用范围和诊断效率。针对混杂系统受控迁移、自治迁移和随机迁移等特点,首先利用随机混杂自动机对系统离散状态(包括故障)和连续状态进行统一建模,重点对现有基于扩展卡尔曼粒子滤波的连续估计算法进行改进,支持利用在线监测数据来估计混杂系统各类迁移产生的各种离散和连续状态,最后根据离散状态估计结果快速实现故障诊断。通过对典型非线性混杂系统的故障诊断,证明了该方法的有效性。     

一类混杂系统的推广自动机模型及其仿真

通过分析混杂系统的特点,以混杂系统自动机建模理论为基础,结合一种特殊的并行投影结构（Projection Construct）,提出了针对混杂系统的推广自动机模型。该模型着眼于连续状态空间的划分。并行投影结构有效的处理了离散事件动态子系统和连续变量动态子系统之间的接口问题。该方法获得的混杂系统模型由图形的方式表示,简单直观。最后用两个实例介绍了推广自动机模型的建模过程,并借助Matlab环境中的Stateflow工具箱,对模型进行了仿真,结果表明该模型能够很好地解决混杂系统中离散部分和连续部分的同步协调问题。     

城市增长时空系统动态学模拟研究

将Forrester城市动态学与元胞自动机相结合,建立了城市增长的时空动态模拟模型,采用美国Vermont大学生态经济研究所开发的空间建模环境(SME),对北京城市增长进行了模拟研究.研究表明,综合了各种自然物理和社会经济变量与规则的离散时空系统动态学模拟模型,是探讨城市增长复杂性管理的有效手段.     

THE 8~(th) INTERNATIONAL CONGRESS ON INDUSTRIAL AND APPLIED MATHEMATICS

正August 10-14,2015Beijing,ChinaThe International Congress on Industrial and Applied Mathematics(ICIAM)is the premier international congress in the field of applied mathematics held every four years under the auspices of the International Council for Industrial and Applied Mathematics.From August 10 to 14,2015,mathematicians,scientists     

2014 List of Referees

正~~     

《Journal of Systems Science and Systems Engineering》Contents of Volume 23,2014

正~~     

TSINGHUA UNIVERSITY,Beijing, China

正AF:Any Field The School of Economics and Management at Tsinghua University(Tsinghua SEM)invites applications for faculty positions at all levels(Assistant Professor,Associate Professor and Full Professor)in any fields of business administration and management.Tsinghua SEM is the only school     

Call for Papers The 12th International Conference on Service Systems and Service Management ICSSSM'15

正June 22-24,2015Guangzhou,China http://iec.cnsba.com/index.htmlCo-Sponsored by:ffiEE SMC(pending)South China University of Technology The Chinese University of Hong Kong Tsinghua UniversityHosted bv:School of Business Administration,South China University of Technology,China Conference Co-Chairs:     

The 12th International Conference on Service Systems and Service Management ICSSSM'15

正~~