找回密碼
 To register

QQ登錄

只需一步,快速開始

掃一掃,訪問微社區(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) 吾愛論文網(wǎng) 大講堂 北京大學(xué) Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點(diǎn)評 投稿經(jīng)驗(yàn)總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機(jī)版|小黑屋| 派博傳思國際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-24 04:38
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
任丘市| 宁强县| 建水县| 涪陵区| 长海县| 融水| 和硕县| 清徐县| 金阳县| 平舆县| 台中市| 晋宁县| 保康县| 龙门县| 昌平区| 唐山市| 金昌市| 洪洞县| 肥城市| 肃北| 罗城| 株洲县| 金华市| 桃江县| 宁津县| 靖江市| 含山县| 阜新| 克拉玛依市| 梨树县| 贡觉县| 四子王旗| 古浪县| 扎鲁特旗| 饶平县| 清涧县| 九龙城区| 石台县| 安新县| 文水县| 游戏|