| 实时并发离散事件系统的监控 |
| |
| 引用本文： | 王丽亚 吴智铭. 实时并发离散事件系统的监控[J]. 控制与决策, 1995, 10(1): 75-79 |
| |
| 作者姓名： | 王丽亚 吴智铭 |
| |
| 作者单位： | 上海交通大学自控系 |
| |
| 摘 要： | 用受控赋时Ｐｅｔｒｉ网为具有并发事件的实时离散事件系统建模，并研究了这类模型下的监控问题，给出了实现给定并发事件语言的监控器存在的充要条件和一种动态监控方法。
|
| 关 键 词： | 实时 离散事件系统 Petri网 监控 |
Supervisory Control of Real-time Concurrent Discrete Event Systems |
| |
| Wang Liya, Wu Zhiming. Supervisory Control of Real-time Concurrent Discrete Event Systems[J]. Control and Decision, 1995, 10(1): 75-79 |
| |
| Authors: | Wang Liya Wu Zhiming |
| |
| Affiliation: | Shanghai Jiaotong University |
| |
| Abstract: | This paper introduces controlled timed Petri nets for modelling the real-time discrete event systems with concurrent events. We study the supervisory control problem of the systems based on the model.The sufficient and necessary condition for the eaistence of a real time supervisor for a given concurrent event language is proposed. And an approach of dynamical supervision is given. |
| |
| Keywords: | real-time discrete event system controlled timed Petri net concurrent event language supervision |
| 本文献已被 CNKI 维普 等数据库收录！ |
