一类不确定脉冲型混杂系统的保代价控制

针对混合代价函数,研究了参数不确定脉冲型混杂系统的保代价控制问题,给出了混杂状态反馈保代价控制律的设计方法,由此得到的控制律既能使系统闭环鲁棒渐近稳定,又可使系统的闭环混合代价指标在对象参数摄动的范围内不超过确定的上界.本文提出的控制律不仅包含连续时间动态,也包含离散事件动态,而且其离散事件动态行为不需要与被控系统的离散事件动态行为一致,因此设计时不要求被控系统的每个连续时间子系统都具有可控性.仿真结果表明所提设计方法是可行有效的.     

一种新的离散事件系统控制方案

给定离散事件系统（ＤＥＳ）Ｇ及某个规定的最大允许合法语言文明（ＭＰＬＬＳ）Ｋ，监督控制在任务就是寻找一个监控器Ｓ，使得系统在监控下不会突破该ＭＰＬＬＳ，也即满足：Ｌ（Ｓ／Ｇ）包含于Ｋ，传统的实现方法要求给定ＭＰＬＩＳＫ计算其最大可控子语言Ｋ＾↑因此难免显示地构造Ｓ。本文给了一种新的方案可以不必对Ｋ＾↑和Ｓ作显式计算，监控任务是随ＤＥＳＧ的演化结合规定的ＭＰＬＬＳＫ用动态方法实现，该方案在很大程度上     

离散系统仿真技术在装备作战仿真中的应用

装备作战仿真系统是一个复杂的交互型混合动态系统,该文描述了一种基于离散事件系统仿真技术,即通过确定离散系统仿真的基本要素：随机离散事件、仿真时钟及其推进方式、未来时间表、随机数发生器等,并增加对连续系统的等技术,来实现装备作战仿真中连续及离散随机事件的仿真。通过试验,仿真效果满足需求,其成果对从事作战模拟开发研究工作者具有一定的借鉴作用。     

基于神经网络算法的实时DES监督控制

本文在包含状态转移时间离散事件系统（ＤＥＳ）的自动机模型基础上，引入神经网络优化算法用以确定表征闭环系统最大允许逻辑行为的语言Ｋ的一个某项指标最优的子集Ｋｅｐｔ，并探讨了这种情况下用Ｒ－Ｗ理论设计监控ＤＥＳ的有关问题．     

串行离散事件动态系统的建模,分析及设计

本文提出的离散事件动态系统（ＤＥＤＳ）建模新方法，是从Ｋ＋１个缓冲库状态中抽取有库存（Ｐｏ）和有空位（Ｐｋ）两种状态，合并到邻近的工作站中，构成相应的等效工作站，再将所有等效工作站联成ＤＥＤＳ生产系统，从而导出各项生产指标．这种方法是将离散断续工作的多级生产线转化为连续工作的多级生产线，于是可以采用常微分方程数学工具，得出静态和动态的精确分析解，较好地解决了离散断续工作系统建模的难题。     

面向原油库存管理过程的Petri网建模

石油化工工业属于典型的连续型生产工业,但在连续生产过程中又包含有离散变量, 具有明显的混杂动态系统特征.对于这样的混杂动态系统,混合Petri网是一种有效的建模方法.文章在已有的混合Petri网结构基础上,在离散变迁激发规则中加入了逻辑控制条件,并对原油库存管理过程这一兼有连续时间特性和离散事件特性的混合动态系统进行建模,并通过建模实例验证了其有效性和灵活性,从而为解决原油库存问题提供了具有参考价值的方法.     

混合动态系统中连续状态系统用离散事件系统描述的一致性

混合动态系统起因于离散事件系统用于监控连续状态系统的行。本文用抽象语言方法描述连续状态系统，研究状态离散事件系统描述的一致性。基于输入输出观点简要地 讨论了离散控制器综合。     

混杂系统的存在与研究

混杂系统（HDS）是由连续变量动态系统（CVDS）与离散事件动态系统（DEDS）共同组成的大型动态系统。随着CIMS的兴起与发展，人们应该关注HDS的建模、分析与优化运行。本文通过分析实例介绍了HDS的存在、特征与研究前景。     

一类混合动态系统(HDS)的时间最优路由调度*

本文研究服务过程为连续动态过程的单服务台型混合动态系统（ＨＤＳ）的时间最短路由调度问题。通过定义事件函数和估计服务时间，本文证明在一定条件下，可将此类动态调度问题化为静态调度问题加以求解。     

基于动态观测的随机离散事件系统故障诊断

近年来,离散事件系统故障诊断研究引起国内外学者广泛关注.鉴于此,研究动态观测下随机离散事件系统的故障诊断.首先引入一种动态观测,使事件的可观测性随着系统的运行而动态变化;然后分别对基于动态观测的随机离散事件系统的单故障可诊断性和模式故障可诊断性进行形式化;最后通过构造相应的诊断器,分别得到关于单故障可诊断性和模式故障可...     

采用多Lyapunov函数的混杂系统稳定性研究

针对一类由离散事件监控的连续动态子系统组成的混杂动态系统, 首先分析利用多Lyapunov函数方法已有成果, 指出切换超平面为滑动模时, 利用这种方法不能确保混杂系统的稳定. 基于Filipov理论给出了能活稳定性结果. 对于混杂系统的连续动态子系统为线性时不变情况下, 研究了混杂系统二次镇定条件. 最后给出一个例子来说明本文方法.     

Analysis of Hybrid Systems Based on Hybrid Net Condition/Event System Model

In thispaper, hybrid net condition /event systems are introducedas a model for hybrid systems. The model consists of a discretetimed Petri net and a continuous Petri net which interact eachother through condition and event signals. By introducing timeddiscrete places in the model, timing constraints in hybrid systemscan be easily described. For a class of hybrid systems that canbe described as linear hybrid net condition /eventsystems whose continuous part is a constant continuous Petrinet, two methods are developed for their state reachability analysis.One is the predicate-transformation method, which is an extensionof a state reachability analysis method for linear hybrid automata.The other is the path-based method, which enumerates all possiblefiring seqenences of discrete transitions and verifies if a givenset of states can be reached from another set by firing a sequenceof discrete transitions. The verification is performed by solvinga constraint satisfaction problem. A technique that adds additionalconstraints to the problem when a discrete state is revisitedalong the sequence is developed and used to prevent the methodfrom infinite enumeration. These methods provide a basis foralgorithmic analysis of this class of hybrid systems.     

Hybrid feedback stabilization of systems with quantized signals

This paper is concerned with global asymptotic stabilization of continuous-time systems subject to quantization. A hybrid control strategy originating in earlier work (Brockett and Liberzon, IEEE Trans. Automat. Control 45 (2000) 1279) relies on the possibility of making discrete on-line adjustments of quantizer parameters. We explore this method here for general nonlinear systems with general types of quantizers affecting the state of the system, the measured output, or the control input. The analysis involves merging tools from Lyapunov stability, hybrid systems, and input-to-state stability.     

Hybrid Feedback Control and Robust Stabilization of Nonlinear Systems

In this paper, we show, for any nonlinear system that is asymptotically controllable to a compact set, that a logic-based, hybrid feedback can achieve asymptotic stabilization that is robust to small measurement noise, actuator error, and external disturbance. The construction of such a feedback hinges upon recasting a stabilizing patchy feedback in a hybrid framework by making it dynamic with a discrete state, while insisting on semicontinuity and closedness properties of the hybrid feedback and of the resulting closed-loop hybrid system. The robustness of stability is then shown as a generic property of hybrid systems having the said regularity properties. Auxiliary results give uniformity of convergence and of overshoots for hybrid systems, and give a characterization of asymptotic stability of compact sets.     

Markov切换系统的随机稳定性分析

根据混合系统离散状态的动态行为和Markov链的状态也是离散的特点,提出了一类离散状态的动态行为是Markov链的混合系统。与传统的混合系统相比,这类系统能够刻画出混合系统离散动态行为的随机性,可以用来描述系统受到外界环境因素制约和内部突发事件等随机因素影响而发生变化的动态行为。根据动态系统的稳定性定义以及随机过程理论,给出了Markov线性切换系统的随机稳定性定义,并且分析了Markov线性切换系统的随机稳定性问题,给出了判定随机稳定性的充分必要条件。     

Reduction of Timed Hybrid Systems

We consider a class of hybrid dynamical systems and obtain conditions under which the behavior of these systems can be reduced to a finite state automaton. Specifically, we consider timed automata with more general enabling regions coupling the continuous and discrete dynamics than those previously considered. We provide a necessary condition for the existence of a finite state reduction, together with examples showing that this condition is not sufficient. We then give two sufficient conditions that provide a large class of systems with general enabling regions which admit finite reductions.     

任意切换时间下的二维线性混合系统的滑模控制

由于混合系统的复杂性,设计出能保证混合系统在任意切换时间下都能稳定的控制是比较困难的。为了突出滑模控制设计的思想,文章针对一类二维线性混合系统,提出通过确保混合系统实现滑动模的充分条件来保证系统的稳定性,并得到相应的控制律。仿真结果表明了该控制律的有效性。     

混合系统的建模设计与仿真综述

混合系统是一类既包含连续动态行为又包含离散动态行为的系统,这类系统在实际应用中显得越来越重要,对这类系统需要探索新的模型和研究方法。该文在概述混合系统概念、特点以及发展近况的基础上,主要综述了近年来混合系统研究中的一些重要问题,指出现有各种方法的优缺点,并指出了今后的研究方向。该文首先介绍了混合系统研究中多种常见的建模方法,如混合自动机、Petri网和时段演算,然后重点讨论了混合系统一些重要性质,主要集中在对系统稳定性、可达性、可观性的分析方法上,以及混合系统的多种设计方法,并且对这些方法进行了初步评价,最后介绍了混合系统研究中一些常用的仿真工具。     

On Hybrid Petri Nets

Petrinets (PNs) are widely used to model discrete event dynamic systems(computer systems, manufacturing systems, communication systems,etc). Continuous Petri nets (in which the markings are real numbersand the transition firings are continuous) were defined morerecently; such a PN may model a continuous system or approximatea discrete system. A hybrid Petri net can be obtained if onepart is discrete and another part is continuous. This paper isbasically a survey of the work of the authors' team on hybridPNs (definition, properties, modeling). In addition, it containsnew material such as the definition of extended hybrid PNs andseveral applications, explanations and comments about the timingsin Petri nets, more on the conflict resolution in hybrid PNs,and connection between hybrid PNs and hybrid automata. The paperis illustrated by many examples.     

Compositional Abstractions of Hybrid Control Systems

Abstraction is a natural way to hierarchically decompose the analysis and design of hybrid systems. Given a hybrid control system and some desired properties, one extracts an abstracted system while preserving the properties of interest. Abstractions of purely discrete systems is a mature area, whereas abstractions of continuous systems is a recent activity. In this paper we present a framework for abstraction that applies to discrete, continuous, and hybrid systems. We introduce a composition operator that allows to build complex hybrid systems from simpler ones and show compatibility between abstractions and this compositional operator. Besides unifying the existing methodologies we also propose constructions to obtain abstractions of hybrid control systems.