A Formal Behavior Model for Discrete Production Systems with Parallel Operation of Multiple Jobs
-
- TAKATSUKA Kayoko
- Faculty of Engineering, University of Miyazaki
-
- TOMITA Shigeyuki
- Faculty of Engineering, University of Miyazaki
Bibliographic Information
- Other Title
-
- 複数ジョブをもつ離散型並列生産システムのための動作モデルの提案
- 複数ジョブをもつ離散型並列生産システムのための動作モデルの提案 : バッチ式化学プラントの動作検証への適用
- フクスウ ジョブ オ モツ リサンガタ ヘイレツ セイサン システム ノ タメ ノ ドウサ モデル ノ テイアン : バッチシキ カガク プラント ノ ドウサ ケンショウ エ ノ テキヨウ
- —Application to Verification of Chemical Batch Plant Operation—
- —バッチ式化学プラントの動作検証への適用—
Search this article
Abstract
A formal model named Expanded-Timed-State-Chart (ETSC) for expressing the complex behavior of a discrete production system (DPS), where multiple jobs are simultaneously carried out in parallel, was proposed by expanding Timed-State-Chart model. Making use of the model, event-driven simulation of DPS in formal fashion can conveniently be carried out, and so the verification method based on Model-Checking becomes applicable to DPS. In order to illustrate the usefulness of the model, computational experiments were carried out for verifying the validity of operations given to a target DPS, that is a multi-purpose chemical batch plant given by Japan Batch Forum. Some practical assumptions to reduce the “reachable-tree” to a restricted one have been introduced here in order to avoid the difficulty of combinatorial explosion, that intrinsically appears in the generation of Kripke-Structure of original DES.
Journal
-
- Transactions of the Society of Instrument and Control Engineers
-
Transactions of the Society of Instrument and Control Engineers 49 (10), 901-910, 2013
The Society of Instrument and Control Engineers
- Tweet
Keywords
Details 詳細情報について
-
- CRID
- 1390001204505025024
-
- NII Article ID
- 130004549696
-
- NII Book ID
- AN00072392
-
- ISSN
- 18838189
- 04534654
-
- NDL BIB ID
- 024945038
-
- Text Lang
- ja
-
- Data Source
-
- JaLC
- NDL
- Crossref
- CiNii Articles
-
- Abstract License Flag
- Disallowed