课题基金 / 基金详情

事象列と状態列を用いた離散事象システムのス-パバイザ制御とそのFMSへの応用

事象列と状態列を用いた離散事象システムのス-パバイザ制御とそのFMSへの応用
基于事件序列和状态序列的离散事件系统监控及其在FMS中的应用
批准号：
07750495
负责人：
高井 重昌
金额：
$0.58万
依托单位：
Osaka University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份：
1995
资助国家：
日本
项目状态：
已结题
起止时间：
1995 至 --
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-07750495/
关键词：
離散事象システムス-パバイザ制御状態フィードバック制御

项目摘要

项目成果

高井 重昌的其他基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
1.制御仕様が形式言語で与えられるような離散事象システムに対して,事象と状態の部分観測列に基づきシステムを制御するようなス-パバイザが存在するための必要十分条件を明らかにした.さらに与えられた言語に対してス-パバイザが存在しない場合について考察し,ス-パバイザが構成できるようなその部分言語を求めた.2.制御仕様が形式言語で与えられるような離散事象システムに対して,事象と状態の部分観測列に基づく分散ス-パバイザ制御が可能であるための必要十分条件を明らかにした.さらに与えられた言語に対して,分散ス-パバイザ制御が可能となるその部分言語を求めた.3.制御仕様が述語で与えられるような離散事象システムに対して,分散状態フィードバックが存在するような最小超述語が存在することを証明し,さらにその超述語を求めるアルゴリズムを提案した.4.制御仕様が述語で与えられるような離散事象システムに対して,部分観測のもとでの状態フィードバックが存在するための必要十分条件を明らかにした.さらに仕様が複数の部分述語の和で与えられる場合に関して,状態フィードバックの部分観測のもとでのモジュラ設計が可能であるための必要十分条件を明らかにした.5.制御パターンの集合が和に関して閉じているような離散事象システムにおいて,制御仕様として与えられて述語に対して状態フィードバックが存在するための必要十分条件を明らかにした.さらに状態フィードバックが存在するような最大部分述語が存在することを証明し,その部分述語を求めるアルゴリズムを提案した.
期刊论文(6)
专著(0)
科研奖励(0)
会议论文
Shigemasa Takai: "A new class of supervisors for partially observed discrete event systems" Proceedings of the 1995 American Control Conference. 2631-2635 (1995)
Shigemasa Takai：“部分观察的离散事件系统的新型监督者”1995 年美国控制会议论文集。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
Shigemasa Takai: "The infimal controllable and n-observable superpredicate of a given predicate" IEEE Transactions on Automatic Control. 40. 1249-1253 (1995)
Shigemasa Takai：“给定谓词的无限可控和 n-可观察超级谓词”IEEE 自动控制交易。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
高井重昌: "事象と状態の部分観測のもとでの離散事象システムのス-パバイザ制御" システム制御情報学会論文誌. 8. 222-229 (1995)
Shigemasa Takai：“在事件和状态的部分观察下离散事件系统的监督控制”系统、控制和信息工程师学会汇刊 8. 222-229 (1995)。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
高井重昌: "離散事象システムにおけるΓ-可制御性と状態フィードバック" 計測自動制御学会論文集. 31. 1488-1494 (1995)
Shigemasa Takai：“离散事件系统中的 Γ 可控性和状态反馈”仪器与控制工程师学会论文集 31. 1488-1494 (1995)。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
共 6 条
    Supervisory Control of Timed Discrete Event Systems Based on Bisimulation
    • 批准号：
      22K04167
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.66万
    • 财政年份：
      2022
    • 负责人：
      高井 重昌
    • 依托单位：
      Osaka University
    事象の同時生起を考慮した離散事象システムのスーパバイザ制御とその工学的応用
    離散事象システムに対するリライアブルかつノンブロッキングな分散スーパバイザの設計
    • 批准号：
      13750421
    • 项目类别：
      Grant-in-Aid for Young Scientists (B)
    • 资助金额：
      $1.22万
    • 财政年份：
      2001
    • 负责人：
      高井 重昌
    • 依托单位：
      Wakayama University
    離散事象システムに対するロバストなスーパバイザの設計とその生産システムへの応用
    • 批准号：
      11750395
    • 项目类别：
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • 资助金额：
      $1.66万
    • 财政年份：
      1999
    • 负责人：
      高井 重昌
    • 依托单位：
      Wakayama University