Information

Thank you for visiting my webpage.
Since April 2015, I am working at Hokkaido University.
This webpage is no longer updated.
New Webpage

Please see here for detailed information in numerical examples of the following paper.
An integer programming approach to optimal control problems in context-sensitive probabilistic Boolean networks,
Automatica, Vol. 47, No. 6, pp. 1260-1264 (2011)

Position

Assistant Professor,
Systems Science Laboratory,
Theoretical Information Science Area,
Department of Information Science,
School of Information Science,
Japan Advanced Institute of Science and Technology (JAIST)

Contact

Address: 1-1 Asahidai, Nomi, Ishikawa, Japan (Zip-code 923-1292)
E-mail: k-kobaya_at_jaist.ac.jp (Please replace _at_ to @)

Biography

Koichi Kobayashi was born in Tokyo, Japan, in 1975. He received the B.E. and M.E. degrees in engineering from Hosei University, Japan in 1998 and 2000, respectively. Furthermore, he received the D.E. degree in engineering from Tokyo Institute of Technology, Japan in 2007. From 2000 to 2004, he worked at Nippon Steel Corporation. Since 2007, he has been with the School of Information Science, Japan Advanced Institute of Science and Technology (JAIST), where he is currently an Assistant Professor. His research interests include theory and applications of discrete event and hybrid systems. He received the following academic awards:
      Young Author Award, the Society of Instrument and Control Engineers (SICE) in 2007,
      Best Paper Award, the Institute of Systems, Control and Information Engineers (ISCIE) in 2007,
      Best Paper Award and Takeda Award, the Society of Instrument and Control Engineers (SICE) in 2007,
      Outstanding Reviewer for 2010-2011, Automatica, the International Federation of Automatic Control (IFAC),
      2014 Outstanding Reviewer, IEEE Transactions on Automatica Control.

Journal Articles

[33]  


Koichi Kobayashi and Kunihiko Hiraishi:
Optimal Control of Multi-Hop Control Networks Based on the MLD Framework,
IEEJ Transactions on Electrical and Electronic Engineering, Vol. 10, No. 6, pp. XXX-XXX (2015) (Accepted)

[32]  


Koichi Kobayashi and Kunihiko Hiraishi:
ILP/SMT-Based Method for Design of Boolean Networks Based on Singleton Attractors,
IEEE/ACM Transactions on Computational Biology and Bioinformatics (Accepted)

[31]  


Koichi Kobayashi, Takuro Nagami, and Kunihiko Hiraishi:
Optimal Control of Multi-Vehicle Systems with Temporal Logic Constraints,
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E98-A, No. 2, pp. 626-634 (2015)

[30]  


Miwa Yoshimoto, Koichi Kobayashi, and Kunihiko Hiraishi:
Diagnosis of Stochastic Discrete Event Systems Based on N-gram Models,
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E98-A, No. 2, pp. 618-625 (2015)

[29]  


Koichi Kobayashi, Jun-ichi Imura, and Hiromichi Matsushima:
Model predictive control of directed-graph constrained systems,
International Journal of Robust and Nonlinear Control, Vol. 25, No. 1, pp. 142-162 (2015)

[28]  


Koichi Kobayashi and Kunihiko Hiraishi:
An optimization-based approach to sampled-data control of networked control systems with multiple delays,
Applied Mathematics and Computation, Vol. 247, pp. 786-794 (2014)

[27]  


Koichi Kobayashi and Kunihiko Hiraishi:
A Probabilistic Approach to Control of Complex Systems and Its Application to Real-Time Pricing,
Mathematical Problems in Engineering, Vol. 2014, Article ID 906717, 8 pages (2014)   Link

[26]  


Koichi Kobayashi, Ichiro Maruta, Kazunori Sakurama, and Shun-ichi Azuma:
Modeling and Design of Real-Time Pricing Systems Based on Markov Decision Processes,
Applied Mathematics, Vol. 5, No. 10, pp. 1485-1495 (2014)   Link

[25]  


Koichi Kobayashi, Wai Wai Shein, and Kunihiko Hiraishi:
Large-Scale MPC with Continuous/Discrete-Valued Inputs: Compensation of Quantization Errors, Stabilization, and Its Application,
SICE Journal of Control, Measurement, and System Integration, Vol. 7, No. 3, pp. 152-158 (2014)

[24]  


Koichi Kobayashi, Yasuhito Fukui, and Kunihiko Hiraishi:
Discrete Abstraction for a Class of Stochastic Hybrid Systems Based on Bounded Bisimulation,
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E97-A, No. 2, pp. 459-467 (2014)

[23]  


Koichi Kobayashi and Kunihiko Hiraishi:
Verification and Optimal Control of Context-Sensitive Probabilistic Boolean Networks Using Model Checking and Polynomial Optimization,
The Scientific World Journal, Vol. 2014, Article ID 968341, 8 pages (2014)   Link

[22]  


Koichi Kobayashi and Kunihiko Hiraishi:
Modeling and Design of Networked Control Systems Using a Stochastic Switching Systems Approach,
IEEJ Transactions on Electrical and Electronic Engineering, Vol. 9, No. 1, pp. 56-61 (2014)

[21]  


Koichi Kobayashi and Kunihiko Hiraishi:
Self-Triggered Model Predictive Control Using Optimization with Prediction Horizon One,
Mathematical Problems in Engineering, Vol. 2013, Article ID 916040, 9 pages (2013)   Link

[20]  


Koichi Kobayashi and Kunihiko Hiraishi:
Optimal Control of Gene Regulatory Networks with Effectiveness of Multiple Drugs: A Boolean Network Approach,
BioMed Research International, Vol. 2013, Article ID 246761, 11 pages (2013)   Link

[19]  


Koichi Kobayashi and Kunihiko Hiraishi:
Verification of Opacity and Diagnosability for Pushdown Systems,
Journal of Applied Mathematics, Vol. 2013, Article ID 654059, 10 pages (2013)   Link

[18]  


Koichi Kobayashi and Kunihiko Hiraishi:
Self-Triggered Model Predictive Control with Delay Compensation for Networked Control Systems,
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E96-A, No. 5, pp. 861-868 (2013)

[17]  


Koichi Kobayashi:
Discussion on ``Theory and Computation of Discrete State Space Decompositions for Hybrid Systems'',
European Journal of Control, Vol. 19, No. 1, pp. 11-12 (2013)

[16]  


Kunihiko Hiraishi and Koichi Kobayashi:
An approximation algorithm for box abstraction of transition systems on real state spaces,
Formal Methods in System Design, Vol. 42, No. 2, pp. 175-192 (2013)

[15]  


Koichi Kobayashi and Kunihiko Hiraishi:
Computational Techniques for Model Predictive Control of Large-Scale Systems with Continuous-Valued and Discrete-Valued Inputs,
Journal of Applied Mathematics, Vol. 2013, Article ID 615060, 9 pages (2013)   Link

[14]  


Koichi Kobayashi and Kunihiko Hiraishi:
Optimal Control of Boolean Biological Networks Modeled by Petri Nets,
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E96-A, No. 2, pp. 532-539 (2013)

[13]  


Koichi Kobayashi and Kunihiko Hiraishi:
Symbolic approach to verification and control of deterministic/probabilistic Boolean networks,
IET Systems Biology, Vol. 6, No. 6, pp. 215-222 (2012)

[12]  


Koichi Kobayashi, Koichiro Matou, and Kunihiko Hiraishi:
Probabilistic-Constrained Optimal Control of a Class of Stochastic Hybrid Systems,
International Journal of Control, Automation, and Systems, Vol. 10, No. 5, pp. 897-904 (2012)

[11]  


Koichi Kobayashi and Jun-ichi Imura:
Deterministic finite automata representation for model predictive control of hybrid systems,
Journal of Process Control, Vol. 22, No. 9, pp. 1670-1680 (2012)

[10]  


Koichi Kobayashi and Kunihiko Hiraishi:
Optimal Control of Probabilistic Boolean Networks Using Polynomial Optimization,
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E95-A, No. 9, pp. 1512-1517 (2012)

[09]  


Koichi Kobayashi and Kunihiko Hiraishi:
Application of Interval Methods to Sampled-Data Control of Uncertain Piecewise Affine Systems,
SICE Journal of Control, Measurement, and System Integration, Vol. 5, No. 3, pp. 184-189 (2012)

[08]  


Koichi Kobayashi and Kunihiko Hiraishi:
Optimization-Based Synthesis of Self-Triggered Controllers for Networked Systems,
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E95-A, No. 4, pp. 691-696 (2012)

[07]  


Koichi Kobayashi, Jun-ichi Imura, and Kunihiko Hiraishi:
Stabilization of Finite Automata with Application to Hybrid Systems Control,
Discrete Event Dynamic Systems: Theory and Applications, Vol. 21, No. 4, pp. 519-545 (2011)

[06]  


Koichi Kobayashi and Kunihiko Hiraishi:
An integer programming approach to optimal control problems in context-sensitive probabilistic Boolean networks,
Automatica, Vol. 47, No. 6, pp. 1260-1264 (2011)   detailed information in numerical examples

[05]  


Koichi Kobayashi and Kunihiko Hiraishi:
Mixed-Integer-Programming-Based Approach to Optimal Design of Networked Control Systems,
SICE Journal of Control, Measurement, and System Integration, Vol. 4, No. 3, pp. 243-248 (2011)

[04]  


Koichi Kobayashi, Jun-ichi Imura, and Kunihiko Hiraishi:
Polynomial-Time Algorithm for Controllability Test of a Class of Boolean Biological Networks,
EURASIP Journal on Bioinformatics and Systems Biology, Vol. 2010, Article ID 210685, 12 pages (2010)   Link

[03]  


Koichi Kobayashi and Kunihiko Hiraishi:
MLD-Based Modeling of Hybrid Systems with Parameter Uncertainty,
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E92-A, No. 11, pp. 2745-2754 (2009)

[02]  


Koichi Kobayashi, Kunihiko Hiraishi, and Nguyen Van Tang:
Approximate Algorithm for Hybrid Model Predictive Control with Time-Varying Reference,
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E92-A, No. 8, pp. 2046-2052 (2009)

[01]  


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)

Book Chapters

[01]  



Koichi Kobayashi and Jun-ichi Imura:
Minimality of Finite Automata Representation in Hybrid Systems Control,
Hybrid Systems: Computation and Control (Proc. of the 10th International Conference on Hybrid Systems: Computation and Control, Pisa),
Lecture Notes in Computer Science 4416, pp. 343-356, Springer (2007)

Refereed Conference Proceedings

[49]  


Koichi Kobayashi and Kunihiko Hiraishi:
On Event-triggered and Self-triggered Control Using Online Optimization,
Proc. of the 2015 IEEE International Conference on Mechatronics, pp. 582-587, Nagoya (2015)

[48]  


Koichi Kobayashi and Kunihiko Hiraishi:
Algorithm for Optimal Real-time Pricing Based on Switched Markov Chain Models,
Proc. of the 6th IEEE PES Conference on Innovative Smart Grid Technologies, ISGT2015-000039, Washington, D.C. (2015)

[47]  


Koichi Kobayashi and Kunihiko Hiraishi:
Optimal Real-time Pricing for Energy Management Systems Based on Switched Interval Markov Chains,
Proc. of the 20th International Symposium on Artificial Life and Robotics, pp. 172-175, Beppu (2015)

[46]  


Koichi Kobayashi and Kunihiko Hiraishi:
A Probabilistic Approach to Design of Real-time Pricing Systems over Communication Networks,
Proc. of the 40th Annual Conference of the IEEE Industrial Electronics Society, pp. 4732-4737, Dallas (2014)

[45]  


Koichi Kobayashi and Kunihiko Hiraishi:
On Model Checking of Real-Time Pricing Systems Modeled by Probabilistic Discrete Models,
The SICE Annual Conference 2014 (Position paper), Sapporo (2014) (Accepted)

[44]  


Koichi Kobayashi and Kunihiko Hiraishi:
Structural Control of Probabilistic Boolean Networks and Its Application to Design of Real-Time Pricing Systems,
The 19th IFAC World Congress, Cape Town (2014) (Accepted)

[43]  


Koichi Kobayashi and Kunihiko Hiraishi:
Simultaneous Design of Prices and Incentives for Demand Response,
Proc. of the 29th International Technical Conference on Circuit/Systems Computers and Communications, pp. 853-856, Phuket (2014)

[42]  


Koichi Kobayashi and Kunihiko Hiraishi:
Design of Boolean Networks Based on Prescribed Singleton Attractors,
Proc. of the 13th European Control Conference, pp. 1504-1509, Strasbourg (2014)

[41]  


Kunihiko Hiraishi and Koichi Kobayashi:
Detection of Unusual Human Activities Based on Behavior Modeling,
Proc. of the 12th IFAC International Workshop on Discrete Event Systems, pp. 182-187, Cachan (2014)

[40]  


Koichi Kobayashi and Kunihiko Hiraishi:
Self-Triggered Optimal Control of Linear Systems Using Convex Quadratic Programming,
Proc. of the 13th International Workshop on Advanced Motion Control, pp. 741-745, Yokohama (2014)

[39]  



Kunihiko Hiraishi, Koichi Kobayashi, Sunseong Choe, and Naoshi Uchihira:
Behavior Modeling in Physical and Adaptive Intelligent Services,
Proc. of the 2014 IEEE International Inter-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support,
pp. 221-226, San Antonio (2014)

[38]  


Koichi Kobayashi and Kunihiko Hiraishi:
A Polynomial Optimization Approach to Optimal Control of Context-Sensitive Probabilistic Boolean networks,
Proc. of the 19th International Symposium on Artificial Life and Robotics, pp. 92-95, Beppu (2014)

[37]  


Koichi Kobayashi, Takuro Nagami, and Kunihiko Hiraishi:
Optimal Control of Multi-Vehicle Systems with LTL Specifications,
Proc. of the 52nd IEEE Conference on Decision and Control, pp. 7709-7714, Florence (2013)

[36]  


Koichi Kobayashi, Yasuhito Fukui, and Kunihiko Hiraishi:
Discrete Abstraction for a Class of Stochastic Hybrid Systems Based on Bounded Bisimulation,
Proc. of the 52nd IEEE Conference on Decision and Control, pp. 2641-2646, Florence (2013)

[35]  


Koichi Kobayashi and Kunihiko Hiraishi:
Modeling and Optimal Control of Multi-Hop Control Networks Based on the MLD Framework,
Proc. of the 39th Annual Conference of the IEEE Industrial Electronics Society, pp. 5654-5659, Vienna (2013)

[34]  


Koichi Kobayashi and Kunihiko Hiraishi:
Controller Design of Networked Control Systems with Multiple Delays Using Interval Methods,
Proc. of the 39th Annual Conference of the IEEE Industrial Electronics Society, pp. 5630-5635, Vienna (2013)

[33]  


Wai Wai Shein, Koichi Kobayashi, and Kunihiko Hiraishi:
Hierarchical Implementation of Large-Scale Control Systems and Its Application to Air-Conditioning Systems,
Proc. of the SICE Annual Conference 2013 (Regular Paper), pp. 601-606, Nagoya (2013)

[32]  


Koichi Kobayashi, Ichiro Maruta, Kazunori Sakurama, and Shun-ichi Azuma:
An MDP Approach to Modeling and Control of Real-Time Pricing Systems,
Proc. of the SICE Annual Conference 2013 (Regular Paper), pp. 595-600, Nagoya (2013)

[31]  


Kunihiko Hiraishi, Miwa Yoshimoto, and Koichi Kobayashi:
Diagnosis of Stochastic Discrete Event Systems Based on N-gram Models with Wildcard Characters,
Proc. of the 6th IFIP/IEEE International Workshop on Distributed Autonomous Network Management Systems, pp. 1384-1388, Ghent (2013)

[30]  


Koichi Kobayashi and Kunihiko Hiraishi:
Self-Triggered Optimal Control Based on Optimization with Prediction Horizon One,
Proc. of the 18th International Symposium on Artificial Life and Robotics, pp. 342-345, Daejeon (2013)

[29]  



Koichi Kobayashi and Kunihiko Hiraishi:
A Petri Net-Based Approach to Control of Boolean Networks,
Proc. of Workshop on Computational Complexity Analysis and Algorithm Design for Combinatorial Optimization Problems (as a part of ICNC'12),
pp. 399-403, Okinawa (2012)

[28]  


Koichi Kobayashi and Kunihiko Hiraishi:
Self-Triggered Model Predictive Control with Delay Compensation for Networked Control Systems,
Proc. of the 38th Annual Conference of the IEEE Industrial Electronics Society, pp. 3182-3187, Montreal (2012)

[27]  


Koichi Kobayashi and Kunihiko Hiraishi:
Design of Networked Control Systems Using a Stochastic Switching Systems Approach,
Proc. of the 38th Annual Conference of the IEEE Industrial Electronics Society, pp. 3152-3157, Montreal (2012)

[26]  


Koichi Kobayashi and Kunihiko Hiraishi:
On Opacity and Diagnosability in Discrete Event Systems Modeled by Pushdown Automata,
Proc. of the 8th IEEE International Conference on Automation Science and Engineering, pp. 658-663, Seoul (2012)

[25]  


Koichi Kobayashi and Kunihiko Hiraishi:
Probabilistic Control of Boolean Networks with Multiple Dynamics: Towards Control of Gene Regulatory Networks,
Proc. of the 50th IEEE Conference on Decision and Control and European Control Conference, pp. 4371-4376, Orlando (2011)

[24]  


Koichi Kobayashi, Koichiro Matou, and Kunihiko Hiraishi:
Optimal Control of a Class of Stochastic Hybrid Systems with Probabilistic Constraints,
Proc. of the 50th IEEE Conference on Decision and Control and European Control Conference, pp. 3307-3312, Orlando (2011)

[23]  


Koichi Kobayashi and Kunihiko Hiraishi:
A Symbolic Approach to Probabilistic Verification of Boolean Networks,
Proc. of the 37th Annual Conference of the IEEE Industrial Electronics Society, pp. 3635-3640, Melbourne (2011)

[22]  


Koichi Kobayashi and Kunihiko Hiraishi:
Optimal Sampled-Data Control of Piecewise Affine Systems with Parameter Uncertainty,
Proc. of the SICE Annual Conference 2011, pp. 605-607, Tokyo (2011)

[21]  


Koichi Kobayashi and Kunihiko Hiraishi:
Optimal Control of a Class of Networked Systems Based on MLD Framework,
Proc. of the 18th IFAC World Congress, pp. 66-71, Milano (2011)

[20]  


Koichi Kobayashi and Kunihiko Hiraishi:
Optimal Control of Asynchronous Boolean Networks Modeled by Petri Nets,
Proc. of the International Workshop on Biological Processes & Petri Nets, pp. 7-20, Newcastle upon Tyne (2011)

[19]  


Koichi Kobayashi and Kunihiko Hiraishi:
Optimal Control of Context-Sensitive Probabilistic Boolean Networks Using Integer Programming,
Proc. of the 49th IEEE Conference on Decision and Control, pp. 7507-7512, Atlanta (2010)

[18]  


Koichi Kobayashi and Kunihiko Hiraishi:
MLD-Based Modeling and MPC of Discrete-Time Hybrid Systems with Stochastic Mode Transitions,
Proc. of the 19th IEEE Conference on Control Applications (as a part of 2010 MSC), pp. 1331-1336, Yokohama (2010)

[17]  


Koichi Kobayashi and Kunihiko Hiraishi:
Reachability Analysis of Probabilistic Boolean Networks using Model Checking,
Proc. of the SICE Annual Conference 2010, pp. 829-832, Taipei (2010)

[16]  


Koichi Kobayashi and Jun-ichi Imura:
Free-Variable Analysis of Finite Automata Representations for Hybrid Systems Control,
Proc. of the 19th International Symposium on Mathematical Theory of Networks and Systems, pp. 483-488, Budapest (2010)

[15]  


Koichi Kobayashi and Kunihiko Hiraishi:
An Integer Programming Approach to Control Problems in Probabilistic Boolean Networks,
Proc. of the 2010 American Control Conference, pp. 6710-6715, Baltimore (2010)

[14]  


Koichi Kobayashi and Jun-ichi Imura:
Stabilization of Deterministic Finite Automata Based on Linear State Equation Representation,
Proc. of the European Control Conference 2009, pp. 4368-4373, Budapest (2009)

[13]  


Koichi Kobayashi, Jun-ichi Imura, and Kunihiko Hiraishi:
Stabilizing Model Predictive Control of Hybrid Systems with Discrete Dynamics,
Proc. of the ICROS-SICE International Joint Conference 2009, pp. 4831-4836, Fukuoka (2009)

[12]  


Koichi Kobayashi and Jun-ichi Imura:
Observability Analysis of Boolean Networks with Biological Applications,
Proc. of the ICROS-SICE International Joint Conference 2009, pp. 4393-4396, Fukuoka (2009)

[11]  


Kunihiko Hiraishi and Koichi Kobayashi:
A Faster Approximation Technique for Predicate Abstraction of Hybrid Systems,
Proc. of the ICROS-SICE International Joint Conference 2009, pp. 1717-1721, Fukuoka (2009)

[10]  


Koichi Kobayashi and Kunihiko Hiraishi:
Analysis and Control of Hybrid Systems with Parameter Uncertainty Based on Interval Methods,
Proc. of the 2009 American Control Conference, pp. 3632-3637, St. Louis (2009)

[09]  


Koichi Kobayashi, Jun-ichi Imura, and Kunihiko Hiraishi:
Polynomial-Time Controllability Analysis of Boolean Networks,
Proc. of the 2009 American Control Conference, pp. 1694-1699, St. Louis (2009)

[08]  


Koichi Kobayashi and Kunihiko Hiraishi:
Explicit Modeling of Mode Transition Constraints for Model Predictive Control,
Proc. of the SICE Annual Conference 2008, pp. 1569-1574, Chofu (2008)

[07]  


Koichi Kobayashi, Nguyen Van Tang, and Kunihiko Hiraishi:
On-line and Off-line Based Approximation Algorithm for Model Predictive Control of Hybrid Systems,
Proc. of the 23rd International Technical Conference on Circuits/Systems, Computers and Communications, pp. 913-916, Shimonoseki (2008)

[06]  


Koichi Kobayashi and Jun-ichi Imura:
Model Predictive Control of Directed-Graph type Hybrid Systems,
Proc. of the 46th IEEE Conference on Decision and Control, pp. 3196-3201, New Orleans (2007)

[05]  


Koichi Kobayashi and Jun-ichi Imura:
Time-Sequence Based Modeling of Finite Automata in Model Predictive Control of Hybrid Systems,
Proc. of the 2007 American Control Conference, pp. 4186-4191, New York City (2007)

[04]  


Koichi Kobayashi and Jun-ichi Imura:
Minimal Representation of Finite Automata for Hybrid Systems Control,
Proc. of the 45th IEEE Conference on Decision and Control, pp. 930-935, San Diego (2006)

[03]  


Koichi Kobayashi and Jun-ichi Imura:
Efficient Modeling of Piecewise Affine Systems in Model Predictive Control,
Proc. of the SICE-ICASE International Joint Conference 2006, pp. 5120-5123, Busan (2006)

[02]  


Koichi Kobayashi and Jun-ichi Imura:
Modeling of Discrete Dynamics for Computational Time Reduction of Model Predictive Control,
Proc. of the 17th International Symposium on Mathematical Theory of Networks and Systems, pp. 628-633, Kyoto (2006)

[01]  


Koichi Kobayashi and Jun-ichi Imura:
System Representation for Logical Dynamics via a Descriptor Form,
Proc. of the SICE Annual Conference 2005, pp. 2041-2044, Okayama (2005)

Other Talks

[02]  



Koichi Kobayashi:
Control of Deterministic and Probabilistic Boolean Networks,
Symposium on Developments in Control Theory towards Glocal Control: In Honor of Shinji Hara on the Occasion of His 60th Birthday
(Poster Session), Tokyo (2012)

[01]  


Koichi Kobayashi:
Computation Time Reduction Techniques for Model Predictive Control of Hybrid Systems,
14th International Conference on Applications of Computer Algebra, Hagenberg i. M. (2008) (Non-Reviewed)



Back to the Top
Back to the Hiraishi Lab. Web Page
Back to the School of Information Science Web Page
Back to the JAIST Web Page

CSS Template CSSデザインサンプル