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

75件中21-40件目

• 21.　Optimal Control of Asynchronous Boolean Networks Modeled by Petri Nets，Koichi Kobayashi and Kunihiko Hiraishi，International Workshop on Biological Processes & Petri Nets，7-20，2011/06
• 22.　An integer programming approach to optimal control problems in context-sensitive probabilistic Boolean networks，Koichi Kobayashi and Kunihiko Hiraishi，Automatica，47，6，1260-1264，2011/06
• 23.　Formal Verification of Business Processes with Temporal and Resource Constraints，Kenji Watahiki, Fuyuki Ishikawa, Kunihiko Hiraishi，Proc. 2011 IEEE International Conference on Systems, Man, and Cybernetics，1173-1180，2011/10/9
• 24.　Optimization-Based Synthesis of Self-Triggered Controllers for Networked Systems，Koichi Kobayashi and Kunihiko Hiraishi，IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences，E95-A，4，2012/04
• 25.　遷移関係に基づくハイブリッドシステムの近似双模倣，崔舜星，平石邦彦，小林孝一，計測自動制御学会論文集，47，12，614-620，2011/12
• 26.　Stabilization of Finite Automata with Application to Hybrid Systems Control，Koichi Kobayashi, Jun-ichi Imura, and Kunihiko Hiraishi，Discrete Event Dynamic Systems: Theory and Applications，21，4，519-545，2011/12
• 27.　Probabilistic Control of Boolean Networks with Multiple Dynamics: Towards Control of Gene Regulatory Networks，Koichi Kobayashi and Kunihiko Hiraishi，50th IEEE Conference on Decision and Control and European Control Conference，2011/12
• 28.　Mixed-Integer-Programming-Based Approach to Optimal Design of Networked Control Systems，Koichi Kobayashi and Kunihiko Hiraishi，SICE Journal of Control, Measurement, and System Integration，4，3，243-248，2011/05
• 29.　整数計画法を用いた確率ブーリアンネットワークの最適制御，小林孝一，平石邦彦，計測自動制御学会論文集，46，11，659-665，2010/11
• 30.　Optimal Control of Context-Sensitive Probabilistic Boolean Networks Using Integer Programming，Koichi Kobayashi and Kunihiko Hiraishi，49th IEEE Conference on Decision and Control，7507-7512，2010/12
• 31.　On Analysis of a Class of Timed Continuous Petri nets and Its Applications，Kunihiko Hiraishi，Proc. SICE Annual Conference 2010，2253-2259，2010/08
• 32.　Polynomial-Time Algorithm for Controllability Test of a Class of Boolean Biological Networks，Koichi Kobayashi, Jun-ichi Imura, and Kunihiko Hiraishi，EURASIP Journal on Bioinformatics and Systems Biology，Vol. 2010，Article ID 210685，12 pages，2010/08
• 33.　An Integer Programming Approach to Control Problems in Probabilistic Boolean Networks，Koichi Kobayashi and Kunihiko Hiraishi，Proc. of the 2010 American Control Conference，6710-6715
• 34.　Reachability Analysis of Probabilistic Boolean Networks using Model Checking，Koichi Kobayashi and Kunihiko Hiraishi，Proc. of the SICE Annual Conference 2010，829-832
• 35.　An Integer Programming Approach to Control Problems in Probabilistic Boolean Networks，Koichi Kobayashi and Kunihiko Hiraishi，2010 American Control Conference，6710-6715，2010/06-07
• 36.　MLD-Based Modeling and MPC of Discrete-Time Hybrid Systems with Stochastic Mode Transitions，Koichi Kobayashi and Kunihiko Hiraishi，Proc. of the 19th IEEE Conference on Control Applications (as a part of 2010 MSC)，1331-1336
• 37.　MLD-Based Modeling and MPC of Discrete-Time Hybrid Systems with Stochastic Mode Transitions，Koichi Kobayashi and Kunihiko Hiraishi，19th IEEE Conference on Control Applications (as a part of 2010 MSC)，1331-1336，2010/09
• 38.　Reachability Analysis of Probabilistic Boolean Networks using Model Checking，Koichi Kobayashi and Kunihiko Hiraishi，SICE Annual Conference 2010，829-832，2010/08
• 39.　Approximate Algorithm for Hybrid Model Predictive Control with Time-Varying Reference，Koichi Kobayashi, Kunihiko Hiraishi, and Nguyen Van Tang，IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences，E92-A，8，2046-2052，2009/08
• 40.　MLD-Based Modeling of Hybrid Systems with Parameter Uncertainty，Koichi Kobayashi and Kunihiko Hiraishi，IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences，E92-A，11，2745-2754，2009/11

[ ≪ 前へ ]

1  2  3  4

[ 次へ ≫ ]