[ English / Japanese ]

[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. X, pp. XXX-XXX (2012) (Accepted)

[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)

[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)

[26]  

Koichi Kobayashi and Kunihiko Hiraishi:
On Opacity and Diagnosability in Discrete Event Systems Modeled by Pushdown Automata,
8th IEEE International Conference on Automation Science and Engineering, Seoul (2012) (Accepted)

[25]  

Koichi Kobayashi and Kunihiko Hiraishi:
Probabilistic Control of Boolean Networks with Multiple Dynamics: Towards Control of Gene Regulatory Networks,
Proc. of 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 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)

[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)