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

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.     

State Estimation of a Class of Hybrid Systems in the Presence of Unknown Mode Transitions

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 com- plicated 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 stochas- tic 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 in- formation,and the estimation of hybrid states is robust against the initial state.Simulation results illustrate the effectiveness of the proposed approach.     

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.     

Quantifier-free encoding of invariants for hybrid systems

Hybrid systems are a clean modeling framework for embedded systems, which feature integrated discrete and continuous dynamics. A well-known source of complexity comes from the time invariants, which represent an implicit quantification of a constraint over all time points of a continuous transition. Emerging techniques based on Satisfiability Modulo Theory (SMT) have been found promising for the verification and validation of hybrid systems because they combine discrete reasoning with solvers for first-order theories. However, these techniques are efficient for quantifier-free theories and the current approaches have so far either ignored time invariants or have been limited to hybrid systems with linear constraints. In this paper, we propose a new method that encodes a class of hybrid systems into transition systems with quantifier-free formulas. The method does not rely on expensive quantifier elimination procedures. Rather, it exploits the sequential nature of the transition system to split the continuous evolution enforcing the invariants on the discrete time points. This way, we can encode all hybrid systems whose invariants can be expressed in terms of polynomial constraints. This pushes the application of SMT-based techniques beyond the standard linear case.     

混合系统在matlab环境下的建模和仿真

混合系统是集连续动态系统和离散事件为一体的复杂动态系统,是近年来控制理论研究领域的热门课题.由于混合系统既含连续变量义含离散事件,给处理这类系统带来了复杂性.一般混合系统建立模方法有:混合自动机,混合petri,时段演算及其扩展等模型.在概述混合系统概念与特点的基础上,介绍了混合系统研究中的建模与仿真问题.结合超市冰柜系统用混合自动机建模,并用MATLAB中的SIMULINK和STATEFLOW进行仿真.仿真结果表明效果很好,为系统分析和设计提供了有力的工具.     

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

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

A universal planning system for hybrid domains

Many real world problems involve hybrid systems, subject to (continuous) physical effects and controlled by (discrete) digital equipments. Indeed, many efforts are being made to extend the current planning systems and modelling languages to support such kind of domains. However, hybrid systems often present also a nonlinear behaviour and planning with continuous nonlinear change that is still a challenging issue.     

基于混合随机Petri网的一类混合系统的模型及稳定性

混合动态系统是包含离散事件系统（ＤＥＳ）和连续变量系统（ＣＶＳ）的复杂系统。讨论了一类每个离散状态包含一个连续动态系统,且离散事件具有Ｍａｒｋｏｖ链性质的随机混合系统,在提出利用混合随机Ｐｅｔｒｉ网的建模方法的基础上,给出混合均方稳定的概念、稳定性和可镇定条件,最后以一个简单的例子做子说明和仿真。     

A formal mathematical framework for modeling probabilistic hybrid systems

The development of autonomous agents, such as mobile robots and software agents, has generated considerable research in recent years. Robotic systems, which are usually built from a mixture of continuous (analog) and discrete (digital) components, are often referred to as hybrid dynamical systems. Traditional approaches to real-time hybrid systems usually define behaviors purely in terms of determinism or sometimes non-determinism. However, this is insufficient as real-time dynamical systems very often exhibit uncertain behavior. To address this issue, we develop a semantic model, Probabilistic Constraint Nets (PCN), for probabilistic hybrid systems. PCN captures the most general structure of dynamic systems, allowing systems with discrete and continuous time/variables, synchronous as well as asynchronous event structures and uncertain dynamics to be modeled in a unitary framework. Based on a formal mathematical paradigm exploiting abstract algebra, topology and measure theory, PCN provides a rigorous formal programming semantics for the design of hybrid real-time embedded systems exhibiting uncertainty.      

Modeling problems of hybrid event dynamic systems

This paper is aiming at discussing modeling problems of hybrid event dynamic systems, which consist of continuous, discrete and inference-decision event dynamic systems. The event is the fundamental element of all kinds of event dynamic systems mentioned above. The very important meaning of the hybrid event dynamic system is that the large scale, complex and especially comprehensive systems could be abstracted as a hybrid event dynamic system, whose concept and theory are convenient for studying and analyzing them. Therefore, this paper discusses the problems about event, continuous, discrete, inference-decision and hybrid event dynamic systems and its modeling.     

控制模态转移型系统的稳定切换

离散事件决策子系统和数值反馈子系统合成的混合控制系统呈现出复杂的稳定动态 特性.研究了在达到模态切换周期的控制规则下,相应的系统连续状态轨迹的平稳性.给出了具 有较少约束的李雅谱诺夫型判据,不要求全局一致的李雅谱诺夫函数,不要求每个模态下的能 量函数单调递减.     

混合系统剖析,描述与建模

混合系统是一种离散和连续构件交织的系统。通常以微分方程为连续模型，以离散事件系统或自动机为离散模型。通过分析混合系统的微观结构，文中提出了面向系统设计的描述语言ＤＤＬ。它能直观、精确刻画混合现象，方便设计决策描述，而且通过控制器符号与系统指称约束的延迟，为系统设计带来很大的灵活性。由ＤＤＬ描述的混合系统，经内部通信隐藏和系统单步协调积，可转换为混合变迁系统。     

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.     

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.     

Results and perspectives on fault tolerant control for a class of hybrid systems

This article addresses the fault tolerant control (FTC) issue for a class of hybrid systems (HS) modelled by hybrid automata. Two kinds of faults are considered: continuous fault that affects each continuous system mode; discrete fault that affects the switching conditions. In these two faulty cases, the FTC design has two main objectives: (1) maintain the continuous performances including various stabilities of the origin and the output tracking/regulation behaviours along the trajectories of HS; (2) maintain the discrete specifications that have to be followed by HS, e.g. a desired switching sequence. The following three FTC methodologies are considered: FTC for HS with continuous stability goal; FTC for HS with discrete specifications; supervisory FTC design via hybrid control techniques. Some perspectives are also provided. This article provides the readers a survey on the main techniques that can be used to achieve these FTC goals of HS.     

Fault tolerant control design via hybrid petri nets

This paper proposes a novel fault tolerant control (FTC) scheme for hybrid systems modeled by hybrid Petri nets (HPNs). The HPNs model consists of discrete and continuous PNs. The faults are represented by unobservable discrete transitions or the normal observable discrete transitions with abnormal firing time in discrete PNs. First, an observer‐based fault diagnosis method is proposed to estimate the marking in discrete places with unknown initial marking and diagnose the faulty behavior simultaneously. Then, an adaptive fault tolerant controller is designed to maintain the general mutual exclusion constraints (GMEC) of discrete PNs, and a scheme that adjusts firing speeds of continuous transitions is provided to maintain the optimality of continuous PNs. Finally, an example of an intelligent transportation system consisting of automated vehicles on a bridge is included to demonstrate the effectiveness of our developed techniques. Copyright © 2010 John Wiley and Sons Asia Pte Ltd and Chinese Automatic Control Society     

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

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

变计时过程ö变迁网模型及其应用研究

基于过程运行的离散标识(逻辑变量)和剩余时间连续标识(时间变量)，提出一种新的混合标识过程／变迁网——变计时过程／变迁网模型．基于该模型，混杂动力学系统离散事件的实时监控、连续子过程的实时调度等问题可得到有效解决．     

Quantized feedback stabilization of linear systems

This paper addresses feedback stabilization problems for linear time-invariant control systems with saturating quantized measurements. We propose a new control design methodology, which relies on the possibility of changing the sensitivity of the quantizer while the system evolves. The equation that describes the evolution of the sensitivity with time (discrete rather than continuous in most cases) is interconnected with the given system (either continuous or discrete), resulting in a hybrid system. When applied to systems that are stabilizable by linear time-invariant feedback, this approach yields global asymptotic stability