找回密碼
 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ù) 返回頂部 返回列表
太仆寺旗| 通州区| 青神县| 美姑县| 措勤县| 吉首市| 通江县| 来安县| 固阳县| 石景山区| 阿荣旗| 平定县| 靖边县| 海晏县| 肥乡县| 易门县| 新宁县| 汤原县| 吴堡县| 五原县| 乐山市| 修水县| 金堂县| 嘉兴市| 晋宁县| 凤阳县| 石门县| 星座| 徐水县| 利津县| 永顺县| 永仁县| 呼和浩特市| 响水县| 镇雄县| 吉首市| 平湖市| 天津市| 三原县| 铜川市| 蒲城县|