ログイン
言語:

WEKO3

  • トップ
  • ランキング
To
lat lon distance
To

Field does not validate



インデックスリンク

インデックスツリー

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

{"_buckets": {"deposit": "43b4c48b-3ef5-4a8a-9b86-671eaf52f31b"}, "_deposit": {"id": "13092", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "13092"}, "status": "published"}, "_oai": {"id": "oai:nagoya.repo.nii.ac.jp:00013092", "sets": ["322"]}, "author_link": ["41200", "41201", "41202"], "item_10_biblio_info_6": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2004-04-01", "bibliographicIssueDateType": "Issued"}, "bibliographicIssueNumber": "4", "bibliographicPageEnd": "849", "bibliographicPageStart": "843", "bibliographicVolumeNumber": "E87-A", "bibliographic_titles": [{"bibliographic_title": "IEICE transactions on fundamentals of electronics, communications and computer sciences", "bibliographic_titleLang": "en"}]}]}, "item_10_description_4": {"attribute_name": "抄録", "attribute_value_mlt": [{"subitem_description": "The PLC (Programmable Logic Controller) has been widely used in the industrial world as a controller for manufacturing systems, as a process controller and so on. The conventional PLC has been designed and verified as a pure Discrete Event System (DES) by using an abstract model of a controlled plant. In verifying the PLC, however, it is also important to take into account the physical behavior (e.g. dynamics, shape of objects) of the controlled plant in order to guarantee such important factors as safety. This paper presents a new verification technique for the PLC-based control system, which takes into account these physical behaviors, based on a Hybrid Dynamical System (HDS) framework. The other key idea described in the paper is the introduction of the concept of signed distance which not only measures the distance between two objects but also checks whether two objects interfere with each other. The developed idea is applied to illustrative material handling problems, and its usefulness is demonstrated.", "subitem_description_language": "en", "subitem_description_type": "Abstract"}]}, "item_10_identifier_60": {"attribute_name": "URI", "attribute_value_mlt": [{"subitem_identifier_type": "URI", "subitem_identifier_uri": "http://www.ieice.org/jpn/trans_online/index.html"}, {"subitem_identifier_type": "HDL", "subitem_identifier_uri": "http://hdl.handle.net/2237/14987"}]}, "item_10_publisher_32": {"attribute_name": "出版者", "attribute_value_mlt": [{"subitem_publisher": "Institute of Electronics, Information and Communication Engineers", "subitem_publisher_language": "en"}]}, "item_10_relation_43": {"attribute_name": "関連情報", "attribute_value_mlt": [{"subitem_relation_type": "isVersionOf", "subitem_relation_type_id": {"subitem_relation_type_id_text": "http://www.ieice.org/jpn/trans_online/index.html", "subitem_relation_type_select": "URI"}}]}, "item_10_rights_12": {"attribute_name": "権利", "attribute_value_mlt": [{"subitem_rights": "Copyright (C) 2004 IEICE", "subitem_rights_language": "en"}]}, "item_10_select_15": {"attribute_name": "著者版フラグ", "attribute_value_mlt": [{"subitem_select_item": "publisher"}]}, "item_10_source_id_7": {"attribute_name": "ISSN", "attribute_value_mlt": [{"subitem_source_identifier": "0916-8508", "subitem_source_identifier_type": "PISSN"}]}, "item_1615787544753": {"attribute_name": "出版タイプ", "attribute_value_mlt": [{"subitem_version_resource": "http://purl.org/coar/version/c_970fb48d4fbd8a85", "subitem_version_type": "VoR"}]}, "item_access_right": {"attribute_name": "アクセス権", "attribute_value_mlt": [{"subitem_access_right": "open access", "subitem_access_right_uri": "http://purl.org/coar/access_right/c_abf2"}]}, "item_creator": {"attribute_name": "著者", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "KONAKA, Eiji", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "41200", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "SUZUKI, Tatsuya", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "41201", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "OKUMA, Shigeru", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "41202", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2018-02-20"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "418.pdf", "filesize": [{"value": "833.2 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 833200.0, "url": {"label": "418.pdf", "objectType": "fulltext", "url": "https://nagoya.repo.nii.ac.jp/record/13092/files/418.pdf"}, "version_id": "cd8459a0-5b01-4ad8-be89-eb50e508bcde"}]}, "item_keyword": {"attribute_name": "キーワード", "attribute_value_mlt": [{"subitem_subject": "programmable logic controller", "subitem_subject_scheme": "Other"}, {"subitem_subject": "safety verification", "subitem_subject_scheme": "Other"}, {"subitem_subject": "hybrid dynamical system", "subitem_subject_scheme": "Other"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "eng"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "journal article", "resourceuri": "http://purl.org/coar/resource_type/c_6501"}]}, "item_title": "Safety Verification of Material Handling Systems Driven by Programmable Logic Controller : Consideration of Physical Behavior of Plants", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "Safety Verification of Material Handling Systems Driven by Programmable Logic Controller : Consideration of Physical Behavior of Plants", "subitem_title_language": "en"}]}, "item_type_id": "10", "owner": "1", "path": ["322"], "permalink_uri": "http://hdl.handle.net/2237/14987", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2011-06-29"}, "publish_date": "2011-06-29", "publish_status": "0", "recid": "13092", "relation": {}, "relation_version_is_last": true, "title": ["Safety Verification of Material Handling Systems Driven by Programmable Logic Controller : Consideration of Physical Behavior of Plants"], "weko_shared_id": -1}
  1. B200 工学部/工学研究科
  2. B200a 雑誌掲載論文
  3. 学術雑誌

Safety Verification of Material Handling Systems Driven by Programmable Logic Controller : Consideration of Physical Behavior of Plants

http://hdl.handle.net/2237/14987
http://hdl.handle.net/2237/14987
8c290efa-d948-480e-a16a-5803492382a1
名前 / ファイル ライセンス アクション
418.pdf 418.pdf (833.2 kB)
Item type 学術雑誌論文 / Journal Article(1)
公開日 2011-06-29
タイトル
タイトル Safety Verification of Material Handling Systems Driven by Programmable Logic Controller : Consideration of Physical Behavior of Plants
言語 en
著者 KONAKA, Eiji

× KONAKA, Eiji

WEKO 41200

en KONAKA, Eiji

Search repository
SUZUKI, Tatsuya

× SUZUKI, Tatsuya

WEKO 41201

en SUZUKI, Tatsuya

Search repository
OKUMA, Shigeru

× OKUMA, Shigeru

WEKO 41202

en OKUMA, Shigeru

Search repository
アクセス権
アクセス権 open access
アクセス権URI http://purl.org/coar/access_right/c_abf2
権利
言語 en
権利情報 Copyright (C) 2004 IEICE
キーワード
主題Scheme Other
主題 programmable logic controller
キーワード
主題Scheme Other
主題 safety verification
キーワード
主題Scheme Other
主題 hybrid dynamical system
抄録
内容記述 The PLC (Programmable Logic Controller) has been widely used in the industrial world as a controller for manufacturing systems, as a process controller and so on. The conventional PLC has been designed and verified as a pure Discrete Event System (DES) by using an abstract model of a controlled plant. In verifying the PLC, however, it is also important to take into account the physical behavior (e.g. dynamics, shape of objects) of the controlled plant in order to guarantee such important factors as safety. This paper presents a new verification technique for the PLC-based control system, which takes into account these physical behaviors, based on a Hybrid Dynamical System (HDS) framework. The other key idea described in the paper is the introduction of the concept of signed distance which not only measures the distance between two objects but also checks whether two objects interfere with each other. The developed idea is applied to illustrative material handling problems, and its usefulness is demonstrated.
言語 en
内容記述タイプ Abstract
出版者
言語 en
出版者 Institute of Electronics, Information and Communication Engineers
言語
言語 eng
資源タイプ
資源タイプresource http://purl.org/coar/resource_type/c_6501
タイプ journal article
出版タイプ
出版タイプ VoR
出版タイプResource http://purl.org/coar/version/c_970fb48d4fbd8a85
関連情報
関連タイプ isVersionOf
識別子タイプ URI
関連識別子 http://www.ieice.org/jpn/trans_online/index.html
ISSN
収録物識別子タイプ PISSN
収録物識別子 0916-8508
書誌情報 en : IEICE transactions on fundamentals of electronics, communications and computer sciences

巻 E87-A, 号 4, p. 843-849, 発行日 2004-04-01
著者版フラグ
値 publisher
URI
識別子 http://www.ieice.org/jpn/trans_online/index.html
識別子タイプ URI
URI
識別子 http://hdl.handle.net/2237/14987
識別子タイプ HDL
戻る
0
views
See details
Views

Versions

Ver.1 2021-03-01 18:39:15.879860
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by WEKO3


Powered by WEKO3