Position

Associate Professor,
Dynamical Systems and Control Laboratory,
Research Group of System Creation,
Division of Systems Science and Informatics,
Graduate School of Information Science and Technology,
Hokkaido University

Contact

Address: Kita 14, Nishi 9, Kita-ku, Sapporo, Hokkaido, Japan (Zip-code 060-0814)
E-mail: k-kobaya_at_ssi.ist.hokudai.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. He received the D.E. degree in engineering from Tokyo Institute of Technology, Japan in 2007. From 2000 to 2004, he was a member of Nippon Steel Corporation. From 2007 to 2015, he was an Assistant Professor at the School of Information Science, Japan Advanced Institute of Science and Technology (JAIST), Japan. Since 2015, he has been an Associate Professor at the Graduate School of Information Science and Technology, Hokkaido University, Japan. His research interests include analysis and control of discrete event and hybrid systems. He is a member of IEEE, IEEJ, IEICE, ISCIE, and SICE. 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 Automatic Control,
      Pioneer Award of Control Devision, SICE in 2015.

Journal Articles

[45]  


Koichi Kobayashi and Kunihiko Hiraishi:
Design of Probabilistic Boolean Networks Based on Network Structure and Steady-State Probabilities,
IEEE Transactions on Neural Networks and Learning Systems, Vol. 28, No. 8, pp. 1966-1971 (2017)

[44]  


Mifuyu Kido, Koichi Kobayashi, and Yuh Yamashita:
MPC-Based Surveillance over Graphs by Multiple Agents,
SICE Journal of Control, Measurement, and System Integration, Vol. 10, No. 3, pp. 253-258 (2017)

[43]  


Shin Kanazawa, Koichi Kobayashi, and Yuh Yamashita:
Approximate MLD System Model of Switched Linear Systems for Model Predictive Control,
SICE Journal of Control, Measurement, and System Integration, Vol. 10, No. 3, pp. 136-140 (2017)

[42]  


Koichi Kobayashi and Kunihiko Hiraishi:
Optimization-Based Approaches to Control of Probabilistic Boolean Networks (Review Paper),
Algorithms, Vol. 10, No. 1, 31 (16 pages) (2017)   Link

[41]  


Kyohei Nakajima, Koichi Kobayashi, and Yuh Yamashita:
Linear Quadratic Regulator with Decentralized Event-Triggering,
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E100-A, No. 2, pp. 414-420 (2017)

[40]  


Dai Satoh, Koichi Kobayashi, and Yuh Yamashita:
Periodic Model Predictive Control of Multi-Hop Control Networks,
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E100-A, No. 2, pp. 406-413 (2017)

[39]  


Koichi Kobayashi and Kunihiko Hiraishi:
Verification of Real-Time Pricing Systems Based on Probabilistic Boolean Networks,
Applied Mathematics, Vol. 7, No. 15, pp. 1734-1747 (2016)   Link

[38]  


Koichi Kobayashi:
Attractor-Based Simultaneous Design of the Minimum Set of Control Nodes and Controllers in Boolean Networks,
Applied Mathematics, Vol. 7, No. 14, pp. 1510-1520 (2016)   Link

[37]  


Koichi Kobayashi:
Self-Triggered Model Predictive Control for Linear Systems Based on Transmission of Control Input Sequences,
Journal of Applied Mathematics, Vol. 2016, Article ID 8249062, 7 pages (2016)   Link

[36]  


Koichi Kobayashi and Kunihiko Hiraishi:
Event-triggered and Self-triggered Control for Networked Control Systems Using Online Optimization,
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E99-A, No. 2, pp. 468-474 (2016)

[35]  


Kunihiko Hiraishi and Koichi Kobayashi:
Diagnosis of Stochastic Discrete Event Systems Based On N-gram Models With Wildcard Characters,
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E99-A, No. 2, pp. 462-467 (2016)

[34]  


Koichi Kobayashi and Kunihiko Hiraishi:
Optimal Control of Probabilistic Logic Networks and Its Application to Real-time Pricing of Electricity,
Mathematical Problems in Engineering, Vol. 2015, Article ID 952310, 10 pages (2015)   Link

[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. 699-705 (2015)

[32]  


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)

[31]  


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)

[30]  


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)

[29]  


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, Vol. 11, No. 6, pp. 1253-1259 (2014)

[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

[75]  


Wataru Hashimoto, Yuh Yamashita, and Koichi Kobayashi:
Asymptotic Stabilization of Nonholonomic Four-Wheeled Vehicle with Hysteresis Mechanism,
Proc. of the 2017 International Symposium on Nonlinear Theory and Its Applications, pp. XXX-XXX, Cancun (2017) (Accepted)

[74]  


Koichi Kobayashi:
Control of Singleton Attractors in Boolean Networks Based on Model Reduction,
Proc. of the 2017 International Symposium on Nonlinear Theory and Its Applications, pp. XXX-XXX, Cancun (2017) (Accepted)

[73]  


Koichi Kobayashi, Kunihiko Hiraishi, Sunseong Choe, and Naoshi Uchihira:
Model-Based Approach to Analysis of Human Behavior with Applications to Nursing and Caregiving Services,
Proc. of the 2017 IEEE 6th Global Conference on Consumer Electronics, pp. XXX-XXX, Nagoya (2017) (Accepted)

[72]  


Shumpei Yoshikawa, Koichi Kobayashi, and Yuh Yamashita:
Quantized Event-Triggered Control of Discrete-Time Linear Systems with Switching Triggering Conditions,
Proc. of the SICE Annual Conference 2017 (Position paper), pp. XXX-XXX, Kanazawa (2016) (Accepted)

[71]  


Ryo Masuda, Koichi Kobayashi, and Yuh Yamashita:
Optimal Monitoring of Multiple Agents via Time Sequence-Based Modeling,
Proc. of the SICE Annual Conference 2017 (Position paper), pp. XXX-XXX, Kanazawa (2016) (Accepted)

[70]  


Dai Satoh, Koichi Kobayashi, and Yuh Yamashita:
Stochastic Model Predictive Control of Multi-Hop Control Networks with Packet Dropouts,
Proc. of the SICE Annual Conference 2017 (Position paper), pp. XXX-XXX, Kanazawa (2016) (Accepted)

[69]  


Kazuya Nomura, Yuh Yamashita, and Koichi Kobayashi:
A Unification Method of Locally Identified Linear Systems and Reconstruction of Nonlinear Dynamical Model,
Proc. of the 20th IFAC World Congress, pp. 14569-14574, Toulouse (2017)

[68]  


Koichi Kobayashi, Kunihiko Hiraishi, Sunseong Choe, and Naoshi Uchihira:
Behavioral Analysis in Nursing and Caregiving Services Using Switched Linear Regression Models,
Proc. of the 20th IFAC World Congress, pp. 4668-4673, Toulouse (2017)

[67]  


Ryosuke Adachi, Yuh Yamashita, and Koichi Kobayashi:
Data Aggregation based Estimation for Sensor Network with Communication Delay,
Proc. of the 20th IFAC World Congress, pp. 2543-2548, Toulouse (2017)

[66]  


Yuh Yamashita, Ryosuke Matsukizono, and Koichi Kobayashi:
Asymptotic Stabilization of Nonlinear Systems with Convex-Polytope Input Constraints and its Inverse Optimality,
Proc. of the 20th IFAC World Congress, pp. 1433-1438, Toulouse (2017)

[65]  


Kyohei Nakajima, Koichi Kobayashi, and Yuh Yamashita:
BMI Approach to Design of Networked Control Systems with Decentralized Event-Triggering,
Proc. of the 18th IEEE International Workshop on Signal Processing Advances in Wireless Communications, pp. 765-769, Sapporo (2017)

[64]  


Kenta Ohashi, Koichi Kobayashi, and Yuh Yamashita:
Switched Probabilistic Model of Consumers for Demand Response,
Proc. of the 32nd International Technical Conference on Circuits/Systems, Computers and Communications, pp. 143-146, Busan (2017)

[63]  


Kyohei Nakajima, Koichi Kobayashi, and Yuh Yamashita:
Linear Quadratic Regulator with Decentralized Event-Triggering,
Proc. of the 42nd Annual Conference of IEEE Industrial Electronics Society, pp. 5374-5379, Florence (2016)

[62]  


Daiki Suzuki, Yuh Yamashita, and Koichi Kobayashi:
Backstepping for Set-valued Upper Control Laws and Its Application to Control Allocation Problem,
Proc. of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, pp. 4245-4250, Budapest (2016)

[61]  


Dai Satoh, Koichi Kobayashi, and Yuh Yamashita:
Periodic Model Predictive Control of Multi-Hop Control Networks,
Proc. of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, pp. 1279-1284, Budapest (2016)

[60]  


Kunihiko Hiraishi, Naoshi Uchihira, Sunseong Choe, and Koichi Kobayashi:
Information Supervisory Control of Human Behavior - Concept and Experiments Toward Realization -,
Proc. of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, pp. 790-795, Budapest (2016)

[59]  


Koichi Kobayashi:
Optimal Real-Time Pricing of Electricity Based on Switched Markov Chain Models and Welfare Maximization,
Proc. of the 4th IEEE International Conference on Cyber-Physical Systems, Networks, and Applications, pp. 35-39, Nagoya (2016)

[58]  


Shin Kanazawa, Koichi Kobayashi, and Yuh Yamashita:
Approximate MLD System Model of Switched Linear Systems for Model Predictive Control,
Proc. of the SICE Annual Conference 2016 (Position paper), pp. 1745-1748, Tsukuba (2016)

[57]  


Dai Satoh, Koichi Kobayashi, and Yuh Yamashita:
Model Predictive Control of Multiple Plants over Communication Networks,
Proc. of the SICE Annual Conference 2016 (Position paper), pp. 1737-1740, Tsukuba (2016)

[56]  


Wataru Hashimoto, Yuh Yamashita, Ryo Nonaka, and Koichi Kobayashi:
Asymptotic Stabilization of Nonholonomic Four-Wheeled Vehicle with Steering Limitation based on Lyapunov Function Approach,
Proc. of the 10th IFAC Symposium on Nonlinear Control Systems, pp. 235-240, Monterey (2016)

[55]  


Mifuyu Kido, Koichi Kobayashi, and Yuh Yamashita:
An MILP Approach to Optimal Surveillance over Graphs,
Proc. of the 31st International Technical Conference on Circuits/Systems, Computers and Communications, pp. 133-136, Okinawa (2016)

[54]  



Kaoru Sato, Kunihiko Hiraishi, and Koichi Kobayashi:
Spatio-Temporal Situation Recognition for Groups in Caregiving Services,
Proc. of the 2016 IEEE International Inter-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support,
pp. 78-82, San Diego (2016)

[53]  


Koichi Kobayashi:
Notions of Opacity in Hybrid Systems for Cybersecurity,
Proc. of the 21st International Symposium on Artificial Life and Robotics, pp. 83-86, Beppu (2016)

[52]  


Koichi Kobayashi and Kunihiko Hiraishi:
Optimal Real-time Pricing of Electricity with Consideration for Decrease in Price Effect,
Proc. of the 11th IEEE International Conference on Automation Science and Engineering, pp. 539-544, Gothenburg (2015)

[51]  


Kenji Uehara, Kunihiko Hiraishi, and Koichi Kobayashi:
Mesoscopic Modeling of Airport Surface by Object Petri Nets,
Proc. of the 11th IEEE International Conference on Automation Science and Engineering, pp. 298-303, Gothenburg (2015)

[50]  


Kaoru Sato, Koichi Kobayashi, and Kunihiko Hiraishi:
Situation Recognition from Behavior Logs in Caregiving Services,
Proc. of the 30th International Technical Conference on Circuit/Systems Computers and Communications, pp. 721-724, Seoul (2015)

[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

[04]  


Koichi Kobayashi:
Design of Deterministic/Probabilistic Boolean Networks Based on Partial Knowledge,
Theoretical Biology Workshop/iTHES Workshop "Controlling Complex Network Systems in Biology", Wako (2016)

[03]  


Koichi Kobayashi:
Optimization-based Approach to Control of Probabilistic Boolean Networks,
The Joint Annual Meeting of the Japanese Society for Mathematical Biology and the Society for Mathematical Biology, Osaka (2014)

[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 School of Information Science and Technology Web Page
Back to the Hokkaido University Web Page

CSS Template CSSデザインサンプル