与线性混杂自动机等价的状态依赖空间模型

混杂系统可以由多种等价系统进行描述,本文研究用状态依赖空间模型对线性混杂自动机进行描述,线性混杂自动机是一类自治的不确定性系统,而状态依赖空间模型是含有输入的确定性系统.在状态依赖空间模型中,通过增加输入变量可以描述线性混杂自动机转换过程中的不确定性,进而将其转换成等价的状态依赖空间模型.本文所提到的等价性是指两个系统产生的轨迹是相同的.     

混杂系统研究综述

混杂动态系统是当今研究的热点。本文对混杂动态系统的研究进行了概述,在介绍混杂系统概念的基础上,对系统模型的分类,特别是对系统的分析及优化进行了总结,并对以后的研究方向进行了展望。     

基于混合逻辑动态模型的混杂系统预测控制

针对过程工业控制对象的混杂特性，采用基于混合逻辑动态模型的预测控制策略。给出混杂系统的建模方法，并对其稳定性进行分析。仿真结果表明基于混合逻辑动态模型的预测控制能使混杂系统跟踪设定值并满足操作约束，为研究新一代复杂工业控制系统提供了新的思路。     

基于Matlab状态流的混杂系统仿真设计

混杂系统是集连续动态和离散事件为一体的复杂系统，是近十余年来控制理论研究领域的热门课题，混杂动态系统的研究为解决一类复杂的、非线性的大系统提供了一个很好的理论框架，计算机仿真是分析和研究混杂系统的有效工具。该文在分析混杂系统仿真关键问题的基础上，提出如何应用MATLAB环境中的状态流工具箱，实现基于混杂自动机模型的混杂系统仿真，并就典型混杂系统给出仿真实例。结果表明，应用MATLAB状态流工具箱进行混杂系统仿真，具有很好的可视化，而且混杂系统的离散和连续两部分可以很好的同步协调，结构简单而明了，效果很好。     

化工过程控制混杂系统及其Petri网描述

强调混杂系统的分析，研究了一类化工过程控制系统的混杂系统特性，建立了由过程层、监控层和调度层组成的混杂系统多层混合模型结构。论文分别讨论了各层混杂系统的模型形式，特别对过程控制层混杂系统模型进行了详细的描述。引入Petri网作为描述化工过程控制混杂系统的方法，以化工溶剂回收过程为例，建立了基于混合Petri网的过程控制层的模型。论文的工作为深入研究化工过程控制混杂系统奠定了基础。     

基于一种新型混杂Petri网的混杂系统建模与控制

为了增强混杂Petri网模型描述能力和克服一阶混杂Petri网模型语义错误的问题，定义一种新的混杂Petri网模型——广义混杂Petri网，提出了相应的迁移使能和迁移引发语义．通过划分标识等价类提出了广义混杂Petri网连续迁移瞬时引发速率的有效求解方法和模型行为演变分析方法．给出了广义混杂Petri网模型的混杂系统建模实例，同时结合模型行为演变和线性规划实现了混杂系统的优化控制．研究结果表明，所定义的模型描述能力更强，模型语义正确合理．能够有效描述和分析混杂系统．     

费斯托气伺服仓库混杂系统建模与分析

费斯托公司气伺服仓库的工件供给与提取具有离散事件状态转移的系统特征,另一方面三维气伺服手臂和传送带具有连续系统运动特征,表明费斯托气伺服仓库是一个典型的混杂系统。基于此,采用了瑞士联邦理工大学混杂系统研究中心开发的混杂系统建模架构及其描述语言和基于滚动优化算法的混杂系统控制器为费斯托气伺服仓库建立混杂系统模型,并在MATLAB/Simulink Hybrid Toolbox环境下进行仿真,对气伺服仓库工件的存数数量,气臂的动作与行程,进出货时间的调度进行优化控制。     

离散事件系统理论研究和应用进展（Ⅰ）

介绍离散事件动态系统理论各主要方面近几年的新进展以及它们在各方面的应用情况。特别着重强调了一些新方向和新问题，如混杂系统、动态对策等，以及它们在机械、电子等制造过程以及通讯和计算机系统中的应用。最后从基础性研究的角度对ＤＥＤＳ研究的未来发展方向提出了一些想法和建议。本文为综述的第一部分。     

混杂系统的虚拟对象实验室平台建设

通过对混杂系统典型实例即三水箱系统特性的分析,从系统安全的角度讨论了用于控制该系统离散状态切换序列的基于混杂自动机描述的贪婪型与周期型控制策略.依据此控制策略,利用VC＋＋与Matlab的混合编程技术开发了该混杂系统的虚拟对象实验室平台.通过对三水箱系统及仿真环境参数的设置,此平台不仅可以形象地演示虚拟对象在不同初始条件下的混杂特性,而且可以实现预定的控制策略并进行仿真研究,从而为具有此类混杂特性的混杂系统的深入研究,提供了一个虚拟的实验环境.     

混杂系统的扩展时间自动机模型及验证研究

混杂系统复杂度高且涉及领域广,没有通用的方法来解决分析、设计等问题。为解决一类工业控制混杂系统的建模和验证问题,对时间自动机进行了语义扩展,使其含有连续变量以及映射在其上的约束,使用扩展后的时间自动机对此类混杂系统进行建模,采用验证工具UPPAAL进行模型分析模拟,并使用简化的CTL对系统需求规范进行验证。具体实例研究表明,该方法对于分析设计一类混杂系统具有可行性和有效性。     

混合系统的符号化可达性分析

定义了一种称作混合区域的形式化结构表示矩形混合系统的状态集,它实际上是由一组特殊形式的线性不等式联立表示的多面体空间.证明了混合区域对于矩形混合系统的可达性操作的封闭性.此外,用矩形混合系统近似模拟非线性混合系统,相应地解决了非线性混合系统的可达性问题.使用混合区域,可以直接计算由某个正则的混合区域开始的可达集,这样,混合系统的可达性问题主要是求解混合区域的正则型问题,而这问题是一种线性规划问题,可以使用经典的线性规划算法加以解决.     

多起重机节能混杂系统模型及其仿真*

为了保证多起重机节能系统中设备的正常运行并取得较好节能效果,构造多起重机节能系统的等效电路,针对系统复杂难以建模问题,引入混杂系统理论,建立基于混杂自动机的电网整流装置模型,将离散事件活动周期图建模方法推广至混杂系统构建受控功率源的活动周期图模型,从而得到系统整体模型。仿真研究了系统直流母线的功率和电压,验证了所建模型的合理性。为更深入地开展多电机节能系统的研究提供仿真平台。     

基于DRAM和PCM的混合主存模拟器

相变存储器（PCM）由于其非易失性、高读取速度以及低静态功耗等优点,已成为主存研究领域的热点.然而,目前缺乏可用的PCM设备,这使得基于PCM的算法研究得不到有效验证.因此,本文提出了利用主存模拟器仿真并验证PCM算法的思路.本文首先介绍了现有主存模拟器的特点,并指出其并不能完全满足当前主存研究的实际需求,在此基础上提出并构建了一个基于DRAM和PCM的混合主存模拟器.与现有模拟器的实验比较结果表明,本文设计的混合主存模拟器能够有效地模拟DRAM和PCM混合存储架构,并能够支持不同形式的混合主存系统模拟,具有高可配置性.最后,论文通过一个使用示例说明了混合主存模拟器编程接口的易用性.     

Approximately bisimilar symbolic models for randomly switched stochastic systems

In the past few years there has been a growing interest in the use of symbolic models for control systems. The main reason is the possibility to leverage algorithmic techniques over symbolic models to synthesize controllers that are valid for the concrete control systems. Such controllers can enforce complex logical specifications that are otherwise hard (if not impossible) to establish on the concrete models with classical control techniques. Examples of such specifications include those expressible via linear temporal logic or as automata on infinite strings. A relevant goal in this research line is in the identification of classes of systems that admit symbolic models: in particular, continuous-time systems with stochastic or hybrid dynamics have been only recently considered, due to their rather general and complex dynamics. In this work we make progress in this direction by enlarging the class of stochastic hybrid systems admitting finite, symbolic models: specifically, we show that randomly switched stochastic systems, satisfying some incremental stability assumption, admit such models.     

智能混合系统研究综述

作为人工智能的两个主要研究方向,专家系统 和神经网络在过去的几十年中均取得了很大的成功,但二者又存在一些各自的缺陷,不能单 独解决一些复杂的工程实际问题．因此,智能混合系统就成为当今人工智能研究领域中的一 个非常重要且具有很大实用价值和广阔发展前景的研究领域．本文分析比较了专家系统和神 经网络的基本特点,论述智能混合系统的研究现状并指出存在的一些问题．     

Evolutionary design of discrete controllers for hybrid mechatronic systems

This paper investigates the issue of evolutionary design of controllers for hybrid mechatronic systems. Finite State Automaton (FSA) is selected as the representation for a discrete controller due to its interpretability, fast execution speed and natural extension to a statechart, which is very popular in industrial applications. A case study of a two-tank system is used to demonstrate that the proposed evolutionary approach can lead to a successful design of an FSA controller for the hybrid mechatronic system, represented by a hybrid bond graph. Generalisation of the evolved FSA controller to unknown control targets is also tested. Further, a comparison with another type of controller, a lookahead controller, is conducted, with advantages and disadvantages of each discussed. The comparison sheds light on which type of controller representation is a better choice to use in various stages of the evolutionary design of controllers for hybrid mechatronic systems. Finally, some important future research directions are pointed out, leading to the major work of the succeeding part of the research.     

Hybrid managers — what do we know about them?

Abstract. There is increasing interest in 'hybrid managers', a breed of managers who blend information management skills with general management skills. Such people are perceived as important in enabling organizations to exploit information systems effectively in today's competitive business environment.
Based on a literature survey this paper summarizes what we know about hybrid managers, as expressed by both 'expert opinion' and formal research studies. We conclude that little substantive research has been conducted into hybrid managers. Much has still to be learnt about their possible role, characteristics and competences; and how organizations should recruit and develop them. Because of the paucity of published material about 'hybrids' in the information systems context, we have drawn inferences from appropriate analogues in other functions — namely personnel, finance and R&D. Relevant studies in related areas of information systems, general management, careers and management development are also put into the 'hybrid' context.     

离散事件系统理论研究和应用进展（Ⅰ）

介绍离散事件动态系统（ＤＥＤＳ）理论各主要方面近几年的新进展以及它们在各方面的应用情况。特别着重强调了一些新方向和新问题，如混杂系统、动态对策等，以及它们在机械，电子等制造过程以及通讯和计算机系统中的应用。最后从基础性研究的角度对ＤＥＤＳ研究的未来发展方向提出了一些想法和建议。本文为综述的第一部分。     

模式转换未知的一类混杂系统的状态估计

Since the state of hybrid systems is determined by interacting continuous and discrete dynamics, the state estimation of hybrid systems becomes a challenging problem. It is more complicated when the discrete mode transition information is not available, and the modes of hybrid systems are nonlinear stochastic dynamic systems. To address this problem, this paper proposes a novel hybrid strong tracking filter (HSTF) for state estimation of a class of hybrid nonlinear stochastic systems with unknown mode transition, the method for designing HSTF is presented. The HSTF can estimate the continuous state and discrete mode accurately with unknown mode transition information, and the estimation of hybrid states is robust against the initial state. Simulation results illustrate the effectiveness of the proposed approach.