小林 孝一コバヤシ コウイチresearchmap個人ページ

更新日 : 2017/09/19

基本情報

プロフィール

所属部署名
情報科学研究科 システム情報科学専攻 システム創成学講座
職名准教授 
学位
博士(工学)(東京工業大学)
メールアドレス
ホームページURLhttp://stlab.ssi.ist.hokudai.ac.jp/k-kobaya/
科研費研究者番号

研究キーワード

システム制御理論, サイバーフィジカルシステム, ハイブリッドシステム, 離散事象システム, システム生物学

研究分野

電気電子工学 / 制御・システム工学
研究分野を全て表示する
研究分野閉じる
電気電子工学 / 制御・システム工学

職歴

2015年04月
-
現在
北海道大学(准教授)
2007年04月
-
2015年03月
北陸先端科学技術大学院大学(助教)
2000年04月
-
2004年03月
新日本製鐵株式会社
職歴を全て表示する
職歴閉じる
2015年04月
-
現在
北海道大学(准教授)
2007年04月
-
2015年03月
北陸先端科学技術大学院大学(助教)
2000年04月
-
2004年03月
新日本製鐵株式会社

学歴

2004年04月
-
2007年03月
東京工業大学 大学院情報理工学研究科 情報環境学専攻
1998年04月
-
2000年03月
法政大学 大学院工学研究科 システム工学専攻
1994年04月
-
1998年03月
法政大学 工学部 システム制御工学科
学歴を全て表示する
学歴閉じる
2004年04月
-
2007年03月
東京工業大学 大学院情報理工学研究科 情報環境学専攻
1998年04月
-
2000年03月
法政大学 大学院工学研究科 システム工学専攻
1994年04月
-
1998年03月
法政大学 工学部 システム制御工学科

所属学協会

電子情報通信学会
電気学会
IEEE
計測自動制御学会
システム制御情報学会
所属学協会を全て表示する
所属学協会閉じる
電子情報通信学会
電気学会
IEEE
計測自動制御学会
システム制御情報学会

研究活動

論文

遺伝子ネットワークのシステム数理 ―ブーリアンネットワークによるアプローチ
小林孝一,平石邦彦
電子情報通信学会 基礎・境界ソサイエティ Fundamentals Review 10(4) 257-265 2017年
Linear Quadratic Regulator with Decentralized Event-Triggering
Kyohei Nakajima, Koichi Kobayashi, and Yuh Yamashita
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E100-A(2) 414-420 2017年
Periodic Model Predictive Control of Multi-Hop Control Networks
Dai Satoh, Koichi Kobayashi, and Yuh Yamashita
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E100-A(2) 406-413 2017年
Design of Probabilistic Boolean Networks Based on Network Structure and Steady-State Probabilities
Koichi Kobayashi and Kunihiko Hiraishi
IEEE Transactions on Neural Networks and Learning Systems 2017年
Linear Quadratic Regulator with Decentralized Event-Triggering
Kyohei Nakajima, Koichi Kobayashi, and Yuh Yamashita
Proc. of the 42nd Annual Conference of IEEE Industrial Electronics Society  5374-5379 2016年
Backstepping for Set-valued Upper Control Laws and Its Application to Control Allocation Problem
Daiki Suzuki, Yuh Yamashita, and Koichi Kobayashi
Proc. of the 2016 IEEE International Conference on Systems, Man, and Cybernetics  4245-4250 2016年
Periodic Model Predictive Control of Multi-Hop Control Networks
Dai Satoh, Koichi Kobayashi, and Yuh Yamashita
Proc. of the 2016 IEEE International Conference on Systems, Man, and Cybernetics  1279-1284 2016年
Information Supervisory Control of Human Behavior - Concept and Experiments Toward Realization -
Kunihiko Hiraishi, Naoshi Uchihira, Sunseong Choe, and Koichi Kobayashi
Proc. of the 2016 IEEE International Conference on Systems, Man, and Cybernetics  790-795 2016年
Optimal Real-Time Pricing of Electricity Based on Switched Markov Chain Models and Welfare Maximization
Koichi Kobayashi
Proc. of the 4th IEEE International Conference on Cyber-Physical Systems, Networks, and Applications  35-39 2016年
Approximate MLD System Model of Switched Linear Systems for Model Predictive Control
Shin Kanazawa, Koichi Kobayashi, and Yuh Yamashita
Proc. of the SICE Annual Conference 2016 (Position paper)  1745-1748 2016年
論文を全て表示する
論文閉じる
遺伝子ネットワークのシステム数理 ―ブーリアンネットワークによるアプローチ
小林孝一,平石邦彦
電子情報通信学会 基礎・境界ソサイエティ Fundamentals Review 10(4) 257-265 2017年
Linear Quadratic Regulator with Decentralized Event-Triggering
Kyohei Nakajima, Koichi Kobayashi, and Yuh Yamashita
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E100-A(2) 414-420 2017年
Periodic Model Predictive Control of Multi-Hop Control Networks
Dai Satoh, Koichi Kobayashi, and Yuh Yamashita
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E100-A(2) 406-413 2017年
Design of Probabilistic Boolean Networks Based on Network Structure and Steady-State Probabilities
Koichi Kobayashi and Kunihiko Hiraishi
IEEE Transactions on Neural Networks and Learning Systems 2017年
Linear Quadratic Regulator with Decentralized Event-Triggering
Kyohei Nakajima, Koichi Kobayashi, and Yuh Yamashita
Proc. of the 42nd Annual Conference of IEEE Industrial Electronics Society  5374-5379 2016年
Backstepping for Set-valued Upper Control Laws and Its Application to Control Allocation Problem
Daiki Suzuki, Yuh Yamashita, and Koichi Kobayashi
Proc. of the 2016 IEEE International Conference on Systems, Man, and Cybernetics  4245-4250 2016年
Periodic Model Predictive Control of Multi-Hop Control Networks
Dai Satoh, Koichi Kobayashi, and Yuh Yamashita
Proc. of the 2016 IEEE International Conference on Systems, Man, and Cybernetics  1279-1284 2016年
Information Supervisory Control of Human Behavior - Concept and Experiments Toward Realization -
Kunihiko Hiraishi, Naoshi Uchihira, Sunseong Choe, and Koichi Kobayashi
Proc. of the 2016 IEEE International Conference on Systems, Man, and Cybernetics  790-795 2016年
Optimal Real-Time Pricing of Electricity Based on Switched Markov Chain Models and Welfare Maximization
Koichi Kobayashi
Proc. of the 4th IEEE International Conference on Cyber-Physical Systems, Networks, and Applications  35-39 2016年
Approximate MLD System Model of Switched Linear Systems for Model Predictive Control
Shin Kanazawa, Koichi Kobayashi, and Yuh Yamashita
Proc. of the SICE Annual Conference 2016 (Position paper)  1745-1748 2016年
Model Predictive Control of Multiple Plants over Communication Networks
Dai Satoh, Koichi Kobayashi, and Yuh Yamashita
Proc. of the SICE Annual Conference 2016 (Position paper)  1737-1740 2016年
Asymptotic Stabilization of Nonholonomic Four-Wheeled Vehicle with Steering Limitation based on Lyapunov Function Approach
Wataru Hashimoto, Yuh Yamashita, Ryo Nonaka, and Koichi Kobayashi
Proc. of the 10th IFAC Symposium on Nonlinear Control Systems  235-240 2016年
An MILP Approach to Optimal Surveillance over Graphs
Mifuyu Kido, Koichi Kobayashi, and Yuh Yamashita
Proc. of the 31st International Technical Conference on Circuits/Systems, Computers and Communications  133-136 2016年
Spatio-Temporal Situation Recognition for Groups in Caregiving Services
Kaoru Sato, Kunihiko Hiraishi, and Koichi Kobayashi
Proc. of the 2016 IEEE International Inter-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support  78-82 2016年
グラフ上の論理的制約をもつマルチビークルシステムの最適制御
小林孝一,平石邦彦
計測と制御 55(11) 966-971 2016年
Verification of Real-Time Pricing Systems Based on Probabilistic Boolean Networks
Koichi Kobayashi and Kunihiko Hiraishi
Applied Mathematics 7(15) 1734-1747 2016年
Attractor-Based Simultaneous Design of the Minimum Set of Control Nodes and Controllers in Boolean Networks
Koichi Kobayashi
Applied Mathematics 7(14) 1510-1520 2016年
Self-Triggered Model Predictive Control for Linear Systems Based on Transmission of Control Input Sequences
Koichi Kobayashi
Journal of Applied Mathematics 2016, Article ID 8249062 2016年
Diagnosis of Stochastic Discrete Event Systems Based On N-gram Models With Wildcard Characters
Kunihiko Hiraishi and Koichi Kobayashi
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E99-A(2) 462-467 2016年
Event-triggered and Self-triggered Control for Networked Control Systems Using Online Optimization
Koichi Kobayashi and Kunihiko Hiraishi
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E99-A(2) 468-474 2016年
Notions of Opacity in Hybrid Systems for Cybersecurity
Koichi Kobayashi
Proc. of the 21st International Symposium on Artificial Life and Robotics  83-86 2016年
Situation Recognition from Behavior Logs in Caregiving Services
Kaoru Sato, Koichi Kobayashi, and Kunihiko Hiraishi
Proc. of the 30th International Technical Conference on Circuit/Systems Computers and Communications  721-724 2015年
On Event-triggered and Self-triggered Control Using Online Optimization
Koichi Kobayashi and Kunihiko Hiraishi
Proc. of the 2015 IEEE International Conference on Mechatronics  582-587 2015年
Algorithm for Optimal Real-time Pricing Based on Switched Markov Chain Models
Koichi Kobayashi and Kunihiko Hiraishi
Proc. of the 6th IEEE PES Conference on Innovative Smart Grid Technologies 2015年
Optimal Real-time Pricing for Energy Management Systems Based on Switched Interval Markov Chains
Koichi Kobayashi and Kunihiko Hiraishi
Proc. of the 20th International Symposium on Artificial Life and Robotics  172-175 2015年
Optimal Control of Multi-Hop Control Networks Based on the MLD Framework
Koichi Kobayashi and Kunihiko Hiraishi
IEEJ Transactions on Electrical and Electronic Engineering 10(6) 2015年
Optimal Control of Multi-Vehicle Systems with Temporal Logic Constraints
Koichi Kobayashi, Takuro Nagami, and Kunihiko Hiraishi
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E98-A(2) 626-634 2015年
Diagnosis of Stochastic Discrete Event Systems Based on N-gram Models
Miwa Yoshimoto, Koichi Kobayashi, and Kunihiko Hiraishi
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E98-A(2) 618-625 2015年
Model predictive control of directed-graph constrained systems
Koichi Kobayashi, Jun-ichi Imura, and Hiromichi Matsushima
International Journal of Robust and Nonlinear Control 25(1) 142-162 2015年
Optimal Control of Probabilistic Logic Networks and Its Application to Real-time Pricing of Electricity
Koichi Kobayashi and Kunihiko Hiraishi
Mathematical Problems in Engineering 2015, Article ID 952310 2015年
アトラクターに着目したブーリアンネットワークの設計
小林孝一,平石邦彦
システム/制御/情報 59(7) 250-255 2015年
Mesoscopic Modeling of Airport Surface by Object Petri Nets
Kenji Uehara, Kunihiko Hiraishi, and Koichi Kobayashi
Proc. of the 11th IEEE International Conference on Automation Science and Engineering  298-303 2015年
Optimal Real-time Pricing of Electricity with Consideration for Decrease in Price Effect
Koichi Kobayashi and Kunihiko Hiraishi
Proc. of the 11th IEEE International Conference on Automation Science and Engineering  539-544 2015年
ILP/SMT-Based Method for Design of Boolean Networks Based on Singleton Attractors
Koichi Kobayashi and Kunihiko Hiraishi
IEEE/ACM Transactions on Computational Biology and Bioinformatics 11(6) 1253-1259 2014年
A Probabilistic Approach to Design of Real-time Pricing Systems over Communication Networks
Koichi Kobayashi and Kunihiko Hiraishi
Proc. of the 40th Annual Conference of the IEEE Industrial Electronics Society  4732-4737 2014年
On Model Checking of Real-Time Pricing Systems Modeled by Probabilistic Discrete Models
Koichi Kobayashi and Kunihiko Hiraishi
Proc. of the SICE Annual Conference 2014 (Position paper)  1278-1281 2014年
Structural Control of Probabilistic Boolean Networks and Its Application to Design of Real-Time Pricing Systems
Koichi Kobayashi and Kunihiko Hiraishi
Proc. of the 19th IFAC World Congress  2442-2447 2014年
Simultaneous Design of Prices and Incentives for Demand Response
Koichi Kobayashi and Kunihiko Hiraishi
Proc. of the 29th International Technical Conference on Circuit/Systems Computers and Communications  853-856 2014年
Design of Boolean Networks Based on Prescribed Singleton Attractors
Koichi Kobayashi and Kunihiko Hiraishi
Proc. of the 13th European Control Conference  1504-1509 2014年
Detection of Unusual Human Activities Based on Behavior Modeling
Kunihiko Hiraishi and Koichi Kobayashi
Proc. of the 12th IFAC International Workshop on Discrete Event Systems  182-187 2014年
Self-Triggered Optimal Control of Linear Systems Using Convex Quadratic Programming
Koichi Kobayashi and Kunihiko Hiraishi
Proc. of the 13th International Workshop on Advanced Motion Control  741-745 2014年
Behavior Modeling in Physical and Adaptive Intelligent Services
Kunihiko Hiraishi, Koichi Kobayashi, Sunseong Choe, and Naoshi Uchihira
Proc. of the 2014 IEEE International Inter-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support  221-226 2014年
A Polynomial Optimization Approach to Optimal Control of Context-Sensitive Probabilistic Boolean networks
Koichi Kobayashi and Kunihiko Hiraishi
Proc. of the 19th International Symposium on Artificial Life and Robotics  92-95 2014年
An optimization-based approach to sampled-data control of networked control systems with multiple delays
Koichi Kobayashi and Kunihiko Hiraishi
Applied Mathematics and Computation 247 786-794 2014年
A Probabilistic Approach to Control of Complex Systems and Its Application to Real-Time Pricing
Koichi Kobayashi and Kunihiko Hiraishi
Mathematical Problems in Engineering 2014, Article ID 906717 2014年
Modeling and Design of Real-Time Pricing Systems Based on Markov Decision Processes
Koichi Kobayashi, Ichiro Maruta, Kazunori Sakurama, and Shun-ichi Azuma
Applied Mathematics 5(10) 1485-1495 2014年
Large-Scale MPC with Continuous/Discrete-Valued Inputs: Compensation of Quantization Errors, Stabilization, and Its Application
Koichi Kobayashi, Wai Wai Shein, and Kunihiko Hiraishi
SICE Journal of Control, Measurement, and System Integration 7(3) 152-158 2014年
Discrete Abstraction for a Class of Stochastic Hybrid Systems Based on Bounded Bisimulation
Koichi Kobayashi, Yasuhito Fukui, and Kunihiko Hiraishi
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E97-A(2) 459-467 2014年
Verification and Optimal Control of Context-Sensitive Probabilistic Boolean Networks Using Model Checking and Polynomial Optimization
Koichi Kobayashi and Kunihiko Hiraishi
The Scientific World Journal 2014, Article ID 968341 2014年
Modeling and Design of Networked Control Systems Using a Stochastic Switching Systems Approach
Koichi Kobayashi and Kunihiko Hiraishi
IEEJ Transactions on Electrical and Electronic Engineering 9(1) 56-61 2014年
区間演算を用いた不確かさを含むハイブリッドシステムのモデリングと制御
小林孝一,平石邦彦
計測と制御 52(12) 1096-1101 2013年
Optimal Control of Multi-Vehicle Systems with LTL Specifications
Koichi Kobayashi, Takuro Nagami, and Kunihiko Hiraishi
Proc. of the 52nd IEEE Conference on Decision and Control  7709-7714 2013年
Discrete Abstraction for a Class of Stochastic Hybrid Systems Based on Bounded Bisimulation
Koichi Kobayashi, Yasuhito Fukui, and Kunihiko Hiraishi
Proc. of the 52nd IEEE Conference on Decision and Control  2641-2646 2013年
Modeling and Optimal Control of Multi-Hop Control Networks Based on the MLD Framework
Koichi Kobayashi and Kunihiko Hiraishi
Proc. of the 39th Annual Conference of the IEEE Industrial Electronics Society  5654-5659 2013年
Controller Design of Networked Control Systems with Multiple Delays Using Interval Methods
Koichi Kobayashi and Kunihiko Hiraishi
Proc. of the 39th Annual Conference of the IEEE Industrial Electronics Society  5630-5635 2013年
Hierarchical Implementation of Large-Scale Control Systems and Its Application to Air-Conditioning Systems
Wai Wai Shein, Koichi Kobayashi, and Kunihiko Hiraishi
Proc. of the SICE Annual Conference 2013 (Regular Paper)  601-606 2013年
An MDP Approach to Modeling and Control of Real-Time Pricing Systems
Koichi Kobayashi, Ichiro Maruta, Kazunori Sakurama, and Shun-ichi Azuma
Proc. of the SICE Annual Conference 2013 (Regular Paper)  595-600 2013年
Diagnosis of Stochastic Discrete Event Systems Based on N-gram Models with Wildcard Characters
Kunihiko Hiraishi, Miwa Yoshimoto, and Koichi Kobayashi
Proc. of the 6th IFIP/IEEE International Workshop on Distributed Autonomous Network Management Systems  1384-1388 2013年
Self-Triggered Optimal Control Based on Optimization with Prediction Horizon One
Koichi Kobayashi and Kunihiko Hiraishi
Proc. of the 18th International Symposium on Artificial Life and Robotics  342-345 2013年
Self-Triggered Model Predictive Control Using Optimization with Prediction Horizon One
Koichi Kobayashi and Kunihiko Hiraishi
Mathematical Problems in Engineering 2013, Article ID 916040 2013年
Optimal Control of Gene Regulatory Networks with Effectiveness of Multiple Drugs: A Boolean Network Approach
Koichi Kobayashi and Kunihiko Hiraishi
BioMed Research International 2013, Article ID 246761 2013年
Verification of Opacity and Diagnosability for Pushdown Systems
Koichi Kobayashi and Kunihiko Hiraishi
Journal of Applied Mathematics 2013, Article ID 654059 2013年
Self-Triggered Model Predictive Control with Delay Compensation for Networked Control Systems
Koichi Kobayashi and Kunihiko Hiraishi
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E96-A(5) 861-868 2013年
Discussion on ``Theory and computation of discrete state space decompositions for hybrid systems''
Koichi Kobayashi
European Journal of Control 19(1) 11-12 2013年
An approximation algorithm for box abstraction of transition systems on real state spaces
Kunihiko Hiraishi and Koichi Kobayashi
Formal Methods in System Design 42(2) 175-192 2013年
Computational Techniques for Model Predictive Control of Large-Scale Systems with Continuous-Valued and Discrete-Valued Inputs
Koichi Kobayashi and Kunihiko Hiraishi
Journal of Applied Mathematics 2013, Article ID 615060 2013年
Optimal Control of Boolean Biological Networks Modeled by Petri Nets
Koichi Kobayashi and Kunihiko Hiraishi
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E96-A(2) 532-539 2013年
A Petri Net-Based Approach to Control of Boolean Networks
Koichi Kobayashi and Kunihiko Hiraishi
Proc. of Workshop on Computational Complexity Analysis and Algorithm Design for Combinatorial Optimization Problems (as a part of ICNC'12)  399-403 2012年
Self-Triggered Model Predictive Control with Delay Compensation for Networked Control Systems
Koichi Kobayashi and Kunihiko Hiraishi
Proc. of the 38th Annual Conference of the IEEE Industrial Electronics Society  3182-3187 2012年
Design of Networked Control Systems Using a Stochastic Switching Systems Approach
Koichi Kobayashi and Kunihiko Hiraishi
Proc. of the 38th Annual Conference of the IEEE Industrial Electronics Society  3152-3157 2012年
On Opacity and Diagnosability in Discrete Event Systems Modeled by Pushdown Automata
Koichi Kobayashi and Kunihiko Hiraishi
Proc. of the 8th IEEE International Conference on Automation Science and Engineering  658-663 2012年
Symbolic approach to verification and control of deterministic/probabilistic Boolean networks
Koichi Kobayashi and Kunihiko Hiraishi
IET Systems Biology 6(6) 215-222 2012年
Probabilistic-Constrained Optimal Control of a Class of Stochastic Hybrid Systems
Koichi Kobayashi, Koichiro Matou, and Kunihiko Hiraishi
International Journal of Control, Automation, and Systems 10(5) 897-904 2012年
Deterministic finite automata representation for model predictive control of hybrid systems
Koichi Kobayashi and Jun-ichi Imura
Journal of Process Control 22(9) 1670-1680 2012年
Optimal Control of Probabilistic Boolean Networks Using Polynomial Optimization
Koichi Kobayashi and Kunihiko Hiraishi
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E95-A(9) 1512-1517 2012年
Application of Interval Methods to Sampled-Data Control of Uncertain Piecewise Affine Systems
Koichi Kobayashi and Kunihiko Hiraishi
SICE Journal of Control, Measurement, and System Integration 5(3) 184-189 2012年
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) 691-696 2012年
計算ツールを用いた確率ブーリアンネットワークの解析と制御
小林孝一,平石邦彦
計測と制御 50(11) 969-974 2011年
ハイブリッドシステムにおける離散ダイナミクスのモデリング
小林孝一
システム/制御/情報 55(3) 75-81 2011年
Probabilistic Control of Boolean Networks with Multiple Dynamics: Towards Control of Gene Regulatory Networks
Koichi Kobayashi and Kunihiko Hiraishi
Proc. of the 50th IEEE Conference on Decision and Control and European Control Conference  4371-4376 2011年
Optimal Control of a Class of Stochastic Hybrid Systems with Probabilistic Constraints
Koichi Kobayashi, Koichiro Matou, and Kunihiko Hiraishi
Proc. of the 50th IEEE Conference on Decision and Control and European Control Conference  3307-3312 2011年
A Symbolic Approach to Probabilistic Verification of Boolean Networks
Koichi Kobayashi and Kunihiko Hiraishi
Proc. of the 37th Annual Conference of the IEEE Industrial Electronics Society  3635-3640 2011年
Optimal Sampled-Data Control of Piecewise Affine Systems with Parameter Uncertainty
Koichi Kobayashi and Kunihiko Hiraishi
Proc. of the SICE Annual Conference 2011  605-607 2011年
Optimal Control of a Class of Networked Systems Based on MLD Framework
Koichi Kobayashi and Kunihiko Hiraishi
Proc. of the 18th IFAC World Congress  66-71 2011年
Optimal Control of Asynchronous Boolean Networks Modeled by Petri Nets
Koichi Kobayashi and Kunihiko Hiraishi
Proc. of the International Workshop on Biological Processes & Petri Nets  7-20 2011年
遷移関係に基づくハイブリッドシステムの近似双模倣
崔舜星,平石邦彦,小林孝一
計測自動制御学会論文集 47(12) 614-620 2011年
外部刺激を考慮した遺伝子ネットワークの最適制御
小林孝一,平石邦彦
計測自動制御学会論文集 47(11) 520-526 2011年
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年
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年
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年
Optimal Control of Context-Sensitive Probabilistic Boolean Networks Using Integer Programming
Koichi Kobayashi and Kunihiko Hiraishi
Proc. of the 49th IEEE Conference on Decision and Control  7507-7512 2010年
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 2010年
Reachability Analysis of Probabilistic Boolean Networks using Model Checking
Koichi Kobayashi and Kunihiko Hiraishi
Proc. of the SICE Annual Conference 2010  829-832 2010年
Free-Variable Analysis of Finite Automata Representations for Hybrid Systems Control
Koichi Kobayashi and Jun-ichi Imura
Proc. of the 19th International Symposium on Mathematical Theory of Networks and Systems  483-488 2010年
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 2010年
整数計画法を用いた確率ブーリアンネットワークの最適制御
小林孝一,平石邦彦
計測自動制御学会論文集 46(11) 659-665 2010年
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 2010, Article ID 210685 2010年
Stabilization of Deterministic Finite Automata Based on Linear State Equation Representation
Koichi Kobayashi and Jun-ichi Imura
Proc. of the European Control Conference 2009  4368-4373 2009年
Stabilizing Model Predictive Control of Hybrid Systems with Discrete Dynamics
Koichi Kobayashi, Jun-ichi Imura, and Kunihiko Hiraishi
Proc. of the ICROS-SICE International Joint Conference 2009  4831-4836 2009年
Observability Analysis of Boolean Networks with Biological Applications
Koichi Kobayashi and Jun-ichi Imura
Proc. of the ICROS-SICE International Joint Conference 2009  4393-4396 2009年
A Faster Approximation Technique for Predicate Abstraction of Hybrid Systems
Kunihiko Hiraishi and Koichi Kobayashi
Proc. of the ICROS-SICE International Joint Conference 2009  1717-1721 2009年
Analysis and Control of Hybrid Systems with Parameter Uncertainty Based on Interval Methods
Koichi Kobayashi and Kunihiko Hiraishi
Proc. of the 2009 American Control Conference  3632-3637 2009年
Polynomial-Time Controllability Analysis of Boolean Networks
Koichi Kobayashi, Jun-ichi Imura, and Kunihiko Hiraishi
Proc. of the 2009 American Control Conference  1694-1699 2009年
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年
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年
アイ・サイ問答教室「物理的・工学的実情との整合性を考慮した新しい状態方程式」
小林孝一
システム/制御/情報 52(11) 435-436 2008年
Explicit Modeling of Mode Transition Constraints for Model Predictive Control
Koichi Kobayashi and Kunihiko Hiraishi
Proc. of the SICE Annual Conference 2008  1569-1574 2008年
On-line and Off-line Based Approximation Algorithm for Model Predictive Control of Hybrid Systems
Koichi Kobayashi, Nguyen Van Tang, and Kunihiko Hiraishi
Proc. of the 23rd International Technical Conference on Circuits/Systems, Computers and Communications  913-916 2008年
有限時間区間に対するハイブリッドシステムの離散抽象化
平石邦彦,小林孝一,崔舜星
計測自動制御学会論文集 44(9) 751-759 2008年
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年
Minimality of Finite Automata Representation in Hybrid Systems Control
Koichi Kobayashi and Jun-ichi Imura
Proc. of the 10th International Conference on Hybrid Systems: Computation and Control  343-356 2007年
Model Predictive Control of Directed-Graph type Hybrid Systems
Koichi Kobayashi and Jun-ichi Imura
Proc. of the 46th IEEE Conference on Decision and Control  3196-3201 2007年
Time-Sequence Based Modeling of Finite Automata in Model Predictive Control of Hybrid Systems
Koichi Kobayashi and Jun-ichi Imura
Proc. of the 2007 American Control Conference  4186-4191 2007年
ハイブリッド制御における有限オートマトンの時系列ベーストモデリング
小林孝一,井村順一
計測自動制御学会論文集 43(9) 798-805 2007年
ハイブリッドシステムの制御における有限オートマトンの最小表現
小林孝一,井村順一
計測自動制御学会論文集 43(5) 383-390 2007年
Efficient Modeling of Piecewise Affine Systems in Model Predictive Control
Koichi Kobayashi and Jun-ichi Imura
Proc. of the SICE-ICASE International Joint Conference 2006  5120-5123 2006年
Modeling of Discrete Dynamics for Computational Time Reduction of Model Predictive Control
Koichi Kobayashi and Jun-ichi Imura
Proc. of the 17th International Symposium on Mathematical Theory of Networks and Systems  628-633 2006年
Minimal Representation of Finite Automata for Hybrid Systems Control
Koichi Kobayashi and Jun-ichi Imura
Proc. of the 45th IEEE Conference on Decision and Control  930-935 2006年
和分型/差分型状態方程式表現に基づくロバスト制御系の解析/設計条件の関連性について
小林 孝一, 木山 健, 北森 俊行
システム制御情報学会論文誌 19(10) 400-409 2006年
ハイブリッドシステムのモデル予測制御における離散ダイナミクスモデリング
小林 孝一,井村 順一
計測自動制御学会論文集 42(7) 799-805 2006年
階層型制御系の統合最適設計とその加熱炉の燃焼制御への応用
小林 孝一,井村 順一
計測自動制御学会論文集 42(7) 783-790 2006年
物理的・工学的実情との整合性を考慮した和分型状態方程式表現-基礎的性質および安定性の解析
小林 孝一, 木山 健, 北森 俊行
システム制御情報学会論文誌 19(4) 132-141 2006年
System Representation for Logical Dynamics via a Descriptor Form
Koichi Kobayashi and Jun-ichi Imura
Proc. of the SICE Annual Conference 2005  2041-2044 2005年
非最小位相特性をループ外に追い出した制御系の設計方法
小林 孝一,木山 健,北森 俊行
計測自動制御学会論文集 42(10) 981-983 2003年

受賞

2015年03月
計測自動制御学会 制御部門 パイオニア賞 
2015年01月
2014 Outstanding Reviewer for IEEE Transactions on Automatica Control 
2013年05月
Outstanding Reviewer for Automatica 
2007年09月
計測自動制御学会 論文賞(武田賞) 
2007年05月
システム制御情報学会 論文賞 
2007年02月
計測自動制御学会 学術奨励賞 
受賞を全て表示する
受賞閉じる
2015年03月
計測自動制御学会 制御部門 パイオニア賞 
2015年01月
2014 Outstanding Reviewer for IEEE Transactions on Automatica Control 
2013年05月
Outstanding Reviewer for Automatica 
2007年09月
計測自動制御学会 論文賞(武田賞) 
2007年05月
システム制御情報学会 論文賞 
2007年02月
計測自動制御学会 学術奨励賞 

教育活動

主要な担当授業

システム制御理論特論
開講年度 : 2015年
課程区分 : 修士課程
開講学部 : 情報科学研究科
キーワード : 非線形動的システム, ハイブリッド動的システム, 非線形制御, 受動性アプローチ, 厳密な線形化, 混合論理動的システムモデル, モデル予測制御
システム数理特論
開講年度 : 2015年
課程区分 : 修士課程
開講学部 : 情報科学研究科
キーワード : 非線形動的システム, ハイブリッド動的システム, 非線形制御, 受動性アプローチ, 厳密な線形化, 混合論理動的システムモデル, モデル予測制御
ディジタル制御
開講年度 : 2015年
課程区分 : 学士課程
開講学部 : 工学部
キーワード : 線形離散時間システム, システム表現, 離散化, 安定性, 最適レギュレータ, オブザーバ, カルマンフィルタ
情報数学
開講年度 : 2015年
課程区分 : 学士課程
開講学部 : 工学部
キーワード : 集合と論理,ブール代数,順列・組合せ,グラフ理論
最新年度を全て表示する
主要な担当授業閉じる
システム制御理論特論
開講年度 : 2015年
課程区分 : 修士課程
開講学部 : 情報科学研究科
キーワード : 非線形動的システム, ハイブリッド動的システム, 非線形制御, 受動性アプローチ, 厳密な線形化, 混合論理動的システムモデル, モデル予測制御
システム数理特論
開講年度 : 2015年
課程区分 : 修士課程
開講学部 : 情報科学研究科
キーワード : 非線形動的システム, ハイブリッド動的システム, 非線形制御, 受動性アプローチ, 厳密な線形化, 混合論理動的システムモデル, モデル予測制御
ディジタル制御
開講年度 : 2015年
課程区分 : 学士課程
開講学部 : 工学部
キーワード : 線形離散時間システム, システム表現, 離散化, 安定性, 最適レギュレータ, オブザーバ, カルマンフィルタ
情報数学
開講年度 : 2015年
課程区分 : 学士課程
開講学部 : 工学部
キーワード : 集合と論理,ブール代数,順列・組合せ,グラフ理論

社会貢献

委員歴

2016年06月
-
現在
電子情報通信学会 基礎・境界ソサイエティ システム数理と応用研究専門委員会 専門委員
2016年05月
-
現在
電気学会 広報委員会 委員
2016年03月
-
現在
電気学会 北海道支部役員会 協議員
2016年01月
-
現在
計測自動制御学会 制御部門 事業委員会 委員
2015年06月
-
現在
電子情報通信学会 英文論文誌A編集委員会 英文論文誌編集委員
2014年06月
-
現在
電子情報通信学会 基礎・境界ソサイエティ 高信頼制御通信研究専門委員会 幹事
2014年06月
-
現在
電子情報通信学会 和文論文誌A編集委員会 和文論文誌編集委員
2014年06月
-
現在
電子情報通信学会 ソサイエティ論文誌編集委員会 常任査読委員
2011年01月
-
現在
計測自動制御学会 システム・情報部門 離散事象システム部会 委員
委員歴を全て表示する
委員歴閉じる
2016年06月
-
現在
電子情報通信学会 基礎・境界ソサイエティ システム数理と応用研究専門委員会 専門委員
2016年05月
-
現在
電気学会 広報委員会 委員
2016年03月
-
現在
電気学会 北海道支部役員会 協議員
2016年01月
-
現在
計測自動制御学会 制御部門 事業委員会 委員
2015年06月
-
現在
電子情報通信学会 英文論文誌A編集委員会 英文論文誌編集委員
2014年06月
-
現在
電子情報通信学会 基礎・境界ソサイエティ 高信頼制御通信研究専門委員会 幹事
2014年06月
-
現在
電子情報通信学会 和文論文誌A編集委員会 和文論文誌編集委員
2014年06月
-
現在
電子情報通信学会 ソサイエティ論文誌編集委員会 常任査読委員
2011年01月
-
現在
計測自動制御学会 システム・情報部門 離散事象システム部会 委員

ページトップへ