固定経路のない交通流データにおける主要経路抽出手法
電子情報通信学会ソサイエティ大会企画セッションAK-2. 時系列AI技術の最前線, 2022
プロセスマイニング技術を応用した空港面交通流のメゾスコピックモデル化手法
CARATSオープンデータ活用促進フォーラム, 2021
離散状態システムの理論からプロセスマイニングへ
電子情報通信学会総合大会 AI-1 プロセスマイニング -データサイエンスと離散事象システム理論の融合, 2021
A POMDP-based Approach to Assortment Optimization Problem for Vending Machine
IEEE IEEM2019, 2019
空域におけるセクター間交通流のモデル化
CARATSオープンデータ活用促進説明会, 国土交通省航空局・北陸先端大, 石川県金沢市, 2019
Information Supervisory Control of Human Behavior
The 13th India-Japan Bilateral Conference BICON2018, 2018
Information Supervisory Control of Human Behavior - A Formal Model and Simulation -
IEEE Systems, Man, and Cybernetics 2018, Miyazaki, 2018
フィールドワークにおけるコラボレーション効果
第40回日本創造学会研究大会, 大阪, 2018
大規模空域トラフィックデータに対するセクター同定
第64回離散事象システム研究会, 松山, 2018
ミニ移動大学2017年度報告と今年度実施計画
人工知能学会第4回市民共創知研究会, 石川, 2018
作業スタッフの行動ログを用いた時空間状況認識の性能向上について
システム数理と応用研究会, 大阪, 2018
CARATS Open Dataにおける航空機位置のセクター決定問題について
システム数理と応用研究会, 大阪, 2018
Information Supervisory Control of Human Behavior - Experiments and Formal Modeling -
Asian Control Conference 2017, Goldcoast, Australia, 2017
Modeling and Optimization of Item Changes in Vending Machines
Asian Control Conference 2017, Goldcoast, Australia, 2017
複合的因果関係分析手法を用いた遠隔診療の定量的安全性評価
システム数理と応用研究会, 国分寺, 2017
ソフトウェア開発プロセスの評価における機械学習とプロセスマイニングの性能比較
システム数理と応用研究会, 国分寺, 2017
Model-Based Approach to Analysis of Human Behavior with Applications to Nursing and Caregiving Services
2017 IEEE 6th Global Conference on Consumer Electronics, Nagoya, 2017
つぶやきシステムを利用したミニ移動大学の実践
第42回教育システム情報学会全国大会, 北九州, 2017
看護・介護サービスにおけるケアスタッフの連携行動の解析
電子情報通信学会システム数理と応用研究会, 2017
ケアスタッフ連携スケジューリング問題 ～ 通信手段による比較とソルバーによる最適解 ～
電子情報通信学会システム数理と応用研究会, 2016
突発的イベント発生時の音声つぶやきシステムによるスタッフ間の連携効果
電子情報通信学会システム数理と応用研究会, 2016
音声つぶやきシステムのリアルタイム状況把握に対する効果について
サービス学会第３回国内大会, 金沢, 2015
価格効果の劣化を考慮した電力のリアルタイムプライシング
第58回離散事象システム研究会, 2015
ペトリネットによる空港面交通流のモデル化と混雑状態シミュレーション
電子情報通信学会システム数理と応用研究会, 石垣島, 2014
確率離散モデルを用いたモデル予測型リアルタイムプライシング
計測自動制御学会第55回離散事象システム研究会, 2014
リアルタイムプライシングの設計への確率的アプローチ
電子情報通信学会高信頼制御通信研究会, 2014
離散値入力をもつ大規模システムのモデル予測制
第58回システム制御情報学会研究発表講演会, 2014
状況適応型サービスのための「気づき」プラットフォームの提案
第４回知識共創フォーラム, 金沢, 2014
確率離散モデルに基づくリアルタイムプライシングシステムの設計
計測自動制御学会第1回制御部門マルチシンポジウム, 2014
アトラクターに着目したブーリアンネットワークの設計
計測自動制御学会第54回離散事象システム研究会, 2013
混合論理動的システム表現に基づくマルチホップ制御ネットワークの最適制御
電子情報通信学会2013年度第3回高信頼制御通信研究会, 2013
遺伝子ネットワークの解析と制御のための計算手法 ～ブーリアンネットワークによるアプローチ～
計測自動制御学会ライフエンジニアリング部門シンポジウム2013, 横浜, 2013
複数の不確かな遅延を有するネットワーク化制御システムの最適制御
電子情報通信学会システム数理と応用研究会, 熊本, 2013
イベントログに基づいた行動型サービスの分析
電子情報通信学会システム数理と応用研究会, 熊本, 2013
確率的モデル検査を用いた遺伝子ネットワークの解析
計測自動制御学会第53回離散事象システム研究会, 東京, 2013
マルチホップ制御ネットワークのMLDシステム表現と最適制御
電子情報通信学会第25回回路とシステムワークショップ, 淡路, 2013
確率ハイブリッドシステムの離散抽象化 ～遺伝子トグルスイッチの解析への適用～
電子情報通信学会システム数理と応用研究会, 福岡, 2013
1ステップ予測区間に着目した線形システムのSelf-Triggered最適制御
電子情報通信学会システム数理と応用研究会, 大阪, 2013
時相論理による拘束をもつマルチビークルシステムの最適制御
計測自動制御学会第52回離散事象システム研究会, 大阪, 2013
状態離散化を用いたマルチエージェントシステムの最適制御
第55回自動制御連合講演会, 京都, 2012
確率ハイブリッドシステムの離散抽象化と最適制御
第55回自動制御連合講演会, 京都, 2012
有限時間区間における確率ハイブリッドシステムの離散抽象化
計測自動制御学会システム・情報部門学術講演会2012, 名古屋, 2012
ワイルドカード文字を含むＮグラムモデルを用いた確率離散事象システムの故障診断
電子情報通信学会システム数理と応用研究会, 盛岡, 2012
離散値入力をもつ大規模システムに対する量子化誤差を考慮した最適制御
計測自動制御学会システム・情報部門学術講演会2012, 名古屋, 2012
ネットワーク化制御系のためのSelf-Triggeredモデル予測制御
電子情報通信学会第25回回路とシステムワークショップ, 淡路, 2012
離散値入力をもつ大規模システムに対する最適制御問題の一解法
電子情報通信学会システム数理と応用研究会, 京都, 2012
プッシュダウンオートマトンで表現される離散事象システムのオパシティと可診断性について
計測自動制御学会第51回離散事象システム研究会, 宮崎, 2012
Self-Triggered制御のための1ステップ予測区間最適化問題の解法
第56回システム制御情報学会研究発表講演会, 京都, 2012
研究開発成果と事業化との関係に着目した研究開発マネジメント
日本MOT学会第3回年次研究発表会，3-5, 2012年3月．, 名古屋, 2012
産学連携による研究開発プロジェクトマネジメントの知識継承手法の検討
日本MOT学会第3回年次研究発表会，3-6，2012, 名古屋, 2012
仮想フィールドを用いた看護・介護サービスにおける音声つぶやきコミュニケーションの評価実験について
電子情報通信学会 システム数理と応用研究会, 東京, 2012
1ステップ予測区間の最適化によるSelf-Triggered制御
電子情報通信学会2012年総合大会, 岡山, 2012
離散モデルに基づく遺伝子ネットワークの解析と制御 ―最適化とモデル検査によるアプローチ―
電子情報通信学会2012年総合大会（依頼シンポジウム：数理的手法を用いたバイオロジー）, 岡山, 2012
複数の確率的遅延を有するネットワーク化システムの制御
電子情報通信学会システム数理と応用研究会, 高知, 2012
不確かなパラメータを有する確率切替システムのモデリングと制御
計測自動制御学会第50回離散事象システム研究会, 東京, 2011
看護・介護サービスにおける複雑なプロセスのモデル化にむけて
電子情報通信学会 システム数理と応用研究会, 山口, 2011
ネットワーク化制御系のためのSelf-Triggered最適制御
電子情報通信学会2011年度第2回高信頼制御通信研究会, 北九州, 2011
不確かなパラメータを有する区分的アファインシステムのサンプル値最適制御
計測自動制御学会システム・情報部門学術講演会2011, 東京, 2011
ハイブリットシステムの遷移近似双模倣と最適制御への応用
計測自動制御学会システム・情報部門学術講演会2011, 東京, 2011
時間, 資源の制約を考慮したビジネスプロセスの検証
電子情報通信学会ソサイエティ大会, AS-3 ワークフローとビジネスプロセス管理への数理的アプローチ, 札幌, 2011
A Workflow-based Change Support Model for Collaborative Software Development
電子情報通信学会ソサイエティ大会, AS-3 ワークフローとビジネスプロセス管理への数理的アプローチ, 札幌, 2011
最適化を用いた線形システムのSelf-Triggered制御
計測自動制御学会第40回制御理論シンポジウム, 大阪, 2011
確率的拘束を有する確率ハイブリッドシステムのモデル予測制御
電子情報通信学会第24回回路とシステムワークショップ, 淡路, 2011
ハイブリッドシステムにおけるモデル予測制御 ―遷移関係に基づく近似事前解法―
電子情報通信学会システム数理と応用研究会, 沖縄, 2011
ペトリネットで表現される非同期ブーリアンネットワークの最適制御
計測自動制御学会第49回離散事象システム研究会, 長岡, 2011
遷移関係に基づくハイブリッドモデル予測制御の近似事前解法
電子情報通信学会2011年総合大会, 東京, 2011
確率ハイブリッドシステムの確率拘束付き最適制御
電子情報通信学会2011年総合大会, 東京, 2011
多項式最適化を用いた確率ブーリアンネットワークの最適制御
計測自動制御学会第11回制御部門大会, 沖縄, 2011
混合整数計画法を用いたネットワーク化システムの最適制御
計測自動制御学会第48回離散事象システム研究会, 名古屋, 2010
An Approximation Algorithm for Box Abstraction of Transition Systems on Real Vector Fields
計測自動制御学会第48回離散事象システム研究会, 名古屋, 2010
外部刺激に基づく遺伝子ネットワークの最適制御
計測自動制御学会システム・情報部門学術講演会2010, 京都, 2010
On Analysis of a Class of Timed Continuous Petri nets and Its Applications
SICE Annual Conference 2010, Taipei, 2010
ハイブリッドシステムに対する遷移近似双模倣
計測自動制御学会第47回離散事象システム研究会, 金沢, 2010
可到達性解析を用いたプッシュダウンシステムの診断について
計測自動制御学会第47回離散事象システム研究会, 金沢, 2010
モデル検査を用いた確率ブーリアンネットワークの可到達性解析
第54回システム制御情報学会研究発表講演会, 京都, 2010
確率ブーリアンネットワークの解析と制御のための計算手法
情報処理学会第20回バイオ情報学研究会, 石川, 2010
整数計画法を用いた文脈依存確率ブーリアンネットワークの制御
計測自動制御学会第10回制御部門大会, 熊本, 2010
離散確率ハイブリッドシステムのモデル予測制御
計測自動制御学会第46回離散事象システム研究会, 東京, 2009
ハイブリッドシステムに対する区間法の適用について
計測自動制御学会第46回離散事象システム研究会, 東京, 2009
モデル予測制御における近似解法と離散ダイナミクスモデリング
第52回自動制御連合講演会, 大阪, 2009
整数計画法を用いた確率ブーリアンネットワークの制御
計測自動制御学会システム・情報部門学術講演会2009, 横浜, 2009
DES Technology: Toward Dependable Embedded Control Systems
ICROS-SICE2009, Fukuoka, Japan, 2009
ブーリアンネットワークにおける可制御性判定のための多項式時間アルゴリズム
電子情報通信学会コンカレント工学研究会, 東京, 2009
ハイブリッドシステムにおける述語抽象化計算の高速化
計測自動制御学会第45回離散事象システム研究会, 大阪, 2009
ハイブリッドシステムの解析と制御への区間法の適用
計測自動制御学会第44回離散事象システム研究会, 宮崎, 2008
区間法に基づくハイブリッドシステムの解析と制御
計測自動制御学会第37回制御理論シンポジウム, 霧島, 2008
Formal Approaches to Model-Based Development of Real-Time/Hybrid Systems
SICE 2008, Workshop on Model-Based Development of Embedded Systems, Chofu, Japan, 2008
モード遷移拘束を陽に考慮したハイブリッドシステムのモデリング
第52回システム制御情報学会研究発表講演会, 京都, 2008
ブーリアンネットワークモデルによる遺伝子発現ネットワークの可制御性解析
第21回回路とシステム軽井沢ワークショップ, 軽井沢, 2008
ハイブリッドシステムのモデル予測制御問題に対する事前計算に基づく近似解法
計測自動制御学会システム・情報部門学術講演会 2007, 東京, 2007
Performance Evaluation of Workflows Using Fluid Flow Approximation of Discrete Sets and Probability Distributions
The 33rd Annual Conference of the IEEE Industrial Electronics Society, Taipei, Taiwan, 2007
Application of DES Theory to Verification of Software Components
SICE Annual Conference 2007, Takamatsu, Japan, 2007
Software Component Verification for Infinite State Models by means of Assumption Generation
計測自動制御学会第41回離散事象システム研究会, 沖縄, 2007
Software Component Verification for Infinite State Models by means of Assumption Generation
計測自動制御学会第41回離散事象システム研究会, 沖縄, 2007
Performance Evaluation of Workflows Using Continuous Approximation
電子情報通信学会コンカレント工学研究会, 長崎, 2006
Performance Evaluation of Workflows Using Continuous Approximation
Japan Vietnam Workshop on Software Engineering, Hanoi, Vietnam, 2006
Solving optimization problems on hybrid systems by graph exploration
8th Int. Workshop on Dscrete Event Systems, Michigan, USA, 2006
Application of Quantifier Elimination to Optimal Control Problems of Hybrid Systems
7th Asian Symposium on Computer Mathematics, Ｓｅｏｕｌ， Ｋｏｒｅａ, 2005
Application of Quantifier Elimination to Optimal Control Problems of Hybrid Systems
7th Asian Symposium on Computer Mathematics, Seoul, Korea, 2005
確率ペトリネットを用いたワークフローの性能評価
計測自動制御学会システム・情報部門学術講演会2005, pp.354-359, 福岡, 2005
確率ペトリネットを用いたワークフローの性能評価
計測自動制御学会システム・情報部門学術講演会2005, 福岡, 2005
ハイブリッドシステムにおける最適制御問題へのQEの適用
第15回インテリジェントシステムシンポジウム, 京都, 2005
Modeling and Verification of e-Society using DES Technology
SICE Annual Conference 2005, Okayama, Japan, 2005
Computational Tools for Designing Hybrid Systems Based on Constraint Satisfaction
Workshop on Control of Hybrid and Discrete Event Systems, Satellite workshop of ATPN2005, Florida, USA, 2005
Computational Tools for Designing Hybrid Systems Based on Constraint Satisfaction
Proc. Workshop on Control of Hybrid and Discrete Event Systems,Satellite workshop of ATPN2005, Florida, USA, 2005
制約充足に基づいたハイブリッドシステム設計のための計算ツール
第18回回路とシステム軽井沢ワークショップ, 軽井沢, 日本, 2005
Alternating inkdot is better than nondeterministic pebble over two-dimensional languages
The Third International Conference on Information(INFORMATION’2004), Tokyo, Japan, 2004
On Solvability of an Agent-based Control Problem under Dynamic Environment
7th IFAC Workshop on Discrete Event Systems, Reims, France, 2004
ハイブリッドシステムの記号的計算による解析
システム制御情報学会・ハイブリッドシステム研究交流会, 大阪, 2004
Modeling Agent-Based-Control of Discrete Event Systems
Workshop on Discrete Event Systems Control, Int. Conf. Application and Theory of Petri Nets 2003, The Netherlands, 2003
ペトリネット理論
電子情報通信学会2003年総合大会, TA-4. 並行システムの記述モデル, 仙台, 2003
A Formalisim for Decentralized Control of Discrete Event Systems
SICE Annual Conference 2002, Osaka, 2002
PN^2: An Elementary Model for Design and Analysys of Multi-agent Systems
COORDINATION2002, York, GB, 2002
Graph Theoretical An alysis on the Vehicle Motion Planning in an AGV System
Mathematical Methods in Economics 2000, Prague, Czech, 2000
シナリオベース超逐次プログラミングにおけるシナリオ並列化アルゴリズムについて
第13回回路とシステム（軽井沢）ワークショップ, 軽井沢, 2000
A Petri-net-based Model for the Mathematical Analysis of Multi-agent Systems
IEEE International Conference on Systems, Man and Cybernetics, Nashville, USA, 2000
Synthesis of Supervisors for Discrete Event Systems Allowing Concurrent Behavior
IEEE International Conference on Systems, Man and Cybernetics, Tokyo, Japan, 1999