完全和部分可观察离散事件系统状态反馈控制间的关系

讨论完全和部分可观察离散事件系统状态反馈控制间的关系,首先讨论了控制方案集及最大控制方案在两个系统这间的关系,由此通过重新定义可观察谓词,较为简单地证明了谓词Ｐ可综合的充要条件是它既可控又可观察。其次,我们在一定条件下将部分可观察ＤＥＳ转化为一个完全可观察ＤＥＳ,并探讨了两者之间的关系。     

基于改进谓词/变迁网的飞行方式指示器模型研究

为实现空客320飞行仿真中的飞行方式指示器(Flight Mode Annunciator, FMA)仿真,面向离散事件系统,提出一种基于二阶谓词/变迁网的建模方法,并对FMA建模及仿真验证。分析FMA系统功能特点,确定其可用谓词/变迁网建模,但FMA每当飞行方式改变时附带的白色方框提示使传统谓词/变迁网模型繁杂而难以实现。为简化系统模型,在谓词/变迁网的基础上提出继发网,以此为基础定义了适用于离散事件系统的通用型二阶谓词/变迁网,以FMA为例进行了建模及仿真验证。实验结果表明,二阶谓词/变迁网解决了离散事件系统建模时“系统中每一次状态更新都会激活同一个新事件”带来的传统谓词/变迁网模型结构复杂问题,实现了空客320飞行仿真中的FMA仿真。     

实时离散事件系统的动态反馈控制

本文研究了一类含确定性状态时间的实时离散事件系统的动态反馈控制问题.基于一定 语言的实时可控性的概念,证明了对给定实时离散事件系统G,存在完备监控器φ使L(φ/ Gr)=K的充分必要条件是K是闭及实时可控的,并得到了有关实时监控问题解存在的充要 条件.     

基于谓词不变性的状态反馈控制在机器人遥操作中的应用

传统的基于事件遥操作系统虽然巧妙地避开了变化时延问题\[8\]，但是它具有“走走停停”的特点，即机器人将当前状态发送出去之后直到操作者的下一个指令到来之前机器人必须保证状态没有变化。对此本文首次提出了利用基于谓词不变性的状态反馈控制来对原有的方法进行改进,使机器人能够对动态环境具有适应性。     

离散事件动态系统的状态反馈控制理论进展

综述了离散事件动态系统(DEDS)的状态反馈控制理论方面所取得的进展,讨论了 几个主要研究方向,并探讨了进一步的研究内容.     

一类DEDS状态反馈控制器综合的新方法

对具有无穷状态空间的并发离散事件动态系统提出了一种基于Petri网图示的矩阵代数 综合方法.该方法借助于对Petri网的结构分解可以用于结构无竞争Petri网描述的一类离 散事件动态系统状态反馈控制器的离线综合.     

线性离散系统稳定化控制器的统一代数刻划

本文研究稳定离散控制系统的代数结构问题，即期望给出线性离散系统稳定化状态反馈控制器的统一代数刻划。本文结果对离散状态反馈控制系统的设计具有理论指导意义，同时也提供了线性稳定系统结构分析的一种新方法。     

离散事件动态系统的状态补偿观测控制

在离散事件控制系统中,系统的信息结构由系统事件和系统状态构成。本文研究了具有混合信息结构的离散事件控制系统的分析与综合等问题。     

离散事件系统监控与状态反馈方法的等价性

本文证明控制指标以谓词形式给出时，采用监控方法能使受控离散事件过程的可达状态与采用状态反馈逻辑的可达状态相同；控制指标以语言形式语言形式给出时，采用状态反馈逻辑也能使受控离散事件过程生成采用监控方法时生成的语言，因而从综合角度看，这两种方法等价。     

基于广义扩张状态观测器的干扰不匹配离散系统状态反馈控制

针对一类干扰不匹配的线性离散时间系统, 研究基于广义扩张状态观测器的稳定化状态反馈控制器设计问题. 在经典的自抗扰控制器中, 扩张状态观测器主要针对干扰匹配的积分串联型系统. 然而, 在许多实际系统中往往存在干扰不匹配的情况, 例如存在采样抖动的离散时间控制系统. 针对这一问题, 基于一类存在不匹配干扰的离散时间系统, 提出广义扩张状态观测器和相应的稳定化状态反馈控制器设计方法. 最后通过永磁同步电机调速控制仿真实例验证了所设计的观测器和控制器的有效性.

     

Absolute controllability of predicates in discrete event systems

The absolute controllability of predicates in discrete event systems is studied in this paper. A predicate is absolutely controllable if it is control-invariant and the states specified by it are mutually reachable via legal states. It is shown that there is a global state feedback such that the resultant closed-loop system is strongly connected if and only if the predicate is absolutely controllable. The weakest absolutely controllable predicate stronger than the given predicate is shown to exist with respect to the given initial state. Based on the notion of the dual automaton a graph-theoretic algorithm is given to compute the set of weakest absolutely controllable predicates stronger than the given predicate. Application of the concept of absolutely controllable predicate to a class of optimal control problem is discussed. Examples are given to illustrate the results     

Control synthesis of timed discrete event systems based onpredicate invariance

In this paper, arc-timed Petri nets are used to model controlled real-time discrete event systems, and the control synthesis problem that designs a controller for a system to satisfy its given closed-loop behavior specification is addressed. For the problem with the closed-loop behavior specified by a state predicate, real-time control-invariant predicates are introduced, and a fixpoint algorithm to compute the unique extremal control-invariant subpredicate of a given predicate, key to the control synthesis, is presented. For the problem with the behavior specified by a labeled arc-timed Petri net, it is shown that the control synthesis problem can be transformed into one that synthesizes a controller for an induced arc-timed Petri net with a state predicate specification. The problem can then be solved by using the fixpoint algorithm as well. The algorithm involves conjunction and disjunction operations of polyhedral sets and can be algorithmically implemented, making automatic synthesis of controllers for real-time discrete event systems possible.     

Decentralized state feedback control of discrete event systems

In this paper, we consider decentralized state feedback control of discrete event systems with a (global) control specification given by a predicate. In this framework, instead of a global state feedback, each local state feedback controls a part of the system according to local information so that global behaviors satisfy the global control specification. We introduce the notion of n-observability of predicates, and present necessary and sufficient conditions for the existence of a decentralized state feedback which achieves the global control specification.     

State feedback control of real-time discrete event systems with infinite states

In this paper, we study a state feedback supervisory control of timed discrete event systems (TDESs) with infinite number of states modelled as timed automata. To this end, we represent a timed automaton with infinite number of untimed states (called locations) by a finite set of conditional assignment statements. Predicates and predicate transformers are employed to finitely represent the behaviour and specification of a TDES with infinite number of locations. In addition, the notion of clock regions in timed automata is used to identify the reachable states of a TDES with an infinite time space. For a real-time specification described as a predicate, we present the controllability condition for the existence of a state feedback supervisor that restricts the behaviour of the controlled TDES within the specification.     

离散事件系统的无死锁模块化状态反馈控制

本文讨论离散事件系统的无死锁模块化状态反馈问题。首先我们定义自动机的交与并运算，然后通过引入自动机对的Ｄ－不变关系，我们证明当控制目标是两个谓词的交时，模块化状态反馈控制器是无死锁的充要条件是各子控制器是无死锁的且相应的控制器满足Ｄ－不变关系。我们证明了一个给定的自动机对于另一自动机的Ｄ－不变子自动机类有最大元存大，并由此给出一个综合算法。     

Modular nonblocking state feedback control of discrete event systems and its application to dynamic oligopolistic markets

This article addresses a modular state feedback supervisory control problem where two local controllers should achieve a common control objective against another local controller. Each local controller has its own control objective described as a predicate. This article also addresses a nonblocking modular control problem in which a discrete event system controlled by three local controllers tends to reach the common marked states of two local controllers that are, however, prohibited by the third local controller. For a case study, we apply the proposed theory to an oligopolistic market composed of two firms and one government. Two oligopolistic firms have a common objective to maximise their total profit through collusion. However, the government prevents them from engaging in collusion. We show that the modular supervisory control theory presented in this article can be used to solve the problem of ‘how can the firms maximise their total profit against the intervention of government’?     

On the control of max-plus linear system subject to state restriction

This paper deals with the control of discrete event systems subject to synchronization and time delay phenomena, which can be described by using the max-plus algebra. The objective is to design a feedback controller to guarantee that the system evolves without violating time restrictions imposed on the state. To this end an equation is derived, which involves the system, the feedback and the restriction matrices. Conditions concerning the existence of a feedback are discussed and sufficient conditions that ensure the computation of a causal feedback are presented. To illustrate the results of this paper, a workshop control problem is presented.     

Control of Petri nets subject to strict temporal constraints using Max-Plus algebra

In this paper, we treat the control problem of timed discrete event systems under temporal constraints. This type of constraint is very frequent in production systems, transportation network and in networked automation systems. Precisely, we are interested in the validation of strict temporal constraints imposed on the paths in a timed event graph (TEG) by using Max-Plus algebra. Not all the transitions of the considered TEG model are controllable, i.e. only the input transitions are controllable. An analytical approach for computing state feedback controllers is developed. Sufficient condition is given for the existence of causal control laws satisfying the temporal constraints. In the first, a TEG with observable transitions is considered. Then, the proposed approach is extended to the partially observable TEG. The synthesised feedback can be interpreted by places of control connected to the TEG to guarantee the respect of the time constraints. The proposed method is illustrated in the assembly system example.