Hiraishi Kunihiko 平石邦彦

… Alternative Names

HIRAISHI Kunihiko 平石邦彦

平石邦彦ヒライシクニヒコ

Less

Researcher Number	40251970
Other IDs
External Links
Affiliation (Current)	2025: 北陸先端科学技術大学院大学, 先端科学技術研究科, 教授
Affiliation (based on the past Project Information) *help	2020 – 2023: 北陸先端科学技術大学院大学, 先端科学技術研究科, 教授 2015 – 2018: 北陸先端科学技術大学院大学, 先端科学技術研究科, 教授 2013 – 2015: 北陸先端科学技術大学院大学, 情報科学研究科, 教授 2009 – 2011: Japan Advanced Institute of Science and Technology, 情報科学研究科, 教授 2005 – 2007: 北陸先端科学技術大学院大学, 情報科学研究科, 教授 1999 – 2001: 北陸先端科学技術大学院大学, 情報科学研究科, 助教授 1996: 北陸先端科学技術大学院大学, 情報科学研究科, 助教授
Review Section/Research Field	Principal Investigator Basic Section 60020:Mathematical informatics-related / Basic Section 21040:Control and system engineering-related / Mathematical informatics / Control engineering / Theory of informatics / Fundamental theory of informatics / System engineering Except Principal Investigator Web informatics, Service informatics / Intelligent informatics
Keywords	Principal Investigator ビッグデータ / 交通流 / 離散事象システム / 性能評価 / ハイブリッドシステム / 形式手法 / 形式検証 / 実時間システム / シミュレーション / イベント処理 … More / 航空管制 / 数理モデル / 空域交通流 / 予測モデル / 情報スーパーバイザ制御 / 意思決定 / スーパーバイザ制御 / 状況アウェアネス / Formal Verification / Ontimal Control / Hybrid Systems / 最適制御 / 時系列データ / 異常検出 / 分散システム / Nグラムモデル / イベントログ / 異常検知 / 故障診断 / システム検証 / 並行システム … More Except Principal Investigator 情報スーパーバイザ制御 / 看護学 / 情報工学 / スマートセンサ情報システム / サービス / 患者状態適応型パスシステム / 気づきマイキング / 学習型気づき誘発 / アウエアネス / 医療・福祉 / 情報システム / サービス科学 / 警備 / 農業 / 介護 / ナレッジマネジメント / 組織学習 / 行動分析 / 気づき / 音声つぶやき / 行動マイニング / 人間センサー / 気づきプラットフォーム / 気づき誘発 / 気づき体系化 / 気づき組織学習 / 情報スーパバイザ制御 / 音声つぶやきシステム / Czech Republic / International Research Cooperation / Fuzzy Theory / Operations Research / Optimization Theory / Scheduling / チェコ / ファジイ理論 / チェコ共和国 / 国際研究者交流 / ファジィ理論 / オペレーションズ・リサーチ / 最適化理論 / スケジューリング Less

交通流ビッグデータ解析のためのイベント処理技術に関する研究Principal Investigator
- Principal Investigator
  
  平石邦彦
- Project Period (FY)
  2023 – 2025
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60020:Mathematical informatics-related
- Research Institution
  Japan Advanced Institute of Science and Technology
Modeling and Control of Airspace Traffic Flow Using Aviation Open DataPrincipal Investigator
- Principal Investigator
  
  Hiraishi Kunihiko
- Project Period (FY)
  2020 – 2023
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 21040:Control and system engineering-related
- Research Institution
  Japan Advanced Institute of Science and Technology
Building Mathematical Models for Situation Awareness and Information Supervisory ControlPrincipal Investigator
- Principal Investigator
  
  Hiraishi Kunihiko
- Project Period (FY)
  2016 – 2018
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Mathematical informatics
- Research Institution
  Japan Advanced Institute of Science and Technology
Research on Awareness Platform by Smart Voice Messaging System for Improving the Quality of Nursing and Care Services
- Principal Investigator
  
  Uchihira Naoshi
- Project Period (FY)
  2015 – 2017
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Web informatics, Service informatics
- Research Institution
  Japan Advanced Institute of Science and Technology
Research on Model-less Diagnosis of Discrete Event SystemsPrincipal Investigator
- Principal Investigator
  
  Hiraishi Kunihiko
- Project Period (FY)
  2013 – 2015
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Theory of informatics
- Research Institution
  Japan Advanced Institute of Science and Technology
Safety Verification Based on Fluidification of Discrete DynamicsPrincipal Investigator
- Principal Investigator
  
  HIRAISHI Kunihiko
- Project Period (FY)
  2009 – 2011
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Japan Advanced Institute of Science and Technology
On Optimal Design of Highly Dependable Hybrid Dynamical SystemsPrincipal Investigator
- Principal Investigator
  
  HIRAISHI Kunihiko
- Project Period (FY)
  2005 – 2007
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Control engineering
- Research Institution
  Japan Advanced Institute of Science and Technology
Scheduling Problems with Penalized Earliness and Tardiness of Completion Time
- Principal Investigator
  
  MILAN Vlach
- Project Period (FY)
  1999 – 2001
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Intelligent informatics
- Research Institution
  Japan Advanced Institute of Science and Technology
大規模並行実時間システムの効率的な検証方法の研究Principal Investigator
- Principal Investigator
  
  平石邦彦
- Project Period (FY)
  1996
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  System engineering
- Research Institution
  Japan Advanced Institute of Science and Technology

[Journal Article] 交通流データのイベント抽出による解析－大規模軌跡データからの主要経路の抽出－2024
- Author(s)
  平石邦彦
- Journal Title
  
  信学技報
  
  Volume: MSS2023-57 Pages: 31-34
- Data Source
  KAKENHI-PROJECT-23K10996
[Journal Article] Mesoscopic Modeling of Airspace Traffic Flow2023
- Author(s)
  Uehara Kenji、Hiraishi Kunihiko
- Journal Title
  
  IFAC-PapersOnLine
  
  Volume: 56 Issue: 2 Pages: 4589-4594
- DOI
  10.1016/j.ifacol.2023.10.961
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20K04544
[Journal Article] プロセスマイニングを応用した大容量交通流の Mesoscopicモデル化手法2022
- Author(s)
  上原健嗣, 平石邦彦
- Journal Title
  
  信学技報
  
  Volume: MSS2021-51 Pages: 112-117
- Data Source
  KAKENHI-PROJECT-20K04544
[Journal Article] Modeling Inter-Sector Air Traffic Flow and Sector Demand Prediction2022
- Author(s)
  MISHIMA Ryosuke、HIRAISHI Kunihiko
- Journal Title
  
  IEICE Trans. Fundamentals
  
  Volume: E105.A Issue: 10 Pages: 1413-1420
- DOI
  10.1587/transfun.2021EAP1147
- ISSN
  0916-8508, 1745-1337
- Year and Date
  2022-10-01
- Language
  English
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-20K04544
[Journal Article] 航空オープンデータを用いたセクター間交通流のモデル化と混雑度予測2021
- Author(s)
  三島諒亮, 平石邦彦
- Journal Title
  
  信学技報
  
  Volume: MSS2020-49 Pages: 27-32
- Data Source
  KAKENHI-PROJECT-20K04544
[Journal Article] An Efficient Mesoscopic Modeling Method for Large Volume Traffic Flow Using Process Mining Techniques2021
- Author(s)
  Kenji Uehara,Kunihiko Hiraishi
- Journal Title
  
  Proc. IEEE CSDE & i-COSTE 2021
  
  Volume: - Pages: 1-6
- DOI
  10.1109/csde53843.2021.9718441
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20K04544
[Journal Article] 作業スタッフの行動ログを用いた時空間状況認識の性能向上について2018
- Author(s)
  早貸舜, 平石邦彦, 内平直志
- Journal Title
  
  信学技報
  
  Volume: 117:506 Pages: 67-72
- Data Source
  KAKENHI-PROJECT-16K00032
[Journal Article] 大規模空域トラフィックデータに対するセクター同定2018
- Author(s)
  徳丸翔也, 平石邦彦
- Journal Title
  
  第64回離散事象システム研究会予稿集
  
  Volume: 1 Pages: 24-27
- Data Source
  KAKENHI-PROJECT-16K00032
[Journal Article] Information Supervisory Control of Human Behavior - A Formal Model and Simulation -2018
- Author(s)
  Kunihiko Hiraishi, Naoshi Uchihira, Sunseong Choe, Koichi Kobayashi
- Journal Title
  
  Proc. IEEE Systems, Man, and Cybernetics 2018
  
  Volume: 1 Pages: 2021-2026
- DOI
  10.1109/smc.2018.00349
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K00032
[Journal Article] CARATS Open Dataにおける航空機位置のセクター決定問題について2018
- Author(s)
  徳丸翔也, 平石邦彦
- Journal Title
  
  信学技報
  
  Volume: 117:506 Pages: 47-51
- Data Source
  KAKENHI-PROJECT-16K00032
[Journal Article] Information Supervisory Control of Human Behavior - Experiments and Formal Modeling -2017
- Author(s)
  Kunihiko Hiraishi, Naoshi Uchihira, Sunseong Choe, Koichi Kobayashi
- Journal Title
  
  Proc. ASCC2017
  
  Volume: 1 Pages: 1351-1356
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K00032
[Journal Article] 看護・介護サービスにおけるケアスタッフの連携行動の解析2017
- Author(s)
  小林孝一, 平石邦彦, 崔舜星, 内平直志
- Journal Title
  
  信学技報
  
  Volume: 116:525 Pages: 7-10
- Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-16K00032
[Journal Article] Behavioral Analysis in Nursing and Caregiving Services Using Switched Linear Regression Models2017
- Author(s)
  Kobayashi Koichi、Hiraishi Kunihiko、Choe Sunseong、Uchihira Naoshi
- Journal Title
  
  IFAC-PapersOnLine
  
  Volume: 50 Issue: 1 Pages: 4582-4587
- DOI
  10.1016/j.ifacol.2017.08.1001
- NAID
  40020792362
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-15H02785
[Journal Article] Diagnosis of Stochastic Discrete Event Systems Based on N-Gram Models with Wildcard Characters2016
- Author(s)
  K. Hiraishi, K. Kobayashi
- Journal Title
  
  IEICE Trans. Fundamentals
  
  Volume: E99-A:2 Pages: 462-467
- NAID
  130005121533
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-25330011
[Journal Article] Spatio-Temporal Situation Recognition for Groups in Caregiving Services2016
- Author(s)
  K. Hiraishi, K. Sato, K. Kobayashi
- Journal Title
  
  Proc. 2015 IEEE International Inter-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support
  
  Volume: 1 Pages: 78-82
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-25330011
[Journal Article] Information Supervisory Control of Human Behavior - Concept and Experiments Toward Realization -2016
- Author(s)
  Kunihiko Hiraishi, Naoshi Uchihira, Sunseong Choe, Koichi Kobayashi
- Journal Title
  
  Proc. IEEE SMC2016
  
  Volume: 1 Pages: 790-795
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-16K00032
[Journal Article] Situation Recognition from Behavior Logs in Caregiving Services2015
- Author(s)
  K. Sato, K. Kobayashi, K,Hiraishi
- Journal Title
  
  Proc. 30th International Technical Conference on Circuits/Systems, Computers and Communications
  
  Volume: 1 Pages: 721-724
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-25330011
[Journal Article] Diagnosis of Stochastic Discrete Event Systems Based on N-gram Models2015
- Author(s)
  Miwa YOSHIMOTO, Koichi KOBAYASHI, Kunihiko HIRAISHI
- Journal Title
  
  IEICE Trans Fundamentals
  
  Volume: E98-A Pages: 618-625
- NAID
  130004770951
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-25330011
[Journal Article] Detection of Unusual Human Activities Based on Behavior Modeling2014
- Author(s)
  Kunihiko Hiraishi, Koichi Kobayashi
- Journal Title
  
  Proc. of the 12th IFAC International Workshop on Discrete Event Systems
  
  Volume: 1 Pages: 182-187
- NAID
  120006675894
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25330011
[Journal Article] Behavior Modeling in Physical and Adaptive Intelligent Services2014
- Author(s)
  Kunihiko Hiraishi, Koichi Kobayashi, Sunseong Choe, Naoshi Uchihira
- Journal Title
  
  Proc. IEEE CogSIMA2014
  
  Volume: 1 Pages: 221-226
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25330011
[Journal Article] イベントログに基づいた行動型サービスの分析2013
- Author(s)
  甚田貴徳, 青戸渉, 崔舜星, 小林孝一, 平石邦彦, 内平直志
- Journal Title
  
  電子情報通信学会技術研究報告
  
  Volume: 113-121 Pages: 1-8
- Data Source
  KAKENHI-PROJECT-25330011
[Journal Article] Diagnosis of Stochastic Discrete Event Systems Based on N-gram Models with Wildcard Characters2013
- Author(s)
  Kunihiko Hiraishi, Miwa Yoshimoto, Koichi Kobayashi
- Journal Title
  
  Proc. IFIP/IEEE IM2013 Workshop DANMS2013
  
  Volume: 1 Pages: 1383-1388
- NAID
  130005121533
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25330011
[Journal Article] Simulating Stochastic Discrete Event Systems by Difference Equations with Interval Parameters2011
- Author(s)
  Kunihiko Hiraishi
- Journal Title
  
  Proc.IEEE IECON2011
  
  Pages: 3669-3674
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500009
[Journal Article] 遷移関係に基づくハイブリッドシステムの近似双模倣2011
- Author(s)
  崔舜星, 平石邦彦, 小林孝一
- Journal Title
  
  計測自動制御学会論文集
  
  Volume: 47-12 Pages: 614-620
- NAID
  10030165675
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500009
[Journal Article] Simulating Stochastic Discrete Event Systems by Difference Equations with Interval Parameters2011
- Author(s)
  Kunihiko Hiraishi
- Journal Title
  
  Proc. IEEE IECON2011
  
  Pages: 3669-3674
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500009
[Journal Article] An Approximation Algorithm for Box Abstraction of Transition Systems on Real Vector Fields2010
- Author(s)
  K. Hiraishi and K. Kobayashi
- Journal Title
  
  計測自動制御学会第48回離散事象システム研究会予稿集
  
  Pages: 49-56
- Data Source
  KAKENHI-PROJECT-21500009
[Journal Article] 整数計画法を用いた確率ブーリアンネットワークの最適制御2010
- Author(s)
  小林孝一, 平石邦彦
- Journal Title
  
  計測自動制御学会論文集
  
  Volume: 46-11 Pages: 659-665
- NAID
  10027445679
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500009
[Journal Article] On Analysis of a Class of Timed Continuous Petri Nets and Its Applications2010
- Author(s)
  Kunihiko Hiraishi
- Journal Title
  
  Proc. SICE Annual Conference 2010
  
  Pages: 2253-2259
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500009
[Journal Article] MLD-Based Modeling of Hybrid Systems with Parameter Uncertainty2009
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Journal Title
  
  IEICE Trans Fundamentals
  
  Volume: Vol.E92-A, No.11 Pages: 2745-2754
- NAID
  10026860756
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500009
[Journal Article] Analysis and Control of Hybrid Systems with Parameter Uncertainty Based on Interval Methods2009
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Journal Title
  
  Proc. 2009 American Control Conference
  
  Pages: 3632-3637
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500009
[Journal Article] MLD-Based Modeling of Hybrid Systems with Parameter Uncertainty2009
- Author(s)
  Koichi Kobayashi, Kunihiko Hiraishi
- Journal Title
  
  IEICE Trans.Fundamentals E92A-4
  
  Pages: 2745-2754
- NAID
  10026860756
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500009
[Journal Article] A Faster Approximation Technique for Predicate Abstraction of Hybrid Systems2009
- Author(s)
  Kunihiko Hiraishi, Koichi Kobayashi
- Journal Title
  
  Proc.ICCAS-SICE2009
  
  Pages: 1717-1721
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500009
[Journal Article] A Faster Approximation Technique for Predicate Abstraction of Hybrid Systems2009
- Author(s)
  Kunihiko Hiraishi and Koichi Kobayashi
- Journal Title
  
  Proc. ICCAS-SICE2009
  
  Pages: 1717-1721
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500009
[Journal Article] ハイブリッドシステムにおける述語抽象化計算の効率化2009
- Author(s)
  平石邦彦, 小林孝一
- Journal Title
  
  計測自動制御学会第45回離散事象システム研究会予稿集
  
  Pages: 53-58
- Data Source
  KAKENHI-PROJECT-21500009
[Journal Article] 混合論理動的システム表現の改良に関する研究2007
- Author(s)
  崔舜星, 平石邦彦
- Journal Title
  
  電子情報通信学会技術報告 CST2006-2
  
  Pages: 7-11
- NAID
  110004776245
- Data Source
  KAKENHI-PROJECT-17560386
[Journal Article] ハイブリッドシステムのモデル予測制御問題に対する事前計算に基づく近似解法2007
- Author(s)
  小林孝一, Nguyen Van Tang, 平石邦彦
- Journal Title
  
  計測自動制御学会システム・情報部門学術講演会予稿集
  
  Pages: 433-438
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17560386
[Journal Article] Precomputation Based Approximate Algorithm for Model Predictive Control of Hybrid Systems2007
- Author(s)
  Koichi, Kobayashi, Nguyen, Van, Tang, Kunihiko, Hiraishi
- Journal Title
  
  Proc. SICE Symposium on Systems and Information
  
  Pages: 433-438
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17560386
[Journal Article] Performance Evaluation of Workflows Using Fluid Flow Approximation of Discrete Sets and Probability Distributions2007
- Author(s)
  平石邦彦
- Journal Title
  
  Proc. IEEE IECON'07
  
  Pages: 88-93
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17560386
[Journal Article] Performance Evaluation of Workflows Using Fluid Flow Approximation of Discrete Sets and Probability Distributions2007
- Author(s)
  平石邦彦
- Journal Title
  
  Proc.IECON '07
  
  Pages: 88-93
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17560386
[Journal Article] Performance, Evaluation of Workflows Using Fluid Flow Approximation of Discrete Sets and Probability Distributions2007
- Author(s)
  Kunihiko, Hiraishi
- Journal Title
  
  Proc. IEEE IECON'07
  
  Pages: 88-93
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17560386
[Journal Article] Solving Optimization Problems on Hybrid Systems by Graph Exploration2007
- Author(s)
  Kunihiko HIraishi
- Journal Title
  
  Proc. 8th Int. Workshop on Discrete event Systems
  
  Pages: 282-287
- Data Source
  KAKENHI-PROJECT-17560386
[Journal Article] Performance Evaluation of Workflows Using Continuous Approximation2007
- Author(s)
  Kunihiko Hiraishi
- Journal Title
  
  電子情報通信学会技術報告 CST2006-3
  
  Pages: 7-12
- NAID
  110005717773
- Data Source
  KAKENHI-PROJECT-17560386
[Journal Article] ハイブリッドシステムのモデル予測制御問題に対する事前計算に基づく近似解法2007
- Author(s)
  小林孝一, Nguyen Van Tang, 平石邦彦
- Journal Title
  
  計測自動制御学会システム・情報部門学術講演会予稿集
  
  Pages: 433-438
- Data Source
  KAKENHI-PROJECT-17560386
[Journal Article] A Rapid Prototyping Tool for Implementing Algorithms on Hybrid Systems2006
- Author(s)
  Kunihiko, Hiraishi, KCLP-HS
- Journal Title
  
  JIAST Research Report IS-RR-2006-012
  
  Pages: 37-37
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17560386
[Journal Article] An Improvement of Mixed Logical Dynamical System Representation2006
- Author(s)
  Sunseong, Choe, Kunihiko, Hiraishi
- Journal Title
  
  IEICE Technical Report 106-88
  
  Pages: 7-11
- NAID
  110004776245
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17560386
[Journal Article] Solving Optimization Problems on Hybrid Systems by Graph Exploration2006
- Author(s)
  Kunihiko, Hiraishi
- Journal Title
  
  Proc. 8th Int. Workshop on Discrete Event Systems
  
  Pages: 282-287
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17560386
[Journal Article] Performance Evaluation of Workflows Using Continuous Approximation2006
- Author(s)
  Kunihiko Hiraishi
- Journal Title
  
  Proc. Japan Vietnam Workshop on Software Engineering
  
  Pages: 8-9
- NAID
  110005717773
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17560386
[Journal Article] Performance, Evaluation of Workflows Using Continuous Approximation2006
- Author(s)
  Kunihiko, Hiraishi
- Journal Title
  
  Proc. Japan Vietnam Workshop on Software Engineering
  
  Pages: 8-9
- NAID
  110005717773
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17560386
[Journal Article] 混合論理動的システム表現の改良に関する研究2006
- Author(s)
  崔舜星, 平石邦彦
- Journal Title
  
  電子情報通信学会技術報告 106-88
  
  Pages: 7-11
- NAID
  110004776245
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17560386
[Journal Article] KCLP-HS: A Rapid Prototyping Tool for Implementing Algorithms on Hybrid Systems2006
- Author(s)
  Kunihiko Hiraishi
- Journal Title
  
  JAIST Research Report IS-RR-2006-012
  
  Pages: 37-37
- NAID
  110004847488
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17560386
[Journal Article] Performance Evaluation of Workflows Using Continuous Approximation2006
- Author(s)
  Kunihiko Hiraishi
- Journal Title
  
  電子情報通信学会技術報告 106-366
  
  Pages: 7-12
- NAID
  110005717773
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17560386
[Journal Article] Solving Optimization Problems on Hybrid Systems by Graph Exploration2006
- Author(s)
  Kunihiko Hiraishi
- Journal Title
  
  Proc. 8th Int. Workshop on Discrete Event Systems
  
  Pages: 282-287
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17560386
[Journal Article] Performance, Evaluation of Workflows Using Continuous Approximation2006
- Author(s)
  Kunihiko, Hiraishi
- Journal Title
  
  IEICE Technical Report 106-366
  
  Pages: 7-11
- NAID
  110005717773
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17560386
[Journal Article] Application of Quantifier Elimination to Optimal Control Problems of Hybrid Systems2005
- Author(s)
  Sunseong Choe, Kunihiko Hiraishi
- Journal Title
  
  Proc. 7th Asian Symposium on Computer Mathematics
  
  Pages: 62-65
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17560386
[Journal Article] 制約充足に基づいたハイブリッドシステム設計のための計算ツール2005
- Author(s)
  平石邦彦, 崔舜星
- Journal Title
  
  第18回回路とシステム軽井沢ワークショップ予稿集
  
  Pages: 287-298
- Data Source
  KAKENHI-PROJECT-17560386
[Journal Article] Computational Tools for Designing Hybrid Systems Based on Constraint Satisfaction2005
- Author(s)
  Kunihiko Hiraishi, Sunseong Choe
- Journal Title
  
  Proc. Workshop on Control of Hybrid and Discrete Event Systems, Satellite Workshop of ATPN2005
  
  Pages: 41-60
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17560386
[Journal Article] Application of Quantifier Elimination to Optimal Control Problems of Hybrid Systems2005
- Author(s)
  Sunseong Choe, Kunihiko Hiraishi
- Journal Title
  
  Proc.7th Asian Symposium on Computer Mathematics
  
  Pages: 62-65
- Data Source
  KAKENHI-PROJECT-17560386
[Journal Article] ハイブリッドシステムにおける最適制御問題へのQEの適用2005
- Author(s)
  崔舜星, 平石邦彦
- Journal Title
  
  第15回インテリジェントシステムシンポジウム予稿集
  
  Pages: 177-192
- Data Source
  KAKENHI-PROJECT-17560386
[Journal Article] ハイブリッドシステムにおける最適制御問題へのQEの適用2005
- Author(s)
  崔舜星, 平石邦彦
- Journal Title
  
  計測自動制御学会第15回インテリジェントシステムシンポジウム予稿集
  
  Pages: 177-192
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17560386
[Journal Article] Computational Tools for Designing Hybrid Systems Based on Constraint Satisfaction2005
- Author(s)
  Kunihiko Hiraishi, Sunseong Choe
- Journal Title
  
  Proc.Workshop on Control of Hybrid and Discrete Event Systems, Satellite workshop of ATPN2005
  
  Pages: 41-60
- Data Source
  KAKENHI-PROJECT-17560386
[Journal Article] Computational Tools for Designing Hybrid Systems Based on Constraint Satisfaction2005
- Author(s)
  Kunihiko, Hiraishi, Sunseong, Choe
- Journal Title
  
  Proc. IEICE 18th Karuizawa Workshop
  
  Pages: 287-298
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17560386
[Journal Article] 制約充足に基づいたハイブリッドシステム設計のための計算ツール2005
- Author(s)
  平石邦彦, 崔舜星
- Journal Title
  
  電子情報通信学会第18回回路とシステム軽井沢ワークショップ予稿集
  
  Pages: 287-298
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17560386
[Journal Article] Application of QE to Optimal Control Problems of Hybrid Systems2005
- Author(s)
  Sunseong, Choe, Kunihiko, Hiraishi
- Journal Title
  
  Proc. SICE FAN Symposium
  
  Pages: 177-192
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17560386
[Journal Article] Application of Quantifier Elimination to Optimal Control Problems of Hybrid Systems2005
- Author(s)
  Sunseong, Choe, Kunihiko, Hiraishi
- Journal Title
  
  Proc. 7th Asian Symposium on Computer Mathematics
  
  Pages: 62-65
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17560386
[Journal Article] Computational Tools for Designing Hybrid Systems Based on Constraint Satisfaction2005
- Author(s)
  Kunihiko, Hiraishi, Sunseong, Choe
- Journal Title
  
  Proc. Workshop on Control of Hybrid and Discrete Event Systems. Satellite workshop of ATPN2005
  
  Pages: 41-60
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17560386
[Presentation] 交通流データのイベント抽出による解析－大規模軌跡データからの主要経路の抽出－2024
- Author(s)
  平石邦彦
- Organizer
  電子情報通信学会システム数理と応用研究会
- Data Source
  KAKENHI-PROJECT-23K10996
[Presentation] Mesoscopic Modeling of Airspace Traffic Flow2023
- Author(s)
  Kenji Uehara, Kunihiko Hiraishi
- Organizer
  22nd IFAC world congress
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K04544
[Presentation] A Framework for Extracting Abstracted Route Graphs Toward Air Traffic Flow Modeling2022
- Author(s)
  Kenji Uehara,Kunihiko Hiraishi
- Organizer
  2022 IEEE International Conference on Systems, Man, and Cybernetics (SMC2022)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K04544
[Presentation] 固定経路のない交通流データにおける主要経路抽出手法2022
- Author(s)
  上原　健嗣, 平石　邦彦
- Organizer
  電子情報通信学会ソサイエティ大会
- Invited
- Data Source
  KAKENHI-PROJECT-20K04544
[Presentation] プロセスマイニングを応用した大容量交通流の Mesoscopicモデル化手法2022
- Author(s)
  上原健嗣, 平石邦彦
- Organizer
  電子情報通信学会システム数理と応用研究会
- Data Source
  KAKENHI-PROJECT-20K04544
[Presentation] プロセスマイニング技術を応用した空港面交通流のメゾスコピックモデル化手法2021
- Author(s)
  上原健嗣, 平石邦彦
- Organizer
  CARATSオープンデータ活用促進フォーラム
- Invited
- Data Source
  KAKENHI-PROJECT-20K04544
[Presentation] 航空オープンデータを用いたセクター間交通流のモデル化と混雑度予測2021
- Author(s)
  三島諒亮, 平石邦彦
- Organizer
  電子情報通信学会システム数理と応用研究会
- Data Source
  KAKENHI-PROJECT-20K04544
[Presentation] An Efficient Mesoscopic Modeling Method for Large Volume Traffic Flow Using Process Mining Techniques2021
- Author(s)
  Kenji Uehara, Kunihiko Hiraishi
- Organizer
  IEEE CSDE & i-COSTE 2021
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K04544
[Presentation] CARATS Open Dataにおける航空機位置のセクター決定問題について2018
- Author(s)
  徳丸翔也, 平石邦彦
- Organizer
  電子情報通信学会システム数理と応用研究会
- Data Source
  KAKENHI-PROJECT-16K00032
[Presentation] Information Supervisory Control of Human Behavior2018
- Author(s)
  Kunihiko Hiraishi
- Organizer
  The 13th India-Japan Bilateral Conference 2018
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K00032
[Presentation] 作業スタッフの行動ログを用いた時空間状況認識の性能向上について2018
- Author(s)
  早貸舜, 平石邦彦, 内平直志
- Organizer
  電子情報通信学会システム数理と応用研究会
- Data Source
  KAKENHI-PROJECT-16K00032
[Presentation] Information Supervisory Control of Human Behavior - A Formal Model and Simulation -2018
- Author(s)
  Kunihiko Hiraishi
- Organizer
  IEEE Systems, Man, and Cybernetics 2018
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K00032
[Presentation] 移動時における気づきの収集2017
- Author(s)
  岡田政則、内平直志、平石邦彦、国藤進
- Organizer
  第39回日本創造学会研究大会
- Data Source
  KAKENHI-PROJECT-15H02785
[Presentation] 看護・介護サービスにおけるケアスタッフの連携行動の解析2017
- Author(s)
  小林孝一, 平石邦彦, 崔舜星, 内平直志
- Organizer
  電子情報通信学会　システム数理と応用研究会
- Place of Presentation
  島根大学（島根県松江市）
- Data Source
  KAKENHI-PROJECT-15H02785
[Presentation] 作業スタッフの行動ログを用いた時空間状況認識の性能向上について2017
- Author(s)
  早貸舜、平石邦彦、内平直志
- Organizer
  信学技報, vol. 117, no. 506, MSS2017-90, pp. 67-72
- Data Source
  KAKENHI-PROJECT-15H02785
[Presentation] Model-based approach to analysis of human behavior with applications to nursing and caregiving services2017
- Author(s)
  Kobayashi Koichi、Hiraishi Kunihiko、Choe Sunseong、Uchihira Naoshi
- Organizer
  2017 IEEE 6th Global Conference on Consumer Electronics (GCCE)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H02785
[Presentation] Information supervisory control of human behavior - Experiments and formal modeling2017
- Author(s)
  Hiraishi Kunihiko、Uchihira Naoshi、Choe Sunseong、Kobayashi Koichi
- Organizer
  2017 11th Asian Control Conference (ASCC)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H02785
[Presentation] フィールドワークにおけるつぶやきシステムの効果2017
- Author(s)
  岡田政則、内平直志、平石邦彦、国藤進
- Organizer
  信学技報, vol. 117, no. 301, MSS2017-30, pp. 41-44
- Data Source
  KAKENHI-PROJECT-15H02785
[Presentation] Information Supervisory Control of Human Behavior - Experiments and Formal Modeling -2017
- Author(s)
  Kunihiko Hiraishi, Naoshi Uchihira, Sunseong Choe and Koichi Kobayashi
- Organizer
  The 2017 Asian Control Conference
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K00032
[Presentation] つぶやきシステムを利用したミニ移動大学の実践2017
- Author(s)
  岡田政則, 内平直志, 平石邦彦, 國藤進
- Organizer
  第42回教育システム情報学会全国大会
- Data Source
  KAKENHI-PROJECT-15H02785
[Presentation] 看護・介護サービスにおけるケアスタッフの連携行動の解析2017
- Author(s)
  小林孝一, 平石邦彦, 崔舜星, 内平直志
- Organizer
  電子情報通信学会システム数理と応用研究会
- Place of Presentation
  島根大学（島根県松江市）
- Year and Date
  2017-03-16
- Data Source
  KAKENHI-PROJECT-16K00032
[Presentation] 音声つぶやきシステムによる気づき組織学習の評価2016
- Author(s)
  木下崇，内平直志，佐々木康朗，平石邦彦
- Organizer
  電子情報通信学会ソサエティ大会
- Place of Presentation
  北海道大学（北海道札幌市）
- Year and Date
  2016-09-20
- Data Source
  KAKENHI-PROJECT-15H02785
[Presentation] Information Supervisory Control of Human Behavior - Concept and Experiments Toward Realization2016
- Author(s)
  Kunihiko Hiraishi, Naoshi Uchihira, Sunseong Choe and Koichi Kobayashi
- Organizer
  IEEE International Conference on Systems, Man, and Cybernetics
- Place of Presentation
  Budapest, Hungary
- Year and Date
  2016-10-10
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H02785
[Presentation] ケアスタッフ連携スケジューリング問題～通信手段による比較とソルバーによる最適解～2016
- Author(s)
  平石邦彦，崔舜星，小林孝一，佐々木康朗，内平直志
- Organizer
  電子情報通信学会　システム数理と応用研究会
- Place of Presentation
  下関海峡メッセ，山口県，下関市
- Year and Date
  2016-03-03
- Data Source
  KAKENHI-PROJECT-15H02785
[Presentation] 切換型線形回帰モデルを用いた看護・介護サービスの行動解析について2016
- Author(s)
  小林孝一，平石邦彦，崔舜星，内平直志
- Organizer
  電子情報通信学会　システム数理と応用研究会
- Place of Presentation
  下関海峡メッセ，山口県，下関市
- Year and Date
  2016-03-03
- Data Source
  KAKENHI-PROJECT-15H02785
[Presentation] 突発的イベント発生時の音声つぶやきシステムによるスタッフ間の連携効果2016
- Author(s)
  崔舜星，平石邦彦，内平直志
- Organizer
  電子情報通信学会　システム数理と応用研究会
- Place of Presentation
  金沢しいのき迎賓館，石川県，金沢市
- Year and Date
  2016-01-25
- Data Source
  KAKENHI-PROJECT-15H02785
[Presentation] Spatio-Temporal Situation Recognition for Groups in Caregiving Services2016
- Author(s)
  K. Hiraishi, K. Sato, K. Kobayashi
- Organizer
  2015 IEEE International Inter-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support
- Place of Presentation
  San Diego, USA
- Year and Date
  2016-03-21
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25330011
[Presentation] Spatio-temporal situation recognition for groups in caregiving services2016
- Author(s)
  Kaoru Sato, Kunihiko Hiraishi, Koichi Kobayashi
- Organizer
  2016 IEEE International Multi-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support (CogSIMA)
- Place of Presentation
  San Diego, USA
- Year and Date
  2016-03-21
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H02785
[Presentation] Information Supervisory Control of Human Behavior - Concept and Experiments Toward Realization -2016
- Author(s)
  Kunihiko Hiraishi, Naoshi Uchihira, Sunseong Choe, Koichi Kobayashi
- Organizer
  IEEE SMC2016
- Place of Presentation
  Budapest(Hungary)
- Year and Date
  2016-10-10
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K00032
[Presentation] Situation Recognition from Behavior Logs in Caregiving Services2015
- Author(s)
  K. Sato, K. Kobayashi, K,Hiraishi
- Organizer
  30th International Technical Conference on Circuits/Systems, Computers and Communications
- Place of Presentation
  Seoul, Korea
- Year and Date
  2015-06-29
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25330011
[Presentation] Situation Recognition from Behavior Logs in Caregiving Services2015
- Author(s)
  Kaoru Sato, Koichi Kobayashi, Kunihiko Hiraishi
- Organizer
  2015 International Technical Conference on Circuits Systems, Computers and Communications (ITC-CSCC)
- Place of Presentation
  Seoul, Korea
- Year and Date
  2015-06-29
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H02785
[Presentation] Behavior Modeling in Physical and Adaptive Intelligent Services2014
- Author(s)
  Kunihiko Hiraishi, Koichi Kobayashi, Sunseong Choe, Naoshi Uchihira
- Organizer
  IEEE CogSIMA2014
- Place of Presentation
  San Antonio, USA
- Data Source
  KAKENHI-PROJECT-25330011
[Presentation] Detection of Unusual Human Activities Based on Behavior Modeling2014
- Author(s)
  Kunihiko Hiraishi, Koichi Kobayashi
- Organizer
  12th IFAC/IEEE WODES2014
- Place of Presentation
  Paris, France
- Data Source
  KAKENHI-PROJECT-25330011
[Presentation] Diagnosis of Stochastic Discrete Event Systems Based on N-gram Models with Wildcard Characters2013
- Author(s)
  Kunihiko Hiraishi, Miwa Yoshimoto, Koichi Kobayashi
- Organizer
  IFIP/IEEE IM2013 Workshop DANMS2013
- Place of Presentation
  Ghest, Belgium
- Data Source
  KAKENHI-PROJECT-25330011
[Presentation] イベントログに基づいた行動型サービスの分析2013
- Author(s)
  甚田貴徳, 青戸渉, 崔舜星, 小林孝一, 平石邦彦, 内平直志
- Organizer
  電子情報通信学会システム数理と応用研究会（MSS)
- Place of Presentation
  熊本大学（熊本）
- Data Source
  KAKENHI-PROJECT-25330011
[Presentation] Simulating Stochastic Discrete Event Systems by Difference Equations with Interval Parameters2011
- Author(s)
  Kunihiko Hiraishi
- Organizer
  IEEE IECON2011
- Place of Presentation
  Melbourne, Australia
- Data Source
  KAKENHI-PROJECT-21500009
[Presentation] An Approximation Algorithm for Box Abstraction of Transition Systems on Real Vector Fields2010
- Author(s)
  K. Hiraishi, K. Kobayashi
- Organizer
  計測自動制御学会離散事象システム研究会
- Place of Presentation
  名古屋市,愛知
- Year and Date
  2010-12-09
- Data Source
  KAKENHI-PROJECT-21500009
[Presentation] On Analysis of a Class of Timed Continuous Petri Nets and Its Applications2010
- Author(s)
  K.Hiraishi
- Organizer
  SICE Annual Conference
- Place of Presentation
  円山大飯店(Taipei, Taiwan)
- Data Source
  KAKENHI-PROJECT-21500009
[Presentation] An Approximation Algorithm for Box Abstraction of Transition Systemson Real Vector Fields2010
- Author(s)
  K.Hiraishi, K.Kobayashi
- Organizer
  計測自動制御学会第48回離散事象システム研究会
- Place of Presentation
  名城大学(愛知)
- Year and Date
  2010-12-09
- Data Source
  KAKENHI-PROJECT-21500009
[Presentation] モデル検査を用いた確率ブーリアンネットワークの可到達性解析2010
- Author(s)
  小林孝一, 平石邦彦
- Organizer
  第54回システム制御情報学会研究発表講演会
- Place of Presentation
  京都リサーチパーク(京都)
- Data Source
  KAKENHI-PROJECT-21500009
[Presentation] On Analysis of a Class of Timed Continuous Petri Nets and Its Applications2010
- Author(s)
  Kunihiko Hiraishi
- Organizer
  SICE Annual Conference2010
- Place of Presentation
  Taipei, Taiwan
- Data Source
  KAKENHI-PROJECT-21500009
[Presentation] Optimal Control of Context-Sensitive Probabilistic Boolean Networks Using Integer Programming2010
- Author(s)
  K.Hiraishi, K.Kobayashi
- Organizer
  49th IEEE Conference on Decision and Control
- Place of Presentation
  Hilton Atlanta Hotel(Atlanta, USA)
- Year and Date
  2010-12-02
- Data Source
  KAKENHI-PROJECT-21500009
[Presentation] Analysis and Control of Hybrid Systems with Parameter Uncertainty Based on Interval Methods2009
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Organizer
  2009 American Control Conference
- Place of Presentation
  St. Louis, USA
- Data Source
  KAKENHI-PROJECT-21500009
[Presentation] A Faster Approximation Technique for Predicate Abstraction of Hybrid Systems2009
- Author(s)
  Kunihiko Hiraishi and Koichi Kobayashi
- Organizer
  ICCAS-SICE2009
- Place of Presentation
  福岡市,福岡
- Data Source
  KAKENHI-PROJECT-21500009
[Presentation] ハイブリッドシステムにおける述語抽象化計算の効率化2009
- Author(s)
  平石邦彦,小林孝一
- Organizer
  計測自動制御学会第45回離散事象システム研究会
- Place of Presentation
  港区,東京
- Year and Date
  2009-12-07
- Data Source
  KAKENHI-PROJECT-21500009
[Presentation] ハイブリッドシステムに対する区間法の適用について2009
- Author(s)
  平石邦彦
- Organizer
  計測自動制御学会・第46回離散事象システム研究会
- Place of Presentation
  東京
- Year and Date
  2009-12-07
- Data Source
  KAKENHI-PROJECT-21500009
[Presentation] ハイブリッドシステムのモデル予測制御問題に対する事前計算に基づく近似解法2007
- Author(s)
  小林孝一, Nguyen Van Tang, 平石邦彦
- Organizer
  計測自動制御学会システム・情報部門学術講演会
- Place of Presentation
  東京
- Data Source
  KAKENHI-PROJECT-17560386
[Presentation] Performance, Evaluation of Workflows Using Fluid Flow Approximation of Discrete Sets and Probability Distributions2007
- Author(s)
  Kunihiko, Hiraishi
- Organizer
  IEEE IECON07
- Place of Presentation
  Taipei, Taiwan
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17560386
[Presentation] Precomputation Based Approximate Algorithm for Model Predictive Control of Hybrid Systems2007
- Author(s)
  Koichi, Kobayashi, Nguyen, Van, Tang, Eunihiko, Hiraishi
- Organizer
  SICE Symposium on Systems and Information
- Place of Presentation
  Tokyo
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17560386
[Presentation] Performance Evaluation of Workflows Using Fluid Flow Approximation of Discrete Sets and Probability Distributions2007
- Author(s)
  平石邦彦
- Organizer
  IEEE IECON'07
- Place of Presentation
  Taipei,Taiwan
- Data Source
  KAKENHI-PROJECT-17560386
[Presentation] Performance Evaluation of Workflows Using Fluid Flow Approximation of Discrete Sets and Probability Distributions2007
- Author(s)
  平石邦彦
- Organizer
  IEEE IECON'07
- Place of Presentation
  Taipei, Taiwan
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17560386
[Presentation] 形式的手法の新展開-離散と連続の融合2007
- Author(s)
  平石邦彦
- Organizer
  JAIST-COE/AIST-CVSシンポジウム
- Place of Presentation
  東京
- Year and Date
  2007-09-06
- Data Source
  KAKENHI-PROJECT-17560386
[Presentation] ハイブリッドシステムのモデル予測制御問題に対する事前計算に基づく近似解法2007
- Author(s)
  小林孝一, Nguyen Van Tang, 平石邦彦
- Organizer
  計測自動制御学会システム・情報部門学術講演会
- Place of Presentation
  東京
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17560386
[Presentation] 混合論理動的システム表現の改良に関する研究2006
- Author(s)
  崔舜星, 平石邦彦
- Organizer
  電子情報通信学会 CST研究会.
- Place of Presentation
  石川
- Year and Date
  2006-06-01
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17560386
[Presentation] Performance, Evaluation of Workflows Using Continuous Approximation2006
- Author(s)
  Kunihiko, Hiraishi
- Organizer
  Japan Vietnam Workshop on Software Engineering
- Place of Presentation
  Hanoi. Vietnam
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17560386
[Presentation] Performance Evaluation of Workflows Using Continuous Approximation2006
- Author(s)
  Kunihiko Hiraishi
- Organizer
  Japan Vietnam Workshop on Software Engineering
- Place of Presentation
  Hanoi, Vietnam
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17560386
[Presentation] An Improvement of Mixed Logical Dynamical System Representation2006
- Author(s)
  Sunseong, Choe, Kunihiko, Hiraishi
- Organizer
  IEICE SIG-CST
- Place of Presentation
  Ishikawa
- Year and Date
  2006-06-01
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17560386
[Presentation] Performance, Evaluation of Workflows Using Continuous Approximation2006
- Author(s)
  Kunihiko, Hiraishi
- Organizer
  IEICE SIG-CET
- Place of Presentation
  Nagasaki
- Year and Date
  2006-11-21
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17560386
[Presentation] Performance Evaluation of Workflows Using Continuous Approximation2006
- Author(s)
  Kunihiko Hiraishi
- Organizer
  電子情報通信学会 CST研究会
- Place of Presentation
  長崎
- Year and Date
  2006-11-21
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17560386
[Presentation] Solving Optimization Problems on Hybrid Systems by Graph Exploration2006
- Author(s)
  Kunihiko Hiraishi
- Organizer
  8th Int. Workshop on Discrete Event Systems
- Place of Presentation
  Michigan, USA
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17560386
[Presentation] Computational Tools for Designing Hybrid Systems Based on Constraint Satisfaction2005
- Author(s)
  Kunihiko Hiraishi, Sunseong Choe
- Organizer
  Workshop on Control of Hybrid and Discrete Event Systems, Satellite Workshop of ATPN2005
- Place of Presentation
  Florida, USA,
- Year and Date
  2005-06-20
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17560386
[Presentation] Sunseong, Choe, Computational Tools for Designing Hybrid Systems Based on Constraint Satisfaction2005
- Author(s)
  unihiko, Hiraishi
- Organizer
  IEICE 18th Karuizawa Workshop
- Place of Presentation
  karnizawa
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17560386
[Presentation] Sunseong, Choe. Computational Tools for Designing Hybrid Systems Based on Constraint Satisfaction2005
- Author(s)
  Kunihiko, Hiraishi
- Organizer
  Workshop on Control of Hybrid and Discrete Event Systems, Satellite workshop of ATPN2005
- Place of Presentation
  Florida. USA
- Year and Date
  2005-06-20
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17560386
[Presentation] ハイブリッドシステムにおける最適制御問題へのQEの適用2005
- Author(s)
  崔舜星, 平石邦彦
- Organizer
  計測自動制御学会第15回インテリジェントシステムシンポジウム
- Place of Presentation
  京都
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17560386
[Presentation] 制約充足に基づいたハイブリッドシステム設計のための計算ツール2005
- Author(s)
  平石邦彦, 崔舜星
- Organizer
  電子情報通信学会第18回回路とシステム軽井沢ワークショップ
- Place of Presentation
  軽井沢
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17560386
[Presentation] Application of Quantifier Elimination to Optimal Control Problems of Hybrid Systems2005
- Author(s)
  Sunseong Choe, Kunihiko Hiraishi
- Organizer
  7th Asian Symposium on Computer Mathematics
- Place of Presentation
  Seoul, Korea
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17560386
[Presentation] Application of Quantifier Elimination to Optimal Control Problems of Hybrid Systems2005
- Author(s)
  Sunseong, Choe, Kunihiko, Hiraishi
- Organizer
  7th Asian Symposium on Computer Mathematics
- Place of Presentation
  Seoul. Korea
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17560386
[Presentation] Application of QE to Optimal Control Problems of Hybrid Systems2005
- Author(s)
  Sunseong, Choe, Kunihiko Hiraishi
- Organizer
  SICE FAN Symposium
- Place of Presentation
  Kyoto
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17560386

1. KOBAYASHI Koichi (50452115)

# of Collaborated Projects: 2 results

# of Collaborated Products: 25 results
2. MILAN Vlach (40291372)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
3. TAKASHIMA Yasuhiro (10303330)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
4. SUNG Shao chin (80303329)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. Uchihira Naoshi (30393838)

# of Collaborated Projects: 1 results

# of Collaborated Products: 13 results
6. 崔舜星 (20631922)

# of Collaborated Projects: 1 results

# of Collaborated Products: 8 results
7. 佐々木康朗 (70743772)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
8. 水流聡子 (80177328)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. 金井秀明 (90282920)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. ONDREJ Cepek

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. KAREL Zimmermann

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Hiraishi Kunihiko 平石 邦彦

HIRAISHI Kunihiko 平石 邦彦

平石 邦彦 ヒライシ クニヒコ

Research Projects

Research Products

Co-Researchers

交通流ビッグデータ解析のためのイベント処理技術に関する研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Modeling and Control of Airspace Traffic Flow Using Aviation Open DataPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Building Mathematical Models for Situation Awareness and Information Supervisory ControlPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Research on Awareness Platform by Smart Voice Messaging System for Improving the Quality of Nursing and Care Services

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Research on Model-less Diagnosis of Discrete Event SystemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Safety Verification Based on Fluidification of Discrete DynamicsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

On Optimal Design of Highly Dependable Hybrid Dynamical SystemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Scheduling Problems with Penalized Earliness and Tardiness of Completion Time

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

大規模並行実時間システムの効率的な検証方法の研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] 交通流データのイベント抽出による解析－大規模軌跡データからの主要経路の抽出－2024

Author(s)

Journal Title

Data Source

[Journal Article] Mesoscopic Modeling of Airspace Traffic Flow2023

Author(s)

Journal Title

DOI

Data Source

[Journal Article] プロセスマイニングを応用した大容量交通流の Mesoscopicモデル化手法2022

Author(s)

Journal Title

Data Source

[Journal Article] Modeling Inter-Sector Air Traffic Flow and Sector Demand Prediction2022

Author(s)

Journal Title

DOI

ISSN

Year and Date

Language

Hiraishi Kunihiko 平石邦彦

HIRAISHI Kunihiko 平石邦彦

平石邦彦ヒライシクニヒコ