找回密碼
 To register

QQ登錄

只需一步,快速開始

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

打印 上一主題 下一主題

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

[復制鏈接]
查看: 7979|回復: 58
樓主
發(fā)表于 2025-3-21 18:40:10 | 只看該作者 |倒序瀏覽 |閱讀模式
書目名稱Discrete Event Systems: Models and Applications
副標題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
關鍵詞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影響因子(影響力)學科排名




書目名稱Discrete Event Systems: Models and Applications網絡公開度




書目名稱Discrete Event Systems: Models and Applications網絡公開度學科排名




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




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




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




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




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




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




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

0票 0%

Perfect with Aesthetics

 

0票 0%

Better Implies Difficulty

 

0票 0%

Good and Satisfactory

 

0票 0%

Adverse Performance

 

0票 0%

Disdainful Garbage

您所在的用戶組沒有投票權限
沙發(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 ‘algebra’ 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 | 只看該作者
 關于派博傳思  派博傳思旗下網站  友情鏈接
派博傳思介紹 公司地理位置 論文服務流程 影響因子官網 吾愛論文網 大講堂 北京大學 Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點評 投稿經驗總結 SCIENCEGARD IMPACTFACTOR 派博系數 清華大學 Yale Uni. Stanford Uni.
QQ|Archiver|手機版|小黑屋| 派博傳思國際 ( 京公網安備110108008328) GMT+8, 2025-10-7 02:05
Copyright © 2001-2015 派博傳思   京公網安備110108008328 版權所有 All rights reserved
快速回復 返回頂部 返回列表
柳林县| 陆川县| 扶沟县| 普宁市| 德阳市| 灵台县| 昌邑市| 辉县市| 自贡市| 双鸭山市| 米林县| 鸡东县| 桂阳县| 小金县| 安顺市| 永登县| 沂源县| 房产| 错那县| 潍坊市| 云南省| 通河县| 略阳县| 萍乡市| 临泽县| 镶黄旗| 桂平市| 惠州市| 平遥县| 广平县| 正蓝旗| 合山市| 枞阳县| 漾濞| 紫阳县| 平泉县| 玉溪市| 女性| 东平县| 萨迦县| 肥乡县|