主要介绍如何使用automata以及Petri Nets对离散事件（动态）系统进行建模及描述。
吴老师上学期连讲了好多节课，并且发了一篇book review在IEEE Control System Magazine上：
A. Paoli and N.E. Wu, Book review: An Introduction to Discrete Event Systems, 2nd Edition, by C.G. Cassandras, and S. Lafortune, IEEE Control Systems Magazine, June, 2009.
Eva Wu的个人主页：
http://www.ws.binghamton.edu/wuweb
2022-09-15 13:56:20
11.33MB
1
离散事件系统
赵群飞 教授
邮箱：zhaoqf@sjtu.edu.cn
办公室:电院2-441/新上院101
电话：34204126
2022-05-07 20:49:52
750KB
1
离散事件系统的间歇性故障诊断能够将系统中发生的间歇性故障及时诊断出来,但在诊断期间的系统可能会执行不安全操作.针对间歇性故障在诊断期间的安全性问题,提出一种基于事件的安全诊断方法.首先对发生间歇性故障的离散事件系统进行建模,并给出系统间歇性故障的安全可诊断性的形式化定义.然后通过构造非法语言识别器对系统的非法操作进行识别,并在此基础上构建一个安全验证器,由此得到一个关于系统间歇性故障安全可诊断性的充分必要条件,实现离散事件系统对间歇性故障的安全诊断.这种安全诊断既保证了间歇性故障一旦发生即能被及时诊断出来,又确保了在故障诊断期间系统不会执行任何不安全操作.
2022-05-07 20:42:03
420KB
1
系统建模与simulink仿真课件资料-第13章 离散事件系统仿真策略.pdf
系统建模 与仿真 好资料 特清晰
第14章 离散事件系统仿真结果分析.pdf
2022-03-16 16:17:14
197KB
1