平石　邦彦 （ヒライシ　クニヒコ）　教授
情報科学研究科（情報科学専攻・理論情報科学領域）

75件中41-60件目

• 41.　On Solvability of a Decentralized Supervisory Control Problem With Communication，Kunihiko Hiraishi，IEEE Trans. Automatic Control，54，3，468-480，2009
• 42.　Analysis and Control of Hybrid Systems with Parameter Uncertainty Based on Interval Methods，Koichi Kobayashi and Kunihiko Hiraishi，2009 American Control Conference，3632-3637，2009/06
• 43.　A Faster Approximation Technique for Predicate Abstraction of Hybrid Systems，Kunihiko Hiraishi and Koichi Kobayashi，ICROS-SICE International Joint Conference 2009，1717-1721，2009/08
• 44.　Stabilizing Model Predictive Control of Hybrid Systems with Discrete Dynamics，Koichi Kobayashi, Jun-ichi Imura, and Kunihiko Hiraishi，ICROS-SICE International Joint Conference 2009，4831-4836，2009/08
• 45.　Polynomial-Time Controllability Analysis of Boolean Networks，Koichi Kobayashi, Jun-ichi Imura, and Kunihiko Hiraishi，2009 American Control Conference，1694-1699，2009/06
• 46.　Application of DES Theory to Verification of Software Components，Kunihiko Hiraishi and Petr Kucera，IEICE Trans. Fundamentals，E92-A，2，604-610，2009
• 47.　Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds，Kunihiko Hiraishi，IEICE Trans. Fundamentals，E91-A，2，604-610，2008
• 48.　Explicit Modeling of Mode Transition Constraints for Model Predictive Control，Koichi Kobayashi and Kunihiko Hiraishi，SICE Annual Conference 2008，1569-1574，2008/08
• 49.　On-line and Off-line Based Approximation Algorithm for Model Predictive Control of Hybrid Systems，Koichi Kobayashi, Nguyen Van Tang, and Kunihiko Hiraishi，23rd International Technical Conference on Circuits/Systems, Computers and Communications，913-916，2008/07
• 50.　有限時間区間に対するハイブリッドシステムの離散抽象化，平石邦彦，小林孝一，崔舜星，計測自動制御学会論文集，44，9，751-759，2008/09
• 51.　Graph-Switching Based Modeling of Mode Transition Constraints for Model Predictive Control of Hybrid Systems，Koichi Kobayashi and Kunihiko Hiraishi，SICE Journal of Control, Measurement, and System Integration，1，5，376-382，2008/09
• 52.　Application of DES Theory to Verification of Software Components，Petr Kucera and Kunihiko Hiraishi，Proc. SICE Annual Conference 2007，527-532，2007/9/17-20
• 53.　ハイブリッドシステムのモデル予測制御問題に対する事前計算に基づく近似解法，小林孝一, Nguyen Van Tang, 平石邦彦，計測自動制御学会システム・情報部門学術講演会 2007，354-359，2007/11/26-28
• 54.　Performance Evaluation of Workflows Using Fluid Flow Approximation of Discrete Sets and Probability Distributions，Kunihiko Hiraishi，Proc. IECON'07，88-93，2007/11/5-8
• 55.　Solving optimization problems on hybrid systems by graph exploration，Kunihiko Hiraishi，Proc. 8th Int. Workshop on Discrete Event Systems，282-287，2006/7/10-12
• 56.　Application of Quantifier Elimination to Optimal Control Problems of Hybrid Systems，Sunseong Choe, Kunihiko Hiraishi，Proc. 7th Asian Symposium on Computer Mathematics, pp.62-65
• 57.　A heuristic algorithm for one-machine just-in-time scheduling problem with periodic time slots，E. Chiba, K. Hiraishi，IEICE Trans. Fundamentals, Vol.E88-A, No.5, pp.1192-1199
• 58.　制約充足に基づいたハイブリッドシステム設計のための計算ツール，平石邦彦, 崔舜星，第18回回路とシステム軽井沢ワークショップ, pp.287-298
• 59.　Computational Tools for Designing Hybrid Systems Based on Constraint Satisfaction，Kunihiko Hiraishi, Sunseong Choe，Proc. Workshop on Control of Hybrid and Discrete Event Systems, Satellite workshop of ATPN2005, pp.41-60
• 60.　Modeling and Verification of e-Society using DES Technology，Kunihiko Hiraishi，Proc. SICE Annual Conference 2005, pp.2808-2811

[ ≪ 前へ ]

1  2  3  4

[ 次へ ≫ ]