• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

平石 邦彦  Hiraishi Kunihiko

ORCIDORCID連携する *注記
研究者番号 40251970
その他のID
外部サイト
所属 (現在) 2025年度: 北陸先端科学技術大学院大学, 先端科学技術研究科, 教授
所属 (過去の研究課題情報に基づく) *注記 2020年度 – 2023年度: 北陸先端科学技術大学院大学, 先端科学技術研究科, 教授
2015年度 – 2018年度: 北陸先端科学技術大学院大学, 先端科学技術研究科, 教授
2013年度 – 2015年度: 北陸先端科学技術大学院大学, 情報科学研究科, 教授
2009年度 – 2011年度: 北陸先端科学技術大学院大学, 情報科学研究科, 教授
2005年度 – 2007年度: 北陸先端科学技術大学院大学, 情報科学研究科, 教授
1999年度 – 2001年度: 北陸先端科学技術大学院大学, 情報科学研究科, 助教授
1996年度: 北陸先端科学技術大学院大学, 情報科学研究科, 助教授
審査区分/研究分野
研究代表者
小区分60020:数理情報学関連 / 小区分21040:制御およびシステム工学関連 / 数理情報学 / 制御工学 / 情報学基礎理論 / 情報学基礎 / システム工学
研究代表者以外
ウェブ情報学・サービス情報学 / 知能情報学
キーワード
研究代表者
ビッグデータ / 交通流 / 離散事象システム / 性能評価 / ハイブリッドシステム / 形式手法 / 形式検証 / 実時間システム / シミュレーション / イベント処理 … もっと見る / 航空管制 / 数理モデル / 空域交通流 / 予測モデル / 情報スーパーバイザ制御 / 意思決定 / スーパーバイザ制御 / 状況アウェアネス / Formal Verification / Ontimal Control / Hybrid Systems / 最適制御 / 時系列データ / 異常検出 / 分散システム / Nグラムモデル / イベントログ / 異常検知 / 故障診断 / システム検証 / 並行システム … もっと見る
研究代表者以外
情報スーパーバイザ制御 / 看護学 / 情報工学 / スマートセンサ情報システム / サービス / 患者状態適応型パスシステム / 気づきマイキング / 学習型気づき誘発 / アウエアネス / 医療・福祉 / 情報システム / サービス科学 / 警備 / 農業 / 介護 / ナレッジマネジメント / 組織学習 / 行動分析 / 気づき / 音声つぶやき / 行動マイニング / 人間センサー / 気づきプラットフォーム / 気づき誘発 / 気づき体系化 / 気づき組織学習 / 情報スーパバイザ制御 / 音声つぶやきシステム / Czech Republic / International Research Cooperation / Fuzzy Theory / Operations Research / Optimization Theory / Scheduling / チェコ / ファジイ理論 / チェコ共和国 / 国際研究者交流 / ファジィ理論 / オペレーションズ・リサーチ / 最適化理論 / スケジューリング 隠す
  • 研究課題

    (9件)
  • 研究成果

    (133件)
  • 共同研究者

    (11人)
  •  交通流ビッグデータ解析のためのイベント処理技術に関する研究研究代表者

    • 研究代表者
      平石 邦彦
    • 研究期間 (年度)
      2023 – 2025
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分60020:数理情報学関連
    • 研究機関
      北陸先端科学技術大学院大学
  •  航空オープンデータを用いた空域交通流の数理的モデル化と制御研究代表者

    • 研究代表者
      平石 邦彦
    • 研究期間 (年度)
      2020 – 2023
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分21040:制御およびシステム工学関連
    • 研究機関
      北陸先端科学技術大学院大学
  •  状況アウェアネスと情報スーパーバイザ制御のための数理モデルの構築研究代表者

    • 研究代表者
      平石 邦彦
    • 研究期間 (年度)
      2016 – 2018
    • 研究種目
      基盤研究(C)
    • 研究分野
      数理情報学
    • 研究機関
      北陸先端科学技術大学院大学
  •  看護・介護サービスの質を高める音声つぶやきによる気づきプラットフォームの研究

    • 研究代表者
      内平 直志
    • 研究期間 (年度)
      2015 – 2017
    • 研究種目
      基盤研究(B)
    • 研究分野
      ウェブ情報学・サービス情報学
    • 研究機関
      北陸先端科学技術大学院大学
  •  離散事象システムのモデルレス故障診断法に関する研究研究代表者

    • 研究代表者
      平石 邦彦
    • 研究期間 (年度)
      2013 – 2015
    • 研究種目
      基盤研究(C)
    • 研究分野
      情報学基礎理論
    • 研究機関
      北陸先端科学技術大学院大学
  •  離散ダイナミクスの流体化によるシステムの安全性検証研究代表者

    • 研究代表者
      平石 邦彦
    • 研究期間 (年度)
      2009 – 2011
    • 研究種目
      基盤研究(C)
    • 研究分野
      情報学基礎
    • 研究機関
      北陸先端科学技術大学院大学
  •  高信頼ハイブリッドダイナミカルシステムの最適設計に関する研究研究代表者

    • 研究代表者
      平石 邦彦
    • 研究期間 (年度)
      2005 – 2007
    • 研究種目
      基盤研究(C)
    • 研究分野
      制御工学
    • 研究機関
      北陸先端科学技術大学院大学
  •  ペナルティを生じる完了時間の早まりと遅れに関するスケジューリング問題

    • 研究代表者
      VLACH Milan (ブラッハ ミラン)
    • 研究期間 (年度)
      1999 – 2001
    • 研究種目
      基盤研究(B)
    • 研究分野
      知能情報学
    • 研究機関
      北陸先端科学技術大学院大学
  •  大規模並行実時間システムの効率的な検証方法の研究研究代表者

    • 研究代表者
      平石 邦彦
    • 研究期間 (年度)
      1996
    • 研究種目
      奨励研究(A)
    • 研究分野
      システム工学
    • 研究機関
      北陸先端科学技術大学院大学

すべて 2024 2023 2022 2021 2018 2017 2016 2015 2014 2013 2011 2010 2009 2007 2006 2005

すべて 雑誌論文 学会発表

  • [雑誌論文] 交通流データのイベント抽出による解析-大規模軌跡データからの主要経路の抽出-2024

    • 著者名/発表者名
      平石邦彦
    • 雑誌名

      信学技報

      巻: MSS2023-57 ページ: 31-34

    • データソース
      KAKENHI-PROJECT-23K10996
  • [雑誌論文] Mesoscopic Modeling of Airspace Traffic Flow2023

    • 著者名/発表者名
      Uehara Kenji、Hiraishi Kunihiko
    • 雑誌名

      IFAC-PapersOnLine

      巻: 56 号: 2 ページ: 4589-4594

    • DOI

      10.1016/j.ifacol.2023.10.961

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20K04544
  • [雑誌論文] プロセスマイニングを応用した大容量交通流の Mesoscopicモデル化手法2022

    • 著者名/発表者名
      上原 健嗣, 平石 邦彦
    • 雑誌名

      信学技報

      巻: MSS2021-51 ページ: 112-117

    • データソース
      KAKENHI-PROJECT-20K04544
  • [雑誌論文] Modeling Inter-Sector Air Traffic Flow and Sector Demand Prediction2022

    • 著者名/発表者名
      MISHIMA Ryosuke、HIRAISHI Kunihiko
    • 雑誌名

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      巻: E105.A 号: 10 ページ: 1413-1420

    • DOI

      10.1587/transfun.2021EAP1147

    • ISSN
      0916-8508, 1745-1337
    • 年月日
      2022-10-01
    • 言語
      英語
    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-20K04544
  • [雑誌論文] 航空オープンデータを用いたセクター間交通流のモデル化と混雑度予測2021

    • 著者名/発表者名
      三島諒亮, 平石邦彦
    • 雑誌名

      信学技報

      巻: MSS2020-49 ページ: 27-32

    • データソース
      KAKENHI-PROJECT-20K04544
  • [雑誌論文] An Efficient Mesoscopic Modeling Method for Large Volume Traffic Flow Using Process Mining Techniques2021

    • 著者名/発表者名
      Kenji Uehara,Kunihiko Hiraishi
    • 雑誌名

      Proc. IEEE CSDE & i-COSTE 2021

      巻: - ページ: 1-6

    • DOI

      10.1109/csde53843.2021.9718441

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20K04544
  • [雑誌論文] 作業スタッフの行動ログを用いた時空間状況認識の性能向上について2018

    • 著者名/発表者名
      早貸 舜, 平石邦彦, 内平直志
    • 雑誌名

      信学技報

      巻: 117:506 ページ: 67-72

    • データソース
      KAKENHI-PROJECT-16K00032
  • [雑誌論文] 大規模空域トラフィックデータに対するセクター同定2018

    • 著者名/発表者名
      徳丸翔也, 平石邦彦
    • 雑誌名

      第64回離散事象システム研究会予稿集

      巻: 1 ページ: 24-27

    • データソース
      KAKENHI-PROJECT-16K00032
  • [雑誌論文] Information Supervisory Control of Human Behavior - A Formal Model and Simulation -2018

    • 著者名/発表者名
      Kunihiko Hiraishi, Naoshi Uchihira, Sunseong Choe, Koichi Kobayashi
    • 雑誌名

      Proc. IEEE Systems, Man, and Cybernetics 2018

      巻: 1 ページ: 2021-2026

    • DOI

      10.1109/smc.2018.00349

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16K00032
  • [雑誌論文] CARATS Open Dataにおける航空機位置のセクター決定問題について2018

    • 著者名/発表者名
      徳丸翔也, 平石邦彦
    • 雑誌名

      信学技報

      巻: 117:506 ページ: 47-51

    • データソース
      KAKENHI-PROJECT-16K00032
  • [雑誌論文] Information Supervisory Control of Human Behavior - Experiments and Formal Modeling -2017

    • 著者名/発表者名
      Kunihiko Hiraishi, Naoshi Uchihira, Sunseong Choe, Koichi Kobayashi
    • 雑誌名

      Proc. ASCC2017

      巻: 1 ページ: 1351-1356

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16K00032
  • [雑誌論文] 看護・介護サービスにおけるケアスタッフの連携行動の解析2017

    • 著者名/発表者名
      小林孝一, 平石邦彦, 崔 舜星, 内平直志
    • 雑誌名

      信学技報

      巻: 116:525 ページ: 7-10

    • 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-16K00032
  • [雑誌論文] Behavioral Analysis in Nursing and Caregiving Services Using Switched Linear Regression Models2017

    • 著者名/発表者名
      Kobayashi Koichi、Hiraishi Kunihiko、Choe Sunseong、Uchihira Naoshi
    • 雑誌名

      IFAC-PapersOnLine

      巻: 50 号: 1 ページ: 4582-4587

    • DOI

      10.1016/j.ifacol.2017.08.1001

    • NAID

      40020792362

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-15H02785
  • [雑誌論文] Diagnosis of Stochastic Discrete Event Systems Based on N-Gram Models with Wildcard Characters2016

    • 著者名/発表者名
      K. Hiraishi, K. Kobayashi
    • 雑誌名

      IEICE Trans. Fundamentals

      巻: E99-A:2 ページ: 462-467

    • NAID

      130005121533

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-25330011
  • [雑誌論文] Spatio-Temporal Situation Recognition for Groups in Caregiving Services2016

    • 著者名/発表者名
      K. Hiraishi, K. Sato, K. Kobayashi
    • 雑誌名

      Proc. 2015 IEEE International Inter-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support

      巻: 1 ページ: 78-82

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-25330011
  • [雑誌論文] Information Supervisory Control of Human Behavior - Concept and Experiments Toward Realization -2016

    • 著者名/発表者名
      Kunihiko Hiraishi, Naoshi Uchihira, Sunseong Choe, Koichi Kobayashi
    • 雑誌名

      Proc. IEEE SMC2016

      巻: 1 ページ: 790-795

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-16K00032
  • [雑誌論文] Situation Recognition from Behavior Logs in Caregiving Services2015

    • 著者名/発表者名
      K. Sato, K. Kobayashi, K,Hiraishi
    • 雑誌名

      Proc. 30th International Technical Conference on Circuits/Systems, Computers and Communications

      巻: 1 ページ: 721-724

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-25330011
  • [雑誌論文] Diagnosis of Stochastic Discrete Event Systems Based on N-gram Models2015

    • 著者名/発表者名
      Miwa YOSHIMOTO, Koichi KOBAYASHI, Kunihiko HIRAISHI
    • 雑誌名

      IEICE Trans Fundamentals

      巻: E98-A ページ: 618-625

    • NAID

      130004770951

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-25330011
  • [雑誌論文] Detection of Unusual Human Activities Based on Behavior Modeling2014

    • 著者名/発表者名
      Kunihiko Hiraishi, Koichi Kobayashi
    • 雑誌名

      Proc. of the 12th IFAC International Workshop on Discrete Event Systems

      巻: 1 ページ: 182-187

    • NAID

      120006675894

    • 査読あり
    • データソース
      KAKENHI-PROJECT-25330011
  • [雑誌論文] Behavior Modeling in Physical and Adaptive Intelligent Services2014

    • 著者名/発表者名
      Kunihiko Hiraishi, Koichi Kobayashi, Sunseong Choe, Naoshi Uchihira
    • 雑誌名

      Proc. IEEE CogSIMA2014

      巻: 1 ページ: 221-226

    • 査読あり
    • データソース
      KAKENHI-PROJECT-25330011
  • [雑誌論文] イベントログに基づいた行動型サービスの分析2013

    • 著者名/発表者名
      甚田貴徳, 青戸渉, 崔舜星, 小林孝一, 平石邦彦, 内平直志
    • 雑誌名

      電子情報通信学会技術研究報告

      巻: 113-121 ページ: 1-8

    • データソース
      KAKENHI-PROJECT-25330011
  • [雑誌論文] Diagnosis of Stochastic Discrete Event Systems Based on N-gram Models with Wildcard Characters2013

    • 著者名/発表者名
      Kunihiko Hiraishi, Miwa Yoshimoto, Koichi Kobayashi
    • 雑誌名

      Proc. IFIP/IEEE IM2013 Workshop DANMS2013

      巻: 1 ページ: 1383-1388

    • NAID

      130005121533

    • 査読あり
    • データソース
      KAKENHI-PROJECT-25330011
  • [雑誌論文] Simulating Stochastic Discrete Event Systems by Difference Equations with Interval Parameters2011

    • 著者名/発表者名
      Kunihiko Hiraishi
    • 雑誌名

      Proc.IEEE IECON2011

      ページ: 3669-3674

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21500009
  • [雑誌論文] 遷移関係に基づくハイブリッドシステムの近似双模倣2011

    • 著者名/発表者名
      崔舜星, 平石邦彦, 小林孝一
    • 雑誌名

      計測自動制御学会論文集

      巻: 47-12 ページ: 614-620

    • NAID

      10030165675

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21500009
  • [雑誌論文] Simulating Stochastic Discrete Event Systems by Difference Equations with Interval Parameters2011

    • 著者名/発表者名
      Kunihiko Hiraishi
    • 雑誌名

      Proc. IEEE IECON2011

      ページ: 3669-3674

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21500009
  • [雑誌論文] An Approximation Algorithm for Box Abstraction of Transition Systems on Real Vector Fields2010

    • 著者名/発表者名
      K. Hiraishi and K. Kobayashi
    • 雑誌名

      計測自動制御学会第48回離散事象システム研究会予稿集

      ページ: 49-56

    • データソース
      KAKENHI-PROJECT-21500009
  • [雑誌論文] 整数計画法を用いた確率ブーリアンネットワークの最適制御2010

    • 著者名/発表者名
      小林孝一, 平石邦彦
    • 雑誌名

      計測自動制御学会論文集

      巻: 46-11 ページ: 659-665

    • NAID

      10027445679

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21500009
  • [雑誌論文] On Analysis of a Class of Timed Continuous Petri Nets and Its Applications2010

    • 著者名/発表者名
      Kunihiko Hiraishi
    • 雑誌名

      Proc. SICE Annual Conference 2010

      ページ: 2253-2259

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21500009
  • [雑誌論文] MLD-Based Modeling of Hybrid Systems with Parameter Uncertainty2009

    • 著者名/発表者名
      Koichi Kobayashi and Kunihiko Hiraishi
    • 雑誌名

      IEICE Trans Fundamentals

      巻: Vol.E92-A, No.11 ページ: 2745-2754

    • NAID

      10026860756

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21500009
  • [雑誌論文] Analysis and Control of Hybrid Systems with Parameter Uncertainty Based on Interval Methods2009

    • 著者名/発表者名
      Koichi Kobayashi and Kunihiko Hiraishi
    • 雑誌名

      Proc. 2009 American Control Conference

      ページ: 3632-3637

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21500009
  • [雑誌論文] MLD-Based Modeling of Hybrid Systems with Parameter Uncertainty2009

    • 著者名/発表者名
      Koichi Kobayashi, Kunihiko Hiraishi
    • 雑誌名

      IEICE Trans.Fundamentals E92A-4

      ページ: 2745-2754

    • NAID

      10026860756

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21500009
  • [雑誌論文] A Faster Approximation Technique for Predicate Abstraction of Hybrid Systems2009

    • 著者名/発表者名
      Kunihiko Hiraishi, Koichi Kobayashi
    • 雑誌名

      Proc.ICCAS-SICE2009

      ページ: 1717-1721

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21500009
  • [雑誌論文] A Faster Approximation Technique for Predicate Abstraction of Hybrid Systems2009

    • 著者名/発表者名
      Kunihiko Hiraishi and Koichi Kobayashi
    • 雑誌名

      Proc. ICCAS-SICE2009

      ページ: 1717-1721

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21500009
  • [雑誌論文] ハイブリッドシステムにおける述語抽象化計算の効率化2009

    • 著者名/発表者名
      平石邦彦, 小林孝一
    • 雑誌名

      計測自動制御学会第45回離散事象システム研究会予稿集

      ページ: 53-58

    • データソース
      KAKENHI-PROJECT-21500009
  • [雑誌論文] 混合論理動的システム表現の改良に関する研究2007

    • 著者名/発表者名
      崔舜星, 平石邦彦
    • 雑誌名

      電子情報通信学会技術報告 CST2006-2

      ページ: 7-11

    • NAID

      110004776245

    • データソース
      KAKENHI-PROJECT-17560386
  • [雑誌論文] ハイブリッドシステムのモデル予測制御問題に対する事前計算に基づく近似解法2007

    • 著者名/発表者名
      小林孝一, Nguyen Van Tang, 平石邦彦
    • 雑誌名

      計測自動制御学会 システム・情報部門学術講演会予稿集

      ページ: 433-438

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17560386
  • [雑誌論文] Precomputation Based Approximate Algorithm for Model Predictive Control of Hybrid Systems2007

    • 著者名/発表者名
      Koichi, Kobayashi, Nguyen, Van, Tang, Kunihiko, Hiraishi
    • 雑誌名

      Proc. SICE Symposium on Systems and Information

      ページ: 433-438

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17560386
  • [雑誌論文] Performance Evaluation of Workflows Using Fluid Flow Approximation of Discrete Sets and Probability Distributions2007

    • 著者名/発表者名
      平石 邦彦
    • 雑誌名

      Proc. IEEE IECON'07

      ページ: 88-93

    • 説明
      「研究成果報告書概要(和文)」より
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17560386
  • [雑誌論文] Performance Evaluation of Workflows Using Fluid Flow Approximation of Discrete Sets and Probability Distributions2007

    • 著者名/発表者名
      平石 邦彦
    • 雑誌名

      Proc.IECON '07

      ページ: 88-93

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17560386
  • [雑誌論文] Performance, Evaluation of Workflows Using Fluid Flow Approximation of Discrete Sets and Probability Distributions2007

    • 著者名/発表者名
      Kunihiko, Hiraishi
    • 雑誌名

      Proc. IEEE IECON'07

      ページ: 88-93

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17560386
  • [雑誌論文] Solving Optimization Problems on Hybrid Systems by Graph Exploration2007

    • 著者名/発表者名
      Kunihiko HIraishi
    • 雑誌名

      Proc. 8th Int. Workshop on Discrete event Systems

      ページ: 282-287

    • データソース
      KAKENHI-PROJECT-17560386
  • [雑誌論文] Performance Evaluation of Workflows Using Continuous Approximation2007

    • 著者名/発表者名
      Kunihiko Hiraishi
    • 雑誌名

      電子情報通信学会技術報告 CST2006-3

      ページ: 7-12

    • NAID

      110005717773

    • データソース
      KAKENHI-PROJECT-17560386
  • [雑誌論文] ハイブリッドシステムのモデル予測制御問題に対する事前計算に基づく近似解法2007

    • 著者名/発表者名
      小林 孝一, Nguyen Van Tang, 平石 邦彦
    • 雑誌名

      計測自動制御学会システム・情報部門学術講演会予稿集

      ページ: 433-438

    • データソース
      KAKENHI-PROJECT-17560386
  • [雑誌論文] A Rapid Prototyping Tool for Implementing Algorithms on Hybrid Systems2006

    • 著者名/発表者名
      Kunihiko, Hiraishi, KCLP-HS
    • 雑誌名

      JIAST Research Report IS-RR-2006-012

      ページ: 37-37

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17560386
  • [雑誌論文] An Improvement of Mixed Logical Dynamical System Representation2006

    • 著者名/発表者名
      Sunseong, Choe, Kunihiko, Hiraishi
    • 雑誌名

      IEICE Technical Report 106-88

      ページ: 7-11

    • NAID

      110004776245

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17560386
  • [雑誌論文] Solving Optimization Problems on Hybrid Systems by Graph Exploration2006

    • 著者名/発表者名
      Kunihiko, Hiraishi
    • 雑誌名

      Proc. 8th Int. Workshop on Discrete Event Systems

      ページ: 282-287

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17560386
  • [雑誌論文] Performance Evaluation of Workflows Using Continuous Approximation2006

    • 著者名/発表者名
      Kunihiko Hiraishi
    • 雑誌名

      Proc. Japan Vietnam Workshop on Software Engineering

      ページ: 8-9

    • NAID

      110005717773

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17560386
  • [雑誌論文] Performance, Evaluation of Workflows Using Continuous Approximation2006

    • 著者名/発表者名
      Kunihiko, Hiraishi
    • 雑誌名

      Proc. Japan Vietnam Workshop on Software Engineering

      ページ: 8-9

    • NAID

      110005717773

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17560386
  • [雑誌論文] 混合論理動的システム表現の改良に関する研究2006

    • 著者名/発表者名
      崔舜星, 平石邦彦
    • 雑誌名

      電子情報通信学会技術報告 106-88

      ページ: 7-11

    • NAID

      110004776245

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17560386
  • [雑誌論文] KCLP-HS: A Rapid Prototyping Tool for Implementing Algorithms on Hybrid Systems2006

    • 著者名/発表者名
      Kunihiko Hiraishi
    • 雑誌名

      JAIST Research Report IS-RR-2006-012

      ページ: 37-37

    • NAID

      110004847488

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17560386
  • [雑誌論文] Performance Evaluation of Workflows Using Continuous Approximation2006

    • 著者名/発表者名
      Kunihiko Hiraishi
    • 雑誌名

      電子情報通信学会技術報告 106-366

      ページ: 7-12

    • NAID

      110005717773

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17560386
  • [雑誌論文] Solving Optimization Problems on Hybrid Systems by Graph Exploration2006

    • 著者名/発表者名
      Kunihiko Hiraishi
    • 雑誌名

      Proc. 8th Int. Workshop on Discrete Event Systems

      ページ: 282-287

    • 説明
      「研究成果報告書概要(和文)」より
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17560386
  • [雑誌論文] Performance, Evaluation of Workflows Using Continuous Approximation2006

    • 著者名/発表者名
      Kunihiko, Hiraishi
    • 雑誌名

      IEICE Technical Report 106-366

      ページ: 7-11

    • NAID

      110005717773

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17560386
  • [雑誌論文] Application of Quantifier Elimination to Optimal Control Problems of Hybrid Systems2005

    • 著者名/発表者名
      Sunseong Choe, Kunihiko Hiraishi
    • 雑誌名

      Proc. 7th Asian Symposium on Computer Mathematics

      ページ: 62-65

    • 説明
      「研究成果報告書概要(和文)」より
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17560386
  • [雑誌論文] 制約充足に基づいたハイブリッドシステム設計のための計算ツール2005

    • 著者名/発表者名
      平石邦彦, 崔舜星
    • 雑誌名

      第18回回路とシステム軽井沢ワークショップ予稿集

      ページ: 287-298

    • データソース
      KAKENHI-PROJECT-17560386
  • [雑誌論文] Computational Tools for Designing Hybrid Systems Based on Constraint Satisfaction2005

    • 著者名/発表者名
      Kunihiko Hiraishi, Sunseong Choe
    • 雑誌名

      Proc. Workshop on Control of Hybrid and Discrete Event Systems, Satellite Workshop of ATPN2005

      ページ: 41-60

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17560386
  • [雑誌論文] Application of Quantifier Elimination to Optimal Control Problems of Hybrid Systems2005

    • 著者名/発表者名
      Sunseong Choe, Kunihiko Hiraishi
    • 雑誌名

      Proc.7th Asian Symposium on Computer Mathematics

      ページ: 62-65

    • データソース
      KAKENHI-PROJECT-17560386
  • [雑誌論文] ハイブリッドシステムにおける最適制御問題へのQEの適用2005

    • 著者名/発表者名
      崔舜星, 平石邦彦
    • 雑誌名

      第15回インテリジェントシステムシンポジウム予稿集

      ページ: 177-192

    • データソース
      KAKENHI-PROJECT-17560386
  • [雑誌論文] ハイブリッドシステムにおける最適制御問題へのQEの適用2005

    • 著者名/発表者名
      崔舜星, 平石邦彦
    • 雑誌名

      計測自動制御学会 第15回インテリジェントシステムシンポジウム予稿集

      ページ: 177-192

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17560386
  • [雑誌論文] Computational Tools for Designing Hybrid Systems Based on Constraint Satisfaction2005

    • 著者名/発表者名
      Kunihiko Hiraishi, Sunseong Choe
    • 雑誌名

      Proc.Workshop on Control of Hybrid and Discrete Event Systems, Satellite workshop of ATPN2005

      ページ: 41-60

    • データソース
      KAKENHI-PROJECT-17560386
  • [雑誌論文] Computational Tools for Designing Hybrid Systems Based on Constraint Satisfaction2005

    • 著者名/発表者名
      Kunihiko, Hiraishi, Sunseong, Choe
    • 雑誌名

      Proc. IEICE 18th Karuizawa Workshop

      ページ: 287-298

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17560386
  • [雑誌論文] 制約充足に基づいたハイブリッドシステム設計のための計算ツール2005

    • 著者名/発表者名
      平石邦彦, 崔舜星
    • 雑誌名

      電子情報通信学会 第18回回路とシステム軽井沢ワークショップ予稿集

      ページ: 287-298

    • 説明
      「研究成果報告書概要(和文)」より
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17560386
  • [雑誌論文] Application of QE to Optimal Control Problems of Hybrid Systems2005

    • 著者名/発表者名
      Sunseong, Choe, Kunihiko, Hiraishi
    • 雑誌名

      Proc. SICE FAN Symposium

      ページ: 177-192

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17560386
  • [雑誌論文] Application of Quantifier Elimination to Optimal Control Problems of Hybrid Systems2005

    • 著者名/発表者名
      Sunseong, Choe, Kunihiko, Hiraishi
    • 雑誌名

      Proc. 7th Asian Symposium on Computer Mathematics

      ページ: 62-65

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17560386
  • [雑誌論文] Computational Tools for Designing Hybrid Systems Based on Constraint Satisfaction2005

    • 著者名/発表者名
      Kunihiko, Hiraishi, Sunseong, Choe
    • 雑誌名

      Proc. Workshop on Control of Hybrid and Discrete Event Systems. Satellite workshop of ATPN2005

      ページ: 41-60

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17560386
  • [学会発表] 交通流データのイベント抽出による解析-大規模軌跡データからの主要経路の抽出-2024

    • 著者名/発表者名
      平石邦彦
    • 学会等名
      電子情報通信学会システム数理と応用研究会
    • データソース
      KAKENHI-PROJECT-23K10996
  • [学会発表] Mesoscopic Modeling of Airspace Traffic Flow2023

    • 著者名/発表者名
      Kenji Uehara, Kunihiko Hiraishi
    • 学会等名
      22nd IFAC world congress
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20K04544
  • [学会発表] A Framework for Extracting Abstracted Route Graphs Toward Air Traffic Flow Modeling2022

    • 著者名/発表者名
      Kenji Uehara,Kunihiko Hiraishi
    • 学会等名
      2022 IEEE International Conference on Systems, Man, and Cybernetics (SMC2022)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20K04544
  • [学会発表] 固定経路のない交通流データにおける主要経路抽出手法2022

    • 著者名/発表者名
      上原 健嗣, 平石 邦彦
    • 学会等名
      電子情報通信学会ソサイエティ大会
    • 招待講演
    • データソース
      KAKENHI-PROJECT-20K04544
  • [学会発表] プロセスマイニングを応用した大容量交通流の Mesoscopicモデル化手法2022

    • 著者名/発表者名
      上原 健嗣, 平石 邦彦
    • 学会等名
      電子情報通信学会システム数理と応用研究会
    • データソース
      KAKENHI-PROJECT-20K04544
  • [学会発表] プロセスマイニング技術を応用した空港面交通流のメゾスコピックモデル化手法2021

    • 著者名/発表者名
      上原 健嗣, 平石 邦彦
    • 学会等名
      CARATSオープンデータ活用促進フォーラム
    • 招待講演
    • データソース
      KAKENHI-PROJECT-20K04544
  • [学会発表] 航空オープンデータを用いたセクター間交通流のモデル化と混雑度予測2021

    • 著者名/発表者名
      三島諒亮, 平石邦彦
    • 学会等名
      電子情報通信学会システム数理と応用研究会
    • データソース
      KAKENHI-PROJECT-20K04544
  • [学会発表] An Efficient Mesoscopic Modeling Method for Large Volume Traffic Flow Using Process Mining Techniques2021

    • 著者名/発表者名
      Kenji Uehara, Kunihiko Hiraishi
    • 学会等名
      IEEE CSDE & i-COSTE 2021
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20K04544
  • [学会発表] CARATS Open Dataにおける航空機位置のセクター決定問題について2018

    • 著者名/発表者名
      徳丸翔也, 平石邦彦
    • 学会等名
      電子情報通信学会システム数理と応用研究会
    • データソース
      KAKENHI-PROJECT-16K00032
  • [学会発表] Information Supervisory Control of Human Behavior2018

    • 著者名/発表者名
      Kunihiko Hiraishi
    • 学会等名
      The 13th India-Japan Bilateral Conference 2018
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K00032
  • [学会発表] 作業スタッフの行動ログを用いた時空間状況認識の性能向上について2018

    • 著者名/発表者名
      早貸 舜, 平石邦彦, 内平直志
    • 学会等名
      電子情報通信学会システム数理と応用研究会
    • データソース
      KAKENHI-PROJECT-16K00032
  • [学会発表] Information Supervisory Control of Human Behavior - A Formal Model and Simulation -2018

    • 著者名/発表者名
      Kunihiko Hiraishi
    • 学会等名
      IEEE Systems, Man, and Cybernetics 2018
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K00032
  • [学会発表] 移動時における気づきの収集2017

    • 著者名/発表者名
      岡田政則、内平直志、平石邦彦、国藤進
    • 学会等名
      第39回日本創造学会研究大会
    • データソース
      KAKENHI-PROJECT-15H02785
  • [学会発表] 看護・介護サービスにおけるケアスタッフの連携行動の解析2017

    • 著者名/発表者名
      小林孝一, 平石邦彦, 崔舜星, 内平直志
    • 学会等名
      電子情報通信学会 システム数理と応用研究会
    • 発表場所
      島根大学(島根県松江市)
    • データソース
      KAKENHI-PROJECT-15H02785
  • [学会発表] 作業スタッフの行動ログを用いた時空間状況認識の性能向上について2017

    • 著者名/発表者名
      早貸舜、平石邦彦、内平直志
    • 学会等名
      信学技報, vol. 117, no. 506, MSS2017-90, pp. 67-72
    • データソース
      KAKENHI-PROJECT-15H02785
  • [学会発表] Model-based approach to analysis of human behavior with applications to nursing and caregiving services2017

    • 著者名/発表者名
      Kobayashi Koichi、Hiraishi Kunihiko、Choe Sunseong、Uchihira Naoshi
    • 学会等名
      2017 IEEE 6th Global Conference on Consumer Electronics (GCCE)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15H02785
  • [学会発表] Information supervisory control of human behavior - Experiments and formal modeling2017

    • 著者名/発表者名
      Hiraishi Kunihiko、Uchihira Naoshi、Choe Sunseong、Kobayashi Koichi
    • 学会等名
      2017 11th Asian Control Conference (ASCC)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15H02785
  • [学会発表] フィールドワークにおけるつぶやきシステムの効果2017

    • 著者名/発表者名
      岡田政則、内平直志、平石邦彦、国藤進
    • 学会等名
      信学技報, vol. 117, no. 301, MSS2017-30, pp. 41-44
    • データソース
      KAKENHI-PROJECT-15H02785
  • [学会発表] Information Supervisory Control of Human Behavior - Experiments and Formal Modeling -2017

    • 著者名/発表者名
      Kunihiko Hiraishi, Naoshi Uchihira, Sunseong Choe and Koichi Kobayashi
    • 学会等名
      The 2017 Asian Control Conference
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K00032
  • [学会発表] つぶやきシステムを利用したミニ移動大学の実践2017

    • 著者名/発表者名
      岡田政則, 内平直志, 平石邦彦, 國藤進
    • 学会等名
      第42回教育システム情報学会全国大会
    • データソース
      KAKENHI-PROJECT-15H02785
  • [学会発表] 看護・介護サービスにおけるケアスタッフの連携行動の解析2017

    • 著者名/発表者名
      小林孝一, 平石邦彦, 崔 舜星, 内平直志
    • 学会等名
      電子情報通信学会システム数理と応用研究会
    • 発表場所
      島根大学(島根県松江市)
    • 年月日
      2017-03-16
    • データソース
      KAKENHI-PROJECT-16K00032
  • [学会発表] 音声つぶやきシステムによる気づき組織学習の評価2016

    • 著者名/発表者名
      木下崇,内平直志,佐々木康朗,平石邦彦
    • 学会等名
      電子情報通信学会ソサエティ大会
    • 発表場所
      北海道大学(北海道札幌市)
    • 年月日
      2016-09-20
    • データソース
      KAKENHI-PROJECT-15H02785
  • [学会発表] Information Supervisory Control of Human Behavior - Concept and Experiments Toward Realization2016

    • 著者名/発表者名
      Kunihiko Hiraishi, Naoshi Uchihira, Sunseong Choe and Koichi Kobayashi
    • 学会等名
      IEEE International Conference on Systems, Man, and Cybernetics
    • 発表場所
      Budapest, Hungary
    • 年月日
      2016-10-10
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15H02785
  • [学会発表] ケアスタッフ連携スケジューリング問題~通信手段による比較とソルバーによる最適解~2016

    • 著者名/発表者名
      平石邦彦,崔舜星,小林孝一,佐々木康朗,内平直志
    • 学会等名
      電子情報通信学会 システム数理と応用研究会
    • 発表場所
      下関海峡メッセ,山口県,下関市
    • 年月日
      2016-03-03
    • データソース
      KAKENHI-PROJECT-15H02785
  • [学会発表] 切換型線形回帰モデルを用いた看護・介護サービスの行動解析について2016

    • 著者名/発表者名
      小林孝一,平石邦彦,崔舜星,内平直志
    • 学会等名
      電子情報通信学会 システム数理と応用研究会
    • 発表場所
      下関海峡メッセ,山口県,下関市
    • 年月日
      2016-03-03
    • データソース
      KAKENHI-PROJECT-15H02785
  • [学会発表] 突発的イベント発生時の音声つぶやきシステムによるスタッフ間の連携効果2016

    • 著者名/発表者名
      崔舜星,平石邦彦,内平直志
    • 学会等名
      電子情報通信学会 システム数理と応用研究会
    • 発表場所
      金沢しいのき迎賓館,石川県,金沢市
    • 年月日
      2016-01-25
    • データソース
      KAKENHI-PROJECT-15H02785
  • [学会発表] Spatio-Temporal Situation Recognition for Groups in Caregiving Services2016

    • 著者名/発表者名
      K. Hiraishi, K. Sato, K. Kobayashi
    • 学会等名
      2015 IEEE International Inter-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support
    • 発表場所
      San Diego, USA
    • 年月日
      2016-03-21
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-25330011
  • [学会発表] Spatio-temporal situation recognition for groups in caregiving services2016

    • 著者名/発表者名
      Kaoru Sato, Kunihiko Hiraishi, Koichi Kobayashi
    • 学会等名
      2016 IEEE International Multi-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support (CogSIMA)
    • 発表場所
      San Diego, USA
    • 年月日
      2016-03-21
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15H02785
  • [学会発表] Information Supervisory Control of Human Behavior - Concept and Experiments Toward Realization -2016

    • 著者名/発表者名
      Kunihiko Hiraishi, Naoshi Uchihira, Sunseong Choe, Koichi Kobayashi
    • 学会等名
      IEEE SMC2016
    • 発表場所
      Budapest(Hungary)
    • 年月日
      2016-10-10
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K00032
  • [学会発表] Situation Recognition from Behavior Logs in Caregiving Services2015

    • 著者名/発表者名
      K. Sato, K. Kobayashi, K,Hiraishi
    • 学会等名
      30th International Technical Conference on Circuits/Systems, Computers and Communications
    • 発表場所
      Seoul, Korea
    • 年月日
      2015-06-29
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-25330011
  • [学会発表] Situation Recognition from Behavior Logs in Caregiving Services2015

    • 著者名/発表者名
      Kaoru Sato, Koichi Kobayashi, Kunihiko Hiraishi
    • 学会等名
      2015 International Technical Conference on Circuits Systems, Computers and Communications (ITC-CSCC)
    • 発表場所
      Seoul, Korea
    • 年月日
      2015-06-29
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15H02785
  • [学会発表] Behavior Modeling in Physical and Adaptive Intelligent Services2014

    • 著者名/発表者名
      Kunihiko Hiraishi, Koichi Kobayashi, Sunseong Choe, Naoshi Uchihira
    • 学会等名
      IEEE CogSIMA2014
    • 発表場所
      San Antonio, USA
    • データソース
      KAKENHI-PROJECT-25330011
  • [学会発表] Detection of Unusual Human Activities Based on Behavior Modeling2014

    • 著者名/発表者名
      Kunihiko Hiraishi, Koichi Kobayashi
    • 学会等名
      12th IFAC/IEEE WODES2014
    • 発表場所
      Paris, France
    • データソース
      KAKENHI-PROJECT-25330011
  • [学会発表] Diagnosis of Stochastic Discrete Event Systems Based on N-gram Models with Wildcard Characters2013

    • 著者名/発表者名
      Kunihiko Hiraishi, Miwa Yoshimoto, Koichi Kobayashi
    • 学会等名
      IFIP/IEEE IM2013 Workshop DANMS2013
    • 発表場所
      Ghest, Belgium
    • データソース
      KAKENHI-PROJECT-25330011
  • [学会発表] イベントログに基づいた行動型サービスの分析2013

    • 著者名/発表者名
      甚田貴徳, 青戸渉, 崔舜星, 小林孝一, 平石邦彦, 内平直志
    • 学会等名
      電子情報通信学会 システム数理と応用研究会(MSS)
    • 発表場所
      熊本大学(熊本)
    • データソース
      KAKENHI-PROJECT-25330011
  • [学会発表] Simulating Stochastic Discrete Event Systems by Difference Equations with Interval Parameters2011

    • 著者名/発表者名
      Kunihiko Hiraishi
    • 学会等名
      IEEE IECON2011
    • 発表場所
      Melbourne, Australia
    • データソース
      KAKENHI-PROJECT-21500009
  • [学会発表] An Approximation Algorithm for Box Abstraction of Transition Systems on Real Vector Fields2010

    • 著者名/発表者名
      K. Hiraishi, K. Kobayashi
    • 学会等名
      計測自動制御学会離散事象システム研究会
    • 発表場所
      名古屋市,愛知
    • 年月日
      2010-12-09
    • データソース
      KAKENHI-PROJECT-21500009
  • [学会発表] On Analysis of a Class of Timed Continuous Petri Nets and Its Applications2010

    • 著者名/発表者名
      K.Hiraishi
    • 学会等名
      SICE Annual Conference
    • 発表場所
      円山大飯店(Taipei, Taiwan)
    • データソース
      KAKENHI-PROJECT-21500009
  • [学会発表] An Approximation Algorithm for Box Abstraction of Transition Systemson Real Vector Fields2010

    • 著者名/発表者名
      K.Hiraishi, K.Kobayashi
    • 学会等名
      計測自動制御学会第48回離散事象システム研究会
    • 発表場所
      名城大学(愛知)
    • 年月日
      2010-12-09
    • データソース
      KAKENHI-PROJECT-21500009
  • [学会発表] モデル検査を用いた確率ブーリアンネットワークの可到達性解析2010

    • 著者名/発表者名
      小林孝一, 平石邦彦
    • 学会等名
      第54回システム制御情報学会研究発表講演会
    • 発表場所
      京都リサーチパーク(京都)
    • データソース
      KAKENHI-PROJECT-21500009
  • [学会発表] On Analysis of a Class of Timed Continuous Petri Nets and Its Applications2010

    • 著者名/発表者名
      Kunihiko Hiraishi
    • 学会等名
      SICE Annual Conference2010
    • 発表場所
      Taipei, Taiwan
    • データソース
      KAKENHI-PROJECT-21500009
  • [学会発表] Optimal Control of Context-Sensitive Probabilistic Boolean Networks Using Integer Programming2010

    • 著者名/発表者名
      K.Hiraishi, K.Kobayashi
    • 学会等名
      49th IEEE Conference on Decision and Control
    • 発表場所
      Hilton Atlanta Hotel(Atlanta, USA)
    • 年月日
      2010-12-02
    • データソース
      KAKENHI-PROJECT-21500009
  • [学会発表] Analysis and Control of Hybrid Systems with Parameter Uncertainty Based on Interval Methods2009

    • 著者名/発表者名
      Koichi Kobayashi and Kunihiko Hiraishi
    • 学会等名
      2009 American Control Conference
    • 発表場所
      St. Louis, USA
    • データソース
      KAKENHI-PROJECT-21500009
  • [学会発表] A Faster Approximation Technique for Predicate Abstraction of Hybrid Systems2009

    • 著者名/発表者名
      Kunihiko Hiraishi and Koichi Kobayashi
    • 学会等名
      ICCAS-SICE2009
    • 発表場所
      福岡市,福岡
    • データソース
      KAKENHI-PROJECT-21500009
  • [学会発表] ハイブリッドシステムにおける述語抽象化計算の効率化2009

    • 著者名/発表者名
      平石邦彦,小林孝一
    • 学会等名
      計測自動制御学会第45回離散事象システム研究会
    • 発表場所
      港区,東京
    • 年月日
      2009-12-07
    • データソース
      KAKENHI-PROJECT-21500009
  • [学会発表] ハイブリッドシステムに対する区間法の適用について2009

    • 著者名/発表者名
      平石邦彦
    • 学会等名
      計測自動制御学会・第46回離散事象システム研究会
    • 発表場所
      東京
    • 年月日
      2009-12-07
    • データソース
      KAKENHI-PROJECT-21500009
  • [学会発表] ハイブリッドシステムのモデル予測制御問題に対する事前計算に基づく近似解法2007

    • 著者名/発表者名
      小林 孝一, Nguyen Van Tang, 平石 邦彦
    • 学会等名
      計測自動制御学会システム・情報部門学術講演会
    • 発表場所
      東京
    • データソース
      KAKENHI-PROJECT-17560386
  • [学会発表] Performance, Evaluation of Workflows Using Fluid Flow Approximation of Discrete Sets and Probability Distributions2007

    • 著者名/発表者名
      Kunihiko, Hiraishi
    • 学会等名
      IEEE IECON07
    • 発表場所
      Taipei, Taiwan
    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17560386
  • [学会発表] Precomputation Based Approximate Algorithm for Model Predictive Control of Hybrid Systems2007

    • 著者名/発表者名
      Koichi, Kobayashi, Nguyen, Van, Tang, Eunihiko, Hiraishi
    • 学会等名
      SICE Symposium on Systems and Information
    • 発表場所
      Tokyo
    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17560386
  • [学会発表] Performance Evaluation of Workflows Using Fluid Flow Approximation of Discrete Sets and Probability Distributions2007

    • 著者名/発表者名
      平石 邦彦
    • 学会等名
      IEEE IECON'07
    • 発表場所
      Taipei,Taiwan
    • データソース
      KAKENHI-PROJECT-17560386
  • [学会発表] Performance Evaluation of Workflows Using Fluid Flow Approximation of Discrete Sets and Probability Distributions2007

    • 著者名/発表者名
      平石 邦彦
    • 学会等名
      IEEE IECON'07
    • 発表場所
      Taipei, Taiwan
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17560386
  • [学会発表] 形式的手法の新展開-離散と連続の融合2007

    • 著者名/発表者名
      平石 邦彦
    • 学会等名
      JAIST-COE/AIST-CVSシンポジウム
    • 発表場所
      東京
    • 年月日
      2007-09-06
    • データソース
      KAKENHI-PROJECT-17560386
  • [学会発表] ハイブリッドシステムのモデル予測制御問題に対する事前計算に基づく近似解法2007

    • 著者名/発表者名
      小林孝一, Nguyen Van Tang, 平石邦彦
    • 学会等名
      計測自動制御学会 システム・情報部門学術講演会
    • 発表場所
      東京
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17560386
  • [学会発表] 混合論理動的システム表現の改良に関する研究2006

    • 著者名/発表者名
      崔舜星, 平石邦彦
    • 学会等名
      電子情報通信学会 CST研究会.
    • 発表場所
      石川
    • 年月日
      2006-06-01
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17560386
  • [学会発表] Performance, Evaluation of Workflows Using Continuous Approximation2006

    • 著者名/発表者名
      Kunihiko, Hiraishi
    • 学会等名
      Japan Vietnam Workshop on Software Engineering
    • 発表場所
      Hanoi. Vietnam
    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17560386
  • [学会発表] Performance Evaluation of Workflows Using Continuous Approximation2006

    • 著者名/発表者名
      Kunihiko Hiraishi
    • 学会等名
      Japan Vietnam Workshop on Software Engineering
    • 発表場所
      Hanoi, Vietnam
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17560386
  • [学会発表] An Improvement of Mixed Logical Dynamical System Representation2006

    • 著者名/発表者名
      Sunseong, Choe, Kunihiko, Hiraishi
    • 学会等名
      IEICE SIG-CST
    • 発表場所
      Ishikawa
    • 年月日
      2006-06-01
    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17560386
  • [学会発表] Performance, Evaluation of Workflows Using Continuous Approximation2006

    • 著者名/発表者名
      Kunihiko, Hiraishi
    • 学会等名
      IEICE SIG-CET
    • 発表場所
      Nagasaki
    • 年月日
      2006-11-21
    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17560386
  • [学会発表] Performance Evaluation of Workflows Using Continuous Approximation2006

    • 著者名/発表者名
      Kunihiko Hiraishi
    • 学会等名
      電子情報通信学会 CST研究会
    • 発表場所
      長崎
    • 年月日
      2006-11-21
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17560386
  • [学会発表] Solving Optimization Problems on Hybrid Systems by Graph Exploration2006

    • 著者名/発表者名
      Kunihiko Hiraishi
    • 学会等名
      8th Int. Workshop on Discrete Event Systems
    • 発表場所
      Michigan, USA
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17560386
  • [学会発表] Computational Tools for Designing Hybrid Systems Based on Constraint Satisfaction2005

    • 著者名/発表者名
      Kunihiko Hiraishi, Sunseong Choe
    • 学会等名
      Workshop on Control of Hybrid and Discrete Event Systems, Satellite Workshop of ATPN2005
    • 発表場所
      Florida, USA,
    • 年月日
      2005-06-20
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17560386
  • [学会発表] Sunseong, Choe, Computational Tools for Designing Hybrid Systems Based on Constraint Satisfaction2005

    • 著者名/発表者名
      unihiko, Hiraishi
    • 学会等名
      IEICE 18th Karuizawa Workshop
    • 発表場所
      karnizawa
    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17560386
  • [学会発表] Sunseong, Choe. Computational Tools for Designing Hybrid Systems Based on Constraint Satisfaction2005

    • 著者名/発表者名
      Kunihiko, Hiraishi
    • 学会等名
      Workshop on Control of Hybrid and Discrete Event Systems, Satellite workshop of ATPN2005
    • 発表場所
      Florida. USA
    • 年月日
      2005-06-20
    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17560386
  • [学会発表] ハイブリッドシステムにおける最適制御問題へのQEの適用2005

    • 著者名/発表者名
      崔舜星, 平石邦彦
    • 学会等名
      計測自動制御学会 第15回インテリジェントシステムシンポジウム
    • 発表場所
      京都
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17560386
  • [学会発表] 制約充足に基づいたハイブリッドシステム設計のための計算ツール2005

    • 著者名/発表者名
      平石邦彦, 崔舜星
    • 学会等名
      電子情報通信学会 第18回回路とシステム軽井沢ワークショップ
    • 発表場所
      軽井沢
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17560386
  • [学会発表] Application of Quantifier Elimination to Optimal Control Problems of Hybrid Systems2005

    • 著者名/発表者名
      Sunseong Choe, Kunihiko Hiraishi
    • 学会等名
      7th Asian Symposium on Computer Mathematics
    • 発表場所
      Seoul, Korea
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17560386
  • [学会発表] Application of Quantifier Elimination to Optimal Control Problems of Hybrid Systems2005

    • 著者名/発表者名
      Sunseong, Choe, Kunihiko, Hiraishi
    • 学会等名
      7th Asian Symposium on Computer Mathematics
    • 発表場所
      Seoul. Korea
    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17560386
  • [学会発表] Application of QE to Optimal Control Problems of Hybrid Systems2005

    • 著者名/発表者名
      Sunseong, Choe, Kunihiko Hiraishi
    • 学会等名
      SICE FAN Symposium
    • 発表場所
      Kyoto
    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17560386
  • 1.  小林 孝一 (50452115)
    共同の研究課題数: 2件
    共同の研究成果数: 25件
  • 2.  VLACH Milan (40291372)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 3.  高島 康裕 (10303330)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 4.  宋 少秋 (80303329)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 5.  内平 直志 (30393838)
    共同の研究課題数: 1件
    共同の研究成果数: 13件
  • 6.  崔 舜星 (20631922)
    共同の研究課題数: 1件
    共同の研究成果数: 8件
  • 7.  佐々木 康朗 (70743772)
    共同の研究課題数: 1件
    共同の研究成果数: 2件
  • 8.  水流 聡子 (80177328)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 9.  金井 秀明 (90282920)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 10.  ONDREJ Cepek
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 11.  KAREL Zimmermann
    共同の研究課題数: 1件
    共同の研究成果数: 0件

URL: 

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi