共查询到15条相似文献,搜索用时 93 毫秒
1.
离散事件系统的无死锁模块化状态反馈控制 总被引:1,自引:1,他引:0
本文讨论离散事件系统的无死锁模块化状态反馈问题。首先我们定义自动机的交与并运算,然后通过引入自动机对的D-不变关系,我们证明当控制目标是两个谓词的交时,模块化状态反馈控制器是无死锁的充要条件是各子控制器是无死锁的且相应的控制器满足D-不变关系。我们证明了一个给定的自动机对于另一自动机的D-不变子自动机类有最大元存大,并由此给出一个综合算法。 相似文献
2.
3.
4.
讨论受控Petri网的一类禁止状态避免问题,该类禁止状态用广义互 约束的形式给出。 相似文献
5.
实时离散事件系统的反馈控制策略 总被引:2,自引:0,他引:2
考虑实时离散事件系统(DES)的赋时受控标记图中的禁止标识问题,提出了最优延时可行控制策略(OTFCP)的概念,给出了生成这种能使系统避免进行禁止标识集的反馈控制策略的综合算法。 相似文献
6.
实时离散事件系统的动态反馈控制 总被引:1,自引:0,他引:1
本文研究了一类含确定性状态时间的实时离散事件系统的动态反馈控制问题.基于一定语言的实时可控性的概念,证明了对给定实时离散事件系统G,存在完备监控器φ使L(φ/Gr)=K的充分必要条件是K是闭及实时可控的,并得到了有关实时监控问题解存在的充要条件. 相似文献
7.
8.
实时并发离散事件系统的监控 总被引:1,自引:0,他引:1
用受控赋时Petri网为具有并发事件的实时离散事件系统建模,并研究了这类模型下的监控问题,给出了实现给定并发事件语言的监控器存在的充要条件和一种动态监控方法。 相似文献
9.
我们考察极大代数意义下的线性离散事件动态系统,在多步反馈控制作用下,熟知求系统运行的周期就是要求有rl个顶点的图的关键回路,本文重构一个只有r个顶点的有向赋权图G(F),证明求系统的周期等价于求G(F)的关键回路,从而将一个求rl个顶点的图的关键回路问题简化为求一个只有r个顶点的图的关键回路问题。 相似文献
10.
11.
12.
Supervisor Synthesis for Real-Time Discrete Event Systems 总被引:1,自引:1,他引:1
This paper introduces a formal framework to logically analyze and control real-time discrete event systems (RTDESs). Time Petri nets are extended to controlled time Petri nets (CtlTPNs) to model the dynamics of RTDESs that can be controlled by real-time supervisors. The logical behaviors of CtlTPNs are represented by control class graphs (CCGs) which are untimed automata with timing and control information in their state transition labels. We prove that the CCG corresponding to a CtlTPN expresses completely the logical behavior of the CtlTPN. The real-time supervisor is based on a nondeterministic logical supervisor for the CCG, including the delay for control computations to ensure the supervisor is acceptable in a true real-time environment. We prove the existence of a unique maximal controllable sublanguage of a given specification language and present an algorithm to construct the sublanguage. We also prove that the real-time supervisor meets the prespecified real-time behavior and present an online control algorithm to implement real-time supervisors. The concepts and algorithms are illustrated for an example of packet reception processes in a communication network. 相似文献
13.
A quite great progress of the supervisory control theory for discrete event systems (DES) has been made in the past nearly twenty years, and now, automata, formal language and Petri nets become the main research tools. This paper focus on the Petri nets based supervisory control theory of DES. Firstly, we review the research results in this field, and claim that there generally exists aproblem in Petri nets based supervisory control theory of DES, that is, the deadlock caused by the controller introduced to enforce the given specification occurs in the closed-loop systems, especiallythe deadlock occurs in the closed-loop system in which the original plant is live. Finally, a possible research direction is presented for the solution of this problem. 相似文献
14.
离散事件动态系统中的控制综合问题 总被引:2,自引:0,他引:2
本文将离散事件动态系统(DEDS)监控方法中的控制综合问题作了系统的分类,得到了六种控制综合问题,并将它们表示成泛函极值问题,讨论了它们的可行解,最优解的存在性,可生解集的结构以及相互之间的关系。 相似文献
15.
将Holloway和krogh关于受控标记图的禁态控制方面的结果扩展到更广泛的一类受控Petri网--不可控子网为前后向无冲突的受控Petri网,并去掉了关于初始标记和禁态规范的限制. 相似文献