首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到19条相似文献,搜索用时 78 毫秒
1.
离散事件动态系统理论及应用   总被引:2,自引:0,他引:2  
文章从系统分析,模型设计,性能分析,控制与优化等几个方面对离散事件动态系统(Discrete Event Dynamic SYstem,DEDS)的研究与发展状况进行了较为系统的综述,对DEDS与连续变量动态进行了简要的对比分析,并指出了DEDS理论在柔性制造,网络通讯,生产调度等方面的应用。  相似文献   

2.
确定性、无决策的离散事件动态系统(DEDS)可以表述为代数系Dioid上的线性模型并由此进行一些有效的分析。本文首先对Dioid理论做了简单介绍,综述了Dioid上发展起来的系统论及控制论的研究成果,对代数方法在计算机集成制造系统(CIMS)中的应用、现存问题和发展方向进行了探讨。  相似文献   

3.
用于离散事件系统研究的代数方法   总被引:1,自引:0,他引:1  
dioid 理论(极大代数等)是研究离散事件系统的重要方法.它不仅可以对运行过程做出细致的描述,而且已经开发出一套“线性”系统理论,给深入研究奠定了基础.术文侧重介绍有关代数方法的理论基础与最新发展.  相似文献   

4.
离散事件动态系统理论的发展动向   总被引:4,自引:0,他引:4  
离散事件动态系统(DEDS)是这样一类人造系统,它在每一时间点上的变化发展依赖于许多不同事件的复杂交互作用,其状态仅在离散的时间点上发生变化。这样的系统很多,如制造系统、计算机系统、城市交通系统、排队服务系统、复杂的多模式过程控制系统等。离散事件动态系统理论自1980年由美国哈佛大学著名教授何毓琦(Y.C.Ho)倡导研究以来,已取得了不小进展。十多年后的今天,问题和成果并存,我们对建立这一理论的困难也有了进一步的认识。本文从探索的角度向读者简介一下此理论的发展情况,与计算机科学的联系,潜在的应用问题,及讨论一下此理论目前存在的问题和未来发展方向。本文不  相似文献   

5.
离散事件动态系统稳定性分析方法   总被引:5,自引:2,他引:3  
本文提出一种受控时序PETRI网络方法以建立离散事件动态系统状态空间模型,并以此为基础给出一类离散事件系统的稳定性定义及一种新的稳定性分析方法.  相似文献   

6.
在分析一类离散事件动态系统的运行周期及稳定性时,必须求解极大代数意义下矩阵的特征值及特征向量,这一直被认为是十分困难和繁复的工作.本文给出了求任一方阵特征值及特征向量的十分简单易行的方法以及有关的定理.  相似文献   

7.
在分析一类离散事件动态系统的运行周期及稳定性时,必须求解极大代数意义下矩阵的特征值及特征向量,这一直被认为是十分困难和繁复的工作.本文给出了求任一方阵特征值及特征向量的十分简单易行的方法以及有关的定理.  相似文献   

8.
离散事件动态系统多模型集成控制理论   总被引:7,自引:0,他引:7  
郑应平 《信息与控制》1992,21(1):29-36,59
本文讨论现有各种DEDS模型和理论之间的关系以及建立统一的DEDS理论的可能性问题,主要内容包括:DEDS的复杂性以及对它采用多重模型描述和递阶控制结构的必要性;对现有理论模型和控制问题进行综述以揭示它们作为“知识块”看待时其间的相互联系;集成的方法论和为此目的运用人工智能技术的重要性。  相似文献   

9.
李彦平  郭令忠 《控制与决策》1997,12(A00):430-434,440
基于D-自动机模型,通过广义状态谓词空间与半范数的概念,深入研究了实时DEDS的状态行为及最速控制问题,最后讨论了此类控制问题解的存在性。  相似文献   

10.
离散事件动态系统的D-自动机模型   总被引:3,自引:0,他引:3  
首先引入D-子集和D-语言的概念,在此基础上给出了一类离散事件动态系统的一般形式化表述--D-自动机模型,并讨论了受控系统的动态行为.最后研究了系统的状态可达性问题.  相似文献   

11.
离散事件动态系统的状态补偿观测控制   总被引:1,自引:0,他引:1  
法京怀 《自动化学报》1993,19(3):300-306
在离散事件控制系统中,系统的信息结构由系统事件和系统状态构成。本文研究了具有混合信息结构的离散事件控制系统的分析与综合等问题。  相似文献   

12.
DEDS理论在CIMS中应用研究回顾与展望   总被引:4,自引:0,他引:4  
离散事件动态系统DEDS理论为制造系统分析设计提供了支持工具,制造技术的发展又为DEDS理论提供了实际应用背景.本文综述离散事件动态系统DEDS理论的发展及其在计算机集成制造系统CIMS中的应用研究.分析了各种DEDS方法的特点和探讨了相应DEDS模型的描述范围.扼要叙述了CIMS的发展状况.阐述了CIMS新阶段对未来DEDS理论研究的要求.  相似文献   

13.
The sample-path perturbation analysis technique is extended to include finite (and possibly large) perturbations typically introduced by changes in queue sizes or other parameters. It is shown that there is a natural hierarchy of perturbation analysis which takes care of increasingly large perturbations. Experiments with zero (infinitesimal) and first order (finite) perturbation analysis show that significant accuracy improvement can be obtained with small increase in computational effort.  相似文献   

14.
串行生产线的数学模型及其性能估算   总被引:12,自引:0,他引:12  
涂菶生 《自动化学报》1990,16(6):495-502
本文利用Cohen等人提出的DEDS的极大代数上线性系统理论,建立了串行生产线的状态方程.利用这线性模型,得到了系统的稳态运行的有关结果,并估算了参数扰动对系统性能的影响.  相似文献   

15.
本文提出了应用全状态摄动分析直接计算对路径概率的灵敏性,推导了路径变化时摄动的产生规则,给出了两个数值例子,实验结果验证了这一方法的有效性和准确性。  相似文献   

16.
关于加工生产线的一种新的模型及其扰动分析   总被引:2,自引:1,他引:1  
本文首先建立在实际生产中应用较广的串联生产线和装配生产线的新的代数摸型(在新韵代数系下).基于这类模型,在扰动幅度大小没有任何限制的情况下,对平均服务时间的扰动,建立扰动传播的数学方程,给出系统输出率对平均服务时间的灵敏度公式.仿真结果验证了理论分析结果,其精度令人满意.  相似文献   

17.
本文在离散事件动态系统混合状态建模的基础上,对系统的积分方程模型进行了数值求解,讨论了数值解法的稳定性与收敛性,最后给出了一个数值计算的实例.并对数值结果进行了仿真验证.  相似文献   

18.
极小-极大-加系统(F,G,H)的能达能观性   总被引:1,自引:0,他引:1  
在数字电路中,两个时间信号通过逻辑电路的"与"门相当于极大运算,"或"门相当于极小运算.因此,极小-极大-加系统可用于数字电路的时间分析.对于非线性极强的极小-极大-加系统(F,G,H),引入了分别能达和上限能观的概念.利用图论的方法给出了极小-极大-加系统(F,G,H)的状态变量xt为分别能达分量的充要条件,同时,还得到了xt为上限能观分量的充要条件.  相似文献   

19.
This paper addresses the problem of fault detection and isolation for a particular class of discrete event dynamical systems called hierarchical finite state machines (HFSMs). A new version of the property of diagnosability for discrete event systems tailored to HFSMs is introduced. This notion, called L1-diagnosability, captures the possibility of detecting an unobservable fault event using only high level observations of the behavior of an HFSM. Algorithms for testing L1-diagnosability are presented. In addition, new methodologies are presented for studying the diagnosability properties of HFSMs that are not L1-diagnosable. These methodologies avoid the complete expansion of an HFSM into its corresponding flat automaton by focusing the expansion on problematic indeterminate cycles only in the associated extended diagnoser.
Stéphane LafortuneEmail:

Andrea Paoli   received the master degree in Computer Science Engineering and the Ph.D. in Automatic Control and Operational Research from the University of Bologna in 2000 and 2003 respectively. He currently holds a Post Doc position at the Department of Electronics, Computer Science and Systems (DEIS) at the University of Bologna, Italy. He is a member of the Center for Research on Complex Automated Systems (CASY) Giuseppe Evangelisti. From August to January 2002, and in March 2005 he held visiting positions at the Department of Electrical Engineering and Computer Science at The University of Michigan, Ann Arbor. In July 2005 he won the prize IFAC Outstanding AUTOMATICA application paper award for years 2002-2005 for the article by Claudio Bonivento, Alberto Isidori, Lorenzo Marconi, Andrea Paoli titled Implicit fault-tolerant control: application to induction motors appeared on AUTOMATICA issue 30(4). Since 2006 he is a member of the IFAC Technical Committee on Fault Detection, Supervision and Safety of Technical Processes (IFAC SAFEPROCESS TC). His current research interests focus on Fault Tolerant Control and Fault Diagnosis in distributed systems and in discrete event systems and on industrial automation software architectures following an agent based approach. His theoretical background includes also nonlinear control and output regulation using geometric approach. Stéphane Lafortune   received the B. Eng degree from Ecole Polytechnique de Montréal in 1980, the M. Eng. degree from McGill University in 1982, and the Ph.D. degree from the University of California at Berkeley in 1986, all in electrical engineering. Since September 1986, he has been with the University of Michigan, Ann Arbor, where he is a Professor of Electrical Engineering and Computer Science. Dr. Lafortune is a Fellow of the IEEE (1999). He received the Presidential Young Investigator Award from the National Science Foundation in 1990 and the George S. Axelby Outstanding Paper Award from the Control Systems Society of the IEEE in 1994 (for a paper co-authored with S. L. Chung and F. Lin) and in 2001 (for a paper co-authored with G. Barrett). At the University of Michigan, he received the EECS Department Research Excellence Award in 1994–1995, the EECS Department Teaching Excellence Award in 1997–1998, and the EECS Outstanding Achievement Award in 2003–2004. Dr. Lafortune is a member of the editorial boards of the Journal of Discrete Event Dynamic Systems: Theory and Applications and of the International Journal of Control. His research interests are in discrete event systems modeling, diagnosis, control, and optimization. He is co-developer of the software packages DESUMA and UMDES. He co-authored, with C. Cassandras, the textbook Introduction to Discrete Event Systems—Second Edition (Springer, 2007). Recent publications and software tools are available at the Web site .   相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号