|
|
| 2008 |
|
Koichi Kobayashi and Kunihiko Hiraishi: Graph-Switching Based Modeling of Mode Transition Constraints for Model Predictive Control of Hybrid Systems, SICE Journal of Control, Measurement, and System Integration, Vol. 1, No. 5, pp. 376-382 (2008) |
|
平石邦彦，小林孝一，崔瞬星： 有限時間区間に対するハイブリッドシステムの離散抽象化, 計測自動制御学会論文集，Vol. 44，No. 9，pp. 751-759 (2008) |
|
小林孝一，井村順一，平石邦彦： ブーリアンネットワークモデルによる遺伝子発現ネットワークの可制御性解析, 第21回回路とシステム軽井沢ワークショップ論文集, pp.261-265 (軽井沢, 2008/4/21-22) |
|
小林孝一，平石邦彦： モード遷移拘束を陽に考慮したハイブリッドシステムのモデリング, 第52回システム制御情報学会研究発表講演会講演論文集, pp. 419-420 (京都, 2008/5/16-18) |
|
平石邦彦： 離散状態の流体化によるシステム検証, 電子情報通信学会技術報告，108，78，pp. 7-12 (名古屋，2008/6/2-3) |
|
Kunihiko Hiraishi: Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds, Proc. 29th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, pp. 231-250 (Xi'an, China, 2008/6/23-27) |
|
Koichi Kobayashi, Nguyen Van Tang, and Kunihiko Hiraishi: On-line and Off-line Based Approximation Algorithm for Model Predictive Control of Hybrid Systems, Proc. 23rd International Technical Conference on Circuits/Systems, Computers and Communications, pp. 913-916 (Shimonoseki, Japan, 2008/7/6-9) |
|
Kunihiko Hiraishi: Formal Approaches to Model-Based Development of Real-Time/Hybrid Systems, SICE 2008 Workshop on Model-Based Development of Embedded Systems (Chofu, Japan, 2008/8/19) |
|
Koichi Kobayashi and Kunihiko Hiraishi: Explicit Modeling of Mode Transition Constraints for Model Predictive Control, Proc. SICE Annual Conference 2008, pp. 1569-1574 (Chofu, Japan, 2008/8/20-22) |
|
小林孝一，平石邦彦： 区間法に基づくハイブリッドシステムの解析と制御, 第37回制御理論シンポジウム, pp. 167-170 (霧島, 2008/9/17-19) |
| 2007 |
|
Petr Kucera and Kunihiko Hiraishi: Software Component Verification for Infinite State Models by means of Assumption Generation, 計測自動制御学会第41回離散事象システム研究会 (沖縄，2007/6/28-29) |
|
Petr Kucera and Kunihiko Hiraishi: Application of DES Theory to Verification of Software Components, Proc. SICE Annual Conference 2007 (Takamatsu，Japan, 2007/6/28-29) |
|
Kunihiko Hiraishi: Performance Evaluation of Workflows Using Fluid Flow Approximation of Discrete Sets and Probability Distributions, Proc. 33rd Annual Conference of the IEEE Industrial Electronics Society, pp. 282-287 (Taipei, Taiwan, 2007/11/5-8) |
|
小林孝一, Nguyen Van Tang, 平石邦彦： ハイブリッドシステムのモデル予測制御問題に対する事前計算に基づく近似解法, 計測自動制御学会システム・情報部門学術講演会2007講演論文集, pp. 433-438 (東京，2007/11/26-28) |
| 2006 |
| 機械工学便覧，デザイン編β6「制御システム」,第７章離散事象システム, pp.164-168, 日本機械学会 |
|
崔舜星, 平石邦彦： 混合論理動的システム表現の改良に関する研究, 電子情報通信学会技術報告 CST2006-2, 7-11 (石川, 2006/6/1) |
|
Kunihiko Hiraishi: Solving optimization problems on hybrid systems by graph exploration, Proc. 8th Int. Workshop on Discrete Event Systems, pp. 282-287 (Michigan, USA, 2006/7/10-12) |
|
Kunihiko Hiraishi: Performance Evaluation of Workflows Using Continuous Approximation, Proc. Japan Vietnam Workshop on Software Engineering, pp. 8-9 (Hanoi, Vietnam, 2006/8/24-25) |
|
Kunihiko Hiraishi: Performance Evaluation of Workflows Using Continuous Approximation, 電子情報通信学会技術報告 CST2006-3, pp. 7-12 (長崎, 2006/11/21) |
| 2005 |
|
平石邦彦, 崔舜星： 制約充足に基づいたハイブリッドシステム設計のための計算ツール, 第18回回路とシステム軽井沢ワークショップ, pp. 287-298 (2005) |
|
Kunihiko Hiraishi and Sunseong Choe: Computational Tools for Designing Hybrid Systems Based on Constraint Satisfaction, Proc. Workshop on Control of Hybrid and Discrete Event Systems, Satellite workshop of ATPN2005 pp. 41-60 (Florida, USA, 2005/6/20) |
|
Kunihiko Hiraishi: Modeling and Verification of e-Society using DES Technology, Proc. SICE Annual Conference 2005, pp. 2808-2811 (Okayama, Japan, 2005/7/8-10) |
|
崔舜星, 平石邦彦： ハイブリッドシステムにおける最適制御問題へのQEの適用, 計測自動制御学会第15回インテリジェントシステムシンポジウム，pp. 177-192 (京都, 2005/9/26-27) |
|
平石邦彦, 小谷正行： 確率ペトリネットを用いたワークフローの性能評価, 計測自動制御学会システム・情報部門学術講演会2005, pp. 354-359 (福岡，2005/19/28-30) |
|
Sunseong Choe and Kunihiko Hiraishi: Application of Quantifier Elimination to Optimal Control Problems of Hybrid Systems, Proc. 7th Asian Symposium on Computer Mathematics, pp. 62-65 (Seoul, Korea, 2005/12/8-10) |
| 2004 |
|
平石邦彦： (ハイブリッドシステム研究交流会シンポジウム特別講演) ハイブリッドシステムの記号的計算による解析, システム制御情報学会・ハイブリッドシステム研究交流会 (2004.3) |
|
上田智之, 平石邦彦： 遺伝子転写制御領域に含まれる特異的文字列の解析とDNAマイクロアレイデータを用いた遺伝子間の依存関係推定 電子情報通信学会2003年総合大会, D-7-6, 東京工業大学 (2004.3) |
|
千葉英史, 平石邦彦： 周期的なタイムスロット付きジャストインタイムスケジューリング問題のヒューリスティックアルゴリズム, 情報処理学会研究報告, 2004-AL-94 (1) (2004) |
|
Kunihiko Hiraishi and Koji Okahashi: Efficient reduction technique for agent-based control systems, Proc. 10th IFAC/IFORS/IMACS/IFIP Symposium on Large Scale Systems: Theory and Applications, pp. 385-390 (2004/7/26-28) |
|
Kunihiko Hiraishi: On Solvability of an Agent-based Control Problem under Dynamic Environment, Proc. 7th IFAC Workshop on Discrete Event Systems, pp.91-95 (2004/9/22-24) |
|
Kunihiko Hiraishi: Deriving Discrete Behavior of Hybrid Systems under Incomplete Knowledge, IEICE Trans. Fundamentals, Vol. E87-A, No.11 (2004) |
| 2003 |
|
K. Hiraishi: Modeling Agent-Based Control of Discrete Event Systems, Workshop on DES control, ATPN2003 (2003.6) |
|
小倉 亨・平石邦彦： 転写制御領域の解析と破壊株データからの遺伝子の依存関係推定, 電子情報通信学会総合大会 D7-7 (2003.3) |
|
S.C. Sung, O. Cepek, and K. Hiraishi: A Polynomial Time Algorithm for Single Machine Multislot Just-In-Time Scheduling Problem, The 6th Czech-Japan Seminar on Data Analysis and Decision Making under Uncertainty, hotel Hubertus, Valtice, Czech Republic (2003). |
|
Takeshi Koshiba and Kunihiko Hiraishi: A Note on Finding One-Variable Patterns Consistent with Examples and Counterexamples, Masami Ito and Teruo Imaoka (Eds), Words, Languages & Combinatorics III, Proceedings of the Third International Colloquium, World Scientific, pp. 253-265 (2003). |
|
平石邦彦： 制約論理プログラミングによるハイブリッドシステムの解析について, 計測自動制御学会システム・情報部門学術講演会2003, pp. 245-250 (2003). |
| 2002 |
|
K. Hiraishi, E. Levner, and M. Vlach: Scheduling on Parallel Identical Machines to Maximize the Weighted Number of Just-In-Time Jobs, Computers & Operations Research, Vol.29, pp.841-848 (2002). |
|
K. Hiraishi: A Formalism for Decentralized Control of Discrete Event Systems (Invited talk), Proc. SICE Annual Conference 2002 (Osaka, Japan), MA12-2, pp.833-838 (2002.8). |
|
K. Hiraishi:
PN^2: An Elementary Model for Design and Analysis of Multi-agent Systems,
Proc. COORDINATION2002 (York, UK), Lecture Notes in Computer Science, Vol. 2315, pp.220-235 (2002.4).
|
|
平石邦彦： エージェント指向ペトリネットの理論的解析について, 電子情報通信学会技術研究報告, Vol. 101, No.623, pp. 25-32 (2002.1). |
|
岡橋孝治，平石邦彦： エージェント指向ペトリネットPN^2の効率的解析について−動作を保存する縮約法−, 電子情報通信学会技術研究報告, Vol. 102, No.427, pp. 23-28 (2002.10). |
|
野村彰典，平石邦彦： ハイブリッドシステムの定性的解析について, 電子情報通信学会技術研究報告, Vol. 102, No.427, pp. 29-34 (2002.10). |
| 2001 |
|
K. Ishihara and K. Hiraishi: The Completeness of Linear Logic for Petri Net Models, Logic Journal of the IGPL, Vol.9, Issue 4 (2001). |
|
K. Hiraishi and H. Tanaka: An Algorithm for Legal Firing Sequence Problem of Petri Nets Based on Partial Order Method (letter), IEICE Trans. Fundamentals, Vol.E84-A, No. 11, pp. 2881-2884 (2001). |
|
K. Hiraishi: A Petri-Net-Based Model for the Mathematical Analysis of Multi-Agent Systems, IEICE Trans. Fundamentals, Vol.E84-A, No. 11, pp. 2829-2837 (2001). |
|
K. Hiraishi: Synthesis of Supervisors Using Learning Algorithm of Regular Languages, Discrete Event Dynamic Systems: Theory and Applications, Vol. 11, pp. 211-234 (2001). |
|
平石邦彦，盧 吉錫： 離散事象システムの言語安定性について 計測自動制御学会論文集，Vol. 37, No. 8, pp. 733-740 (2001). |
|
望山洋，平石邦彦： 時間付き離散事象システムの時間付き安定性， 計測自動制御学会論文集，Vol. 37, No. 5, pp. 411-418 (2001). |
|
平石邦彦： ペトリネットによるマルチエージェントシステムのモデル化, システム／制御／情報, Vol. 45, No. 8, pp. 439-444 (2001). |
|
K. Hiraishi: Just-in-time Scheduling of Parallel Identical Machines with Multiple Time Slots, Proc. 4th Czech-Japan Seminar on Data Analysis and Decision Making under Uncertainty (Jindrichuv Hradec, Czech Republic), pp. 33-39 (2001.9). |
|
横山智生，平石邦彦： 繰り返し囚人のジレンマゲームにおける競合共進化モデルの特性について, 電子情報通信学会技術研究報告, Vol. 100, No. 571, pp. 23-30 (2001.1). |
| 2000 |
|
K. Hiraishi: An Efficient Algorithm for Exploring State Spaces of Petri Nets with Large Capacities, IEICE Trans. Fundamentals, Vol. E83-A, No. 11, pp. 2188-2195 (2000). |
|
K. Hiraishi: A Petri-net-based Model for the Mathematical Analysis of Multi-agent Systems, Proc. IEEE International Conference on Systems, Man and Cybernetics (Nashiville, USA), pp. 3009-3014 (2000). 10). |
|
S. C. Sung, Y. Takashima, T. Yamane, and K. Hiraishi: Graph Theoretical Analysis on the Vehicle Motion Planning in an AGV System, Proc. Mathematical Methods in Economics 2000 (Prague, Czech Republic), pp. 165-170 (2000.9). |
|
T. Koshiba and K. Hiraishi: A Note on Finding One-Variable Patterns Consistent With Examples and Counterexamples, 3rd International Colloquium on Words, Languages, Combinatorics (Kyoto, Japan) (2000.3). |
|
宋少秋, 高島康裕, 山根毅史, 平石邦彦：
自動搬送車の動作計画問題のグラフ理論的解法について,
電子情報通信学会技術研究報告, Vol. 100, No. 103, pp. 1-8 (2000.6).
|
|
平石邦彦, 宋少秋, 高島康裕, 内平直志, 川田秀司： シナリオベース超逐次プログラミングにおけるシナリオ並列化アルゴリズムについて, 第13回回路とシステム（軽井沢）ワークショップ論文集, pp. 149-154 (2000.4). |
[戻る]