找回密碼
 To register

QQ登錄

只需一步,快速開(kāi)始

掃一掃,訪問(wèn)微社區(qū)

打印 上一主題 下一主題

Titlebook: Discrete Event Systems; Analysis and Control R. Boel,G. Stremersch Book 2000 Springer Science+Business Media Dordrecht 2000 Analysis.Model

[復(fù)制鏈接]
樓主: 爆發(fā)
41#
發(fā)表于 2025-3-28 17:46:48 | 只看該作者
A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems supervisors can be “fused” using both union and intersection of enabled events. Namely, the supervisors agree a . on choosing “fusion by union” for certain controllable events and “fusion by intersection” for certain other controllable events. We show that under this generalized architecture, a lar
42#
發(fā)表于 2025-3-28 20:47:12 | 只看該作者
Reduced Supervisors for Timed Discrete-Event Systemsem we compute a reduced supervisor based on an abstraction of the plant model in which time is measured with a slower clock. Such a model is simpler than the original, but has richer untimed behavior. Thus, an untimed specification met by the closed-loop reduced system is also met by the original sy
43#
發(fā)表于 2025-3-29 00:13:55 | 只看該作者
44#
發(fā)表于 2025-3-29 04:27:05 | 只看該作者
An Iterative Method for Deadlock Prevention in FMSt was based on an iterative method, using the structure of the Petri net model. Here we present two things; first, we improve the algorithm which establishes the control; second, we present some experimental results which try to compare a few control methods from the perspective of their “permissivi
45#
發(fā)表于 2025-3-29 09:45:10 | 只看該作者
46#
發(fā)表于 2025-3-29 14:03:50 | 只看該作者
On Partially Controlled Free Choice Petri Netsriate conditions, a non-. PN can be made . via supervision. Under this paradigm an external-agent, the supervisor, prevents the firing of certain transitions at each reachable marking so as to enforce liveness. A PN is . if the supervisor can prevent the firing of only a subset of transitions. . (FC
47#
發(fā)表于 2025-3-29 19:04:58 | 只看該作者
Closed-Loop Live Petri Net Supervisors for GMEC(GMECs) enforced by monitor places. This leads to a problem which is very interesting in practice, but difficult even for the restricted class of marked graphs (MGs). We obtain two sufficient conditions that guarantee liveness of a MG plant with uncontrollable transitions, controlled by a monitor. A
48#
發(fā)表于 2025-3-29 21:16:22 | 只看該作者
49#
發(fā)表于 2025-3-30 03:05:16 | 只看該作者
https://doi.org/10.1007/978-3-658-05709-1e of the . parameters. In the particular case where the expected performance is differentiable, sensitivity analysis deals with the estimation of . of the expected performance with respect to some parameter of interest, called the ..
50#
發(fā)表于 2025-3-30 04:23:27 | 只看該作者
 關(guān)于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務(wù)流程 影響因子官網(wǎng) 吾愛(ài)論文網(wǎng) 大講堂 北京大學(xué) Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點(diǎn)評(píng) 投稿經(jīng)驗(yàn)總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機(jī)版|小黑屋| 派博傳思國(guó)際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-24 00:34
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
和林格尔县| 嘉兴市| 孟连| 聂拉木县| 抚州市| 清镇市| 霍城县| 乐清市| 宜州市| 曲麻莱县| 贵溪市| 历史| 阜平县| 宁都县| 泸溪县| 平安县| 偃师市| 新晃| 苏州市| 平湖市| 河源市| 台南县| 襄城县| 宁晋县| 桂东县| 加查县| 苍南县| 东乌珠穆沁旗| 志丹县| 外汇| 平和县| 东阿县| 工布江达县| 全南县| 泸州市| 响水县| 许昌市| 方城县| 射阳县| 中西区| 临沧市|