找回密碼
 To register

QQ登錄

只需一步,快速開始

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

打印 上一主題 下一主題

Titlebook: Discrete Event Systems: Models and Applications; IIASA Conference Sop Pravin Varaiya,Alexander B. Kurzhanski Conference proceedings 1988 Sp

[復(fù)制鏈接]
查看: 7980|回復(fù): 58
樓主
發(fā)表于 2025-3-21 18:40:10 | 只看該作者 |倒序?yàn)g覽 |閱讀模式
書目名稱Discrete Event Systems: Models and Applications
副標(biāo)題IIASA Conference Sop
編輯Pravin Varaiya,Alexander B. Kurzhanski
視頻videohttp://file.papertrans.cn/282/281101/281101.mp4
叢書名稱Lecture Notes in Control and Information Sciences
圖書封面Titlebook: Discrete Event Systems: Models and Applications; IIASA Conference Sop Pravin Varaiya,Alexander B. Kurzhanski Conference proceedings 1988 Sp
描述Research in discrete systems is expanding rapidly, and specialized languages are proliferating. This book is a remarkable attempt to bring together researchers from a diverse range of application areas. This is the proceeding of a workshop on Discrete Event Systems Models. The 30 participants included researchers working in communication networks, manufacturing, digital signal processing, Markov decision theory, and automatic control. The purpose of the workshop was to establish the common features of the mathematical models, techniques and goals pursued in these diverse areas. The papers demonstrate that there is a large common core underlying these efforts, that researchers in one area can benefit from advances in other areas of discrete systems, and that it is not difficult to translate results expressed in one discrete event formation into another. The papers cover formal description methods, logical verification, simulation, performance evaluation, and optimization. Techniques covered include finite state machines, Petri nets, communicating sequential processes, queuing analysis, and perturbation analysis.
出版日期Conference proceedings 1988
關(guān)鍵詞Markov; Signal; automatic control; calculus; communication; control; language; modeling; operator; optimizati
版次1
doihttps://doi.org/10.1007/BFb0042300
isbn_softcover978-3-540-18666-3
isbn_ebook978-3-540-48045-7Series ISSN 0170-8643 Series E-ISSN 1610-7411
issn_series 0170-8643
copyrightSpringer-Verlag Berlin Heidelberg 1988
The information of publication is updating

書目名稱Discrete Event Systems: Models and Applications影響因子(影響力)




書目名稱Discrete Event Systems: Models and Applications影響因子(影響力)學(xué)科排名




書目名稱Discrete Event Systems: Models and Applications網(wǎng)絡(luò)公開度




書目名稱Discrete Event Systems: Models and Applications網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Discrete Event Systems: Models and Applications被引頻次




書目名稱Discrete Event Systems: Models and Applications被引頻次學(xué)科排名




書目名稱Discrete Event Systems: Models and Applications年度引用




書目名稱Discrete Event Systems: Models and Applications年度引用學(xué)科排名




書目名稱Discrete Event Systems: Models and Applications讀者反饋




書目名稱Discrete Event Systems: Models and Applications讀者反饋學(xué)科排名




單選投票, 共有 0 人參與投票
 

0票 0%

Perfect with Aesthetics

 

0票 0%

Better Implies Difficulty

 

0票 0%

Good and Satisfactory

 

0票 0%

Adverse Performance

 

0票 0%

Disdainful Garbage

您所在的用戶組沒有投票權(quán)限
沙發(fā)
發(fā)表于 2025-3-21 22:44:55 | 只看該作者
Opportunities to Expand the Value of CRMocesses results in a desired exogenous trace set. Connection of discrete processes means blending of the corresponding trace structures..An algorithm is derived to construct a controller, given a process to be controlled and specifications of the desired exogenous behavior..Two examples of the use of this algorithm are presented.
板凳
發(fā)表于 2025-3-22 04:05:55 | 只看該作者
Finitely Recursive Processes, with CRP are: (1) a FRP is specified via recursion equations which clearly bring out the dynamic evolution of a process, (2) some additional operators for combining FRPs are introduced, (3) the structure of the ‘a(chǎn)lgebra’ of FRPs is exploited to suggest methods for simulating them.
地板
發(fā)表于 2025-3-22 08:26:26 | 只看該作者
Using trace theory to model discrete events,ocesses results in a desired exogenous trace set. Connection of discrete processes means blending of the corresponding trace structures..An algorithm is derived to construct a controller, given a process to be controlled and specifications of the desired exogenous behavior..Two examples of the use of this algorithm are presented.
5#
發(fā)表于 2025-3-22 10:23:41 | 只看該作者
6#
發(fā)表于 2025-3-22 14:12:28 | 只看該作者
7#
發(fā)表于 2025-3-22 21:01:02 | 只看該作者
8#
發(fā)表于 2025-3-22 21:13:32 | 只看該作者
9#
發(fā)表于 2025-3-23 03:47:03 | 只看該作者
Supervisory control of discrete event systems: A survey and some new results,We present an overview of the modeling of discrete event systems using formal languages. Some new results on the controllability of sequential behaviors are presented and a standard coordination problem for a product system is shown to be of polynomial complexity.
10#
發(fā)表于 2025-3-23 07:47:53 | 只看該作者
 關(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-7 07:41
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
九江市| 海兴县| 凯里市| 长沙市| 黎平县| 建始县| 呼图壁县| 黔南| 临城县| 界首市| 博客| 阿巴嘎旗| 磐石市| 同江市| 辽阳市| 葵青区| 新源县| 桂林市| 宁阳县| 瑞安市| 个旧市| 茶陵县| 成安县| 佛教| 仙桃市| 榆社县| 海晏县| 五常市| 阿坝| 什邡市| 嘉兴市| 洞口县| 田林县| 洪洞县| 岳阳市| 临湘市| 沾化县| 洪湖市| 陇川县| 大名县| 岫岩|