KOBAYASHI Koichi 小林孝一

Researcher Number	50452115
Other IDs
External Links
Affiliation *help	2015 – 2018 : 北海道大学, 情報科学研究科, 准教授 2008 – 2014 : Japan Advanced Institute of Science and Technology, 情報科学研究科, 助教
Review Section/Research Field	Principal Investigator Control engineering/System engineering / Control engineering Except Principal Investigator Fundamental theory of informatics / Web informatics, Service informatics / Control engineering/System engineering
Keywords	Principal Investigator モデル予測制御 / 最適制御 / 確率ブーリアンネットワーク / ブーリアンネットワーク / 確率ハイブリッドシステム / モデル検査 / 確率的拘束 / サイバーフィジカルシステム / Self-triggered制御 / 自己駆動モデル予測制御 … More Except Principal Investigator 形式手法 / 音声つぶやきシステム / 気づき組織学習 / 患者状態適応型パスシステム / 形式検証 / 看護学 / 医療・福祉 / 情報工学 / 気づきマイキング / 性能評価 / 実時間システム / 情報スーパーバイザ制御 / スマートセンサ情報システム / サービス / 非線形制御 / ハイブリッドシステム / 入力分配制御 / サービス科学 / 気づきプラットフォーム / 学習型気づき誘発 / 制御工学 / 気づき / 非線形システム / 情報システム / 機械力学・制御 / アウエアネス Less

セキュアなサイバーフィジカルシステムのための制御・検証手法の開発Principal InvestigatorOngoing
- Principal Investigator
  
  小林孝一
- Project Period (FY)
  2017 – 2019
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Control engineering/System engineering
- Research Institution
  Hokkaido University
Input allocation control using control Lyapuov functionOngoing
- Principal Investigator
  
  山下裕
- Project Period (FY)
  2016 – 2018
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Control engineering/System engineering
- Research Institution
  Hokkaido University
看護・介護サービスの質を高める音声つぶやきによる気づきプラットフォームの研究Ongoing
- Principal Investigator
  
  内平直志
- Project Period (FY)
  2015 – 2017
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Web informatics, Service informatics
- Research Institution
  Japan Advanced Institute of Science and Technology
Simultaneous Optimization of Communication and Control for Cyber-Physical SystemsPrincipal Investigator
- Principal Investigator
  
  Kobayashi Koichi
- Project Period (FY)
  2014 – 2016
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Control engineering/System engineering
- Research Institution
  Hokkaido University
  Japan Advanced Institute of Science and Technology
Control of Stochastic Hybrid Systems and Its Applications to Systems BiologyPrincipal Investigator
- Principal Investigator
  
  KOBAYASHI Koichi
- Project Period (FY)
  2011 – 2013
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Control engineering
- Research Institution
  Japan Advanced Institute of Science and Technology
Safety Verification Based on Fluidification of Discrete Dynamics
- Principal Investigator
  
  HIRAISHI Kunihiko
- Project Period (FY)
  2009 – 2011
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Japan Advanced Institute of Science and Technology
Control Theory of Hybrid Systems Based on a New Model of Finite AutomataPrincipal Investigator
- Principal Investigator
  
  KOBAYASHI Koichi
- Project Period (FY)
  2008 – 2010
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Control engineering
- Research Institution
  Japan Advanced Institute of Science and Technology

All 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 Other

All Journal Article Presentation

[Journal Article] Linear Quadratic Regulator with Decentralized Event-Triggering2017
- Author(s)
  Kyohei Nakajima, Koichi Kobayashi, and Yuh Yamashita
- Journal Title
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
  
  Volume : E100 Issue : 2 Pages : 414-420
- Publisher
  電子情報通信学会(The Institute of Electronics, Information and Communication Engineers / IEICE)
- DOI
  10.1587/transfun.E100.A.414
- Language
  English
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26420412
[Journal Article] Periodic Model Predictive Control of Multi-Hop Control Networks2017
- Author(s)
  Dai Satoh, Koichi Kobayashi, and Yuh Yamashita
- Journal Title
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
  
  Volume : E100 Issue : 2 Pages : 406-413
- Publisher
  電子情報通信学会(The Institute of Electronics, Information and Communication Engineers / IEICE)
- DOI
  10.1587/transfun.E100.A.406
- Language
  English
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26420412
[Journal Article] Event-triggered and Self-triggered Control for Networked Control Systems Using Online Optimization2016
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Journal Title
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
  
  Volume : E99 Issue : 2 Pages : 468-474
- Publisher
  電子情報通信学会(The Institute of Electronics, Information and Communication Engineers / IEICE)
- DOI
  10.1587/transfun.E99.A.468
- Language
  English
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26420412
[Journal Article] Attractor-Based Simultaneous Design of the Minimum Set of Control Nodes and Controllers in Boolean Networks2016
- Author(s)
  Koichi Kobayashi
- Journal Title
  
  Applied Mathematics
  
  Volume : 7 Pages : 1510-1520
- DOI
  10.4236/am.2016.714131
- Peer Reviewed / Open Access / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26420412
[Journal Article] Periodic Model Predictive Control of Multi-Hop Control Networks2016
- Author(s)
  Dai Satoh, Koichi Kobayashi, and Yuh Yamashita
- Journal Title
  
  Proc. of the 2016 IEEE International Conference on Systems, Man, and Cybernetics
  
  Volume : － Pages : 1279-1284
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26420412
[Journal Article] Linear Quadratic Regulator with Decentralized Event-Triggering2016
- Author(s)
  Kyohei Nakajima, Koichi Kobayashi, and Yuh Yamashita
- Journal Title
  
  Proc. of the 42nd Annual Conference of IEEE Industrial Electronics Society
  
  Volume : － Pages : 5374-5379
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26420412
[Journal Article] Self-Triggered Model Predictive Control for Linear Systems Based on Transmission of Control Input Sequences2016
- Author(s)
  Koichi Kobayashi
- Journal Title
  
  Journal of Applied Mathematics
  
  Volume : 未定
- Open Access / Acknowledgement Compliant / Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26420412
[Journal Article] Notions of Opacity in Hybrid Systems for Cybersecurity2016
- Author(s)
  Koichi Kobayashi
- Journal Title
  
  Proc. of the 21st International Symposium on Artificial Life and Robotics
  
  Volume : なし Pages : 83-86
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26420412
[Journal Article] Model Predictive Control of Multiple Plants over Communication Networks2016
- Author(s)
  Dai Satoh, Koichi Kobayashi, and Yuh Yamashita
- Journal Title
  
  Proc. of the SICE Annual Conference 2016
  
  Volume : － Pages : 1737-1740
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26420412
[Journal Article] On Event-triggered and Self-triggered Control Using Online Optimization2015
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Journal Title
  
  Proc. of the 2015 IEEE International Conference on Mechatronics
  
  Volume : なし Pages : 582-587
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26420412
[Journal Article] Design of Boolean Networks Based on Prescribed Singleton Attractors2015
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Journal Title
  
  Proc. of the 13th European Control Conference
  
  Volume : なし Pages : 1504-1509
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26420412
[Journal Article] ILP/SMT-Based Method for Design of Boolean Networks Based on Singleton Attractors2015
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Journal Title
  
  IEEE/ACM Transactions on Computational Biology and Bioinformatics
  
  Volume : 未定
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26420412
[Journal Article] Optimal Control of Multi-Hop Control Networks Based on the MLD Framework2015
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Journal Title
  
  IEEJ Transactions on Electrical and Electronic Engineering
  
  Volume : 10
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26420412
[Journal Article] Optimal Control of Multi-Vehicle Systems with Temporal Logic Constraints2015
- Author(s)
  Koichi Kobayashi, Takuro Nagami, and Kunihiko Hiraishi
- Journal Title
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
  
  Volume : E98-A Pages : 626-634
- DOI
  10.1587/transfun.E98.A.626
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26420412
[Journal Article] Modeling and Design of Networked Control Systems Using a Stochastic Switching Systems Approach2014
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Journal Title
  
  IEEJ Transactions on Electrical and Electronic Engineering
  
  Volume : Vol. 9, No. 1 Pages : 56-61
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23760387
[Journal Article] Verification and Optimal Control of Context-Sensitive Probabilistic Boolean Networks Using Model Checking and Polynomial Optimization2014
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Journal Title
  
  The Scientific World Journal
  
  Volume : Vol. 2014 Pages : 8-8
- URL
  http://www.hindawi.com/journals/tswj/2014/968341/
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23760387
[Journal Article] An optimization-based approach to sampled-data control of networked control systems with multiple delays2014
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Journal Title
  
  Applied Mathematics and Computation
  
  Volume : 247 Pages : 786-794
- DOI
  10.1016/j.amc.2014.09.064
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26420412
[Journal Article] Verification and Optimal Control of Context-Sensitive Probabilistic Boolean Networks Using Model Checking and Polynomial Optimization2014
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Journal Title
  
  The Scientific World Journal
  
  Volume : Vol. 2014, Article ID 968341 Pages : 1-8
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23760387
[Journal Article] Self-Triggered Model Predictive Control with Delay Compensation for Networked Control Systems2013
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Journal Title
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
  
  Volume : Vol. E96-A,No. 5 Pages : 861-868
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23760387
[Journal Article] Computational Techniques for Model Predictive Control of Large-Scale Systems with Continuous-Valued and Discrete-Valued Inputs2013
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Journal Title
  
  Journal of Applied Mathematics
  
  Volume : Vol. 2013 Pages : 9-9
- URL
  http://www.hindawi.com/journals/jam/2013/615060/
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23760387
[Journal Article] Optimal Control of Gene Regulatory Networks with Effectiveness of Multiple Drugs2013
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Journal Title
  
  A Boolean Network Approach, BioMed Research International
  
  Volume : Vol. 2013 Pages : 11-11
- URL
  http://www.hindawi.com/journals/bmri/2013/246761
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23760387
[Journal Article] Verification of Opacity and Diagnosability for Pushdown Systems2013
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Journal Title
  
  Journal of Applied Mathematics
  
  Volume : Vol. 2013 Pages : 10-10
- URL
  http://www.hindawi.com/journals/jam/2013/654059/
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23760387
[Journal Article] Self-Triggered Model Predictive Control Using Optimization with Prediction Horizon One2013
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Journal Title
  
  Mathematical Problems in Engineering
  
  Volume : Vol. 2013 Pages : 9-9
- URL
  http://www.hindawi.com/journals/mpe/2013/916040/
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23760387
[Journal Article] Optimal Control of Boolean Biological Networks Modeled by Petri Nets2013
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Journal Title
  
  IEICE Transactions on Fundamentals of Electronics , Communications and Computer Sciences
  
  Volume : Vol. E96-A, No. 2 Pages : 532-539
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23760387
[Journal Article] Self-Triggered Model Predictive Control Using Optimization with Prediction Horizon One2013
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Journal Title
  
  Mathematical Problems in Engineering
  
  Volume : Vol. 2013, Article ID 916040 Pages : 1-9
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23760387
[Journal Article] Optimal Control of Gene Regulatory Networks with Effectiveness of Multiple Drugs: A Boolean Network Approach2013
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Journal Title
  
  BioMed Research International
  
  Volume : Vol. 2013, Article ID 246761 Pages : 1-11
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23760387
[Journal Article] Verification of Opacity and Diagnosability for Pushdown Systems2013
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Journal Title
  
  Journal of Applied Mathematics
  
  Volume : Vol. 2013, Article ID 654059 Pages : 1-10
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23760387
[Journal Article] Optimal Control of Boolean Biological Networks Modeled by Petri Nets2013
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Journal Title
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
  
  Volume : Vol. E96-A, No. 2 Pages : 532-539
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23760387
[Journal Article] Symbolic approach to verification and control of deterministic/probabilistic Boolean networks2012
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Journal Title
  
  IET Systems Biology
  
  Volume : Vol. 6, No. 6 Pages : 215-222
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23760387
[Journal Article] Application of Interval Methods to Sampled-Data Control of Uncertain Piecewise Affine Systems2012
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Journal Title
  
  SICE Journal of Control, Measurement, and System Integration
  
  Volume : Vol. 5, No. 3 Pages : 184-189
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23760387
[Journal Article] Optimal Control of Probabilistic Boolean Networks Using Polynomial Optimization2012
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Journal Title
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
  
  Volume : Vol. E95-A, No. 9 Pages : 1512-1517
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23760387
[Journal Article] Deterministic finite automata representation for model predictive control of hybrid systems2012
- Author(s)
  Koichi Kobayashi and Jun-ichi Imura
- Journal Title
  
  Journal of Process Control
  
  Volume : Vol. 22 , No. 9 Pages : 1670-1680
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23760387
[Journal Article] Probabilistic-Constrained Optimal Control of a Class of Stochastic Hybrid Systems2012
- Author(s)
  Koichi Kobayashi, Koichiro Matou, and Kunihiko Hiraishi
- Journal Title
  
  International Journal of Control, Automation, and Systems
  
  Volume : Vol. 10, No. 5 Pages : 897-904
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23760387
[Journal Article] Optimization-Based Synthesis of Self-Triggered Controllers for Networked Systems2012
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Journal Title
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
  
  Volume : Vol. E95-A, No. 4 Pages : 691-696
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23760387
[Journal Article] 遷移関係に基づくハイブリッドシステムの近似双模倣2011
- Author(s)
  崔舜星, 平石邦彦, 小林孝一
- Journal Title
  
  計測自動制御学会論文集
  
  Volume : 47-12 Pages : 614-620
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500009
[Journal Article] An integer programming approach to optimal control problems in context-sensitive probabilistic Boolean networks2011
- Author(s)
  Koichi Kobayashi, Kunihiko Hiraishi
- Journal Title
  
  Automatica Vol.47,No.6
  
  Pages : 1260-1264
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20760278
[Journal Article] 遷移関係に基づくハイブリッドシステムの近似双模倣2011
- Author(s)
  崔舜星，平石邦彦，小林孝一
- Journal Title
  
  計測自動制御学会論文集
  
  Volume : Vol. 47，No. 12 Pages : 614-620
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23760387
[Journal Article] 外部刺激を考慮した遺伝子ネットワークの最適制御2011
- Author(s)
  小林孝一，平石邦彦
- Journal Title
  
  計測自動制御学会論文集
  
  Volume : Vol. 47，No. 11 Pages : 520-526
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23760387
[Journal Article] Stabilization of Finite Automata with Application to Hybrid Systems Control2011
- Author(s)
  Koichi Kobayashi, Jun-ichi Imura, and Kunihiko Hiraishi
- Journal Title
  
  Discrete Event Dynamic Systems: Theory and Applications
  
  Volume : Vol. 21, No. 4 Pages : 519-545
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23760387
[Journal Article] Stabilization of Finite Automata with Application to Hybrid Systems Control2011
- Author(s)
  Koichi Kobayashi, Jun-ichi Imura, and Kunihiko Hiraishi
- Journal Title
  
  Discrete Event Dynamic Systems : Theory and Applications
  
  Volume : Vol. 21, No. 4 Pages : 519-545
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23760387
[Journal Article] 外部刺激を考慮した遺伝子ネットワークの最適制御2011
- Author(s)
  小林孝一,平石邦彦
- Journal Title
  
  計測自動制御学会論文集
  
  Volume : Vol. 47,No. 11 Pages : 520-526
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23760387
[Journal Article] 遷移関係に基づくハイブリッドシステムの近似双模倣2011
- Author(s)
  崔舜星,平石邦彦,小林孝一
- Journal Title
  
  計測自動制御学会論文集
  
  Volume : Vol. 47,No. 12 Pages : 614-620
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23760387
[Journal Article] Polynomial-Time Algorithm for Controllability Test of a Class of Boolean Biological Networks2010
- Author(s)
  Koichi Kobayashi, Jun-ichi Imura, Kunihiko Hiraishi
- Journal Title
  
  EURASIP Journal on Bioinformatics and Systems Biology
  
  Volume : Vol.2010
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20760278
[Journal Article] 整数計画法を用いた確率ブーリアンネットワークの最適制御2010
- Author(s)
  小林孝一, 平石邦彦
- Journal Title
  
  計測自動制御学会論文集
  
  Volume : 46-11 Pages : 659-665
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500009
[Journal Article] Polynomial-Time Algorithm for Controllability Test of a Class of Boolean Biological Networks2010
- Author(s)
  Koichi Kobayashi, Jun-ichi Imura, Kunihiko Hiraishi
- Journal Title
  
  EURASIP Journal on Bioinformatics and Systems Biology Vol.2010, Article ID 210685
  
  Pages : 12-12
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20760278
[Journal Article] An Approximation Algorithm for Box Abstraction of Transition Systems on Real Vector Fields2010
- Author(s)
  K. Hiraishi and K. Kobayashi
- Journal Title
  
  計測自動制御学会第48回離散事象システム研究会予稿集
  
  Pages : 49-56
- Data Source
  KAKENHI-PROJECT-21500009
[Journal Article] 整数計画法を用いた確率ブーリアンネットワークの最適制御2010
- Author(s)
  小林孝一, 平石邦彦
- Journal Title
  
  計測自動制御学会論文集 Vol.46,No.11
  
  Pages : 659-665
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20760278
[Journal Article] 整数計画法を用いた確率ブーリアンネットワークの最適制御2010
- Author(s)
  小林孝一, 平石邦彦
- Journal Title
  
  計測自動制御学会論文集
  
  Volume : Vol.46, No.11 Pages : 659-665
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20760278
[Journal Article] MLD-Based Modeling of Hybrid Systems with Parameter Uncertainty2009
- Author(s)
  Koichi Kobayashi, Kunihiko Hiraishi
- Journal Title
  
  IEICE Trans.Fundamentals E92A-4
  
  Pages : 2745-2754
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500009
[Journal Article] Analysis and Control of Hybrid Systems with Parameter Uncertainty Based on Interval Methods2009
- Author(s)
  Koichi Kobayashi, Kunihiko Hiraish
- Journal Title
  
  Proc.2009 American Control Conference
  
  Pages : 3632-3637
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500009
[Journal Article] A Faster Approximation Technique for Predicate Abstraction of Hybrid Systems2009
- Author(s)
  Kunihiko Hiraishi, Koichi Kobayashi
- Journal Title
  
  Proc.ICCAS-SICE2009
  
  Pages : 1717-1721
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500009
[Journal Article] Approximate Algorithm for Hybrid Model Predictive Control with Time-Varying Reference2009
- Author(s)
  Koichi Kobayashi, Kunihiko Hiraishi, Nguyen Van Tang
- Journal Title
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences Vol.E92-A, No.8
  
  Pages : 2046-2052
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20760278
[Journal Article] MLD-Based Modeling of Hybrid Systems with Parameter Uncertainty2009
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Journal Title
  
  IEICE Trans Fundamentals
  
  Volume : Vol.E92-A, No.11 Pages : 2745-2754
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500009
[Journal Article] Analysis and Control of Hybrid Systems with Parameter Uncertainty Based on Interval Methods2009
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Journal Title
  
  Proc. 2009 American Control Conference
  
  Pages : 3632-3637
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500009
[Journal Article] A Faster Approximation Technique for Predicate Abstraction of Hybrid Systems2009
- Author(s)
  Kunihiko Hiraishi and Koichi Kobayashi
- Journal Title
  
  Proc. ICCAS-SICE2009
  
  Pages : 1717-1721
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500009
[Journal Article] ハイブリッドシステムにおける述語抽象化計算の効率化2009
- Author(s)
  平石邦彦, 小林孝一
- Journal Title
  
  計測自動制御学会第45回離散事象システム研究会予稿集
  
  Pages : 53-58
- Data Source
  KAKENHI-PROJECT-21500009
[Journal Article] MLD-Based Modeling of Hybrid Systems with Parameter Uncertainty2009
- Author(s)
  Koichi Kobayashi, Kunihiko Hiraishi
- Journal Title
  
  IEICE Trans.on Fundamentals of Electronics, Communications and Computer Sciences Vol.E92-A, No.11
  
  Pages : 2745-2754
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20760278
[Journal Article] Approximate Algorithm for Hybrid Model Predictive Control with Time-Varying Reference2009
- Author(s)
  Koichi Kobayashi, Kunihiko Hiraishi, Nguyen Van Tang
- Journal Title
  
  IEICE Trans.on Fundamentals of Electronics, Communications and Computer Sciences Vol.E92-A, No.8
  
  Pages : 2046-2052
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20760278
[Journal Article] 有限時間区間に対するハイブリッドシステムの離散抽象化2008
- Author(s)
  平石邦彦, 小林孝一, 崔舜星
- Journal Title
  
  計測自動制御学会論文集 Vol.44,No.9
  
  Pages : 751-759
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20760278
[Journal Article] Graph-Switching Based Modeling of Mode Transition Constraints for Model Predictive Control of Hybrid Systems2008
- Author(s)
  Koichi Kobayashi, Kunihiko Hiraishi
- Journal Title
  
  SICE Journal of Control, Measurement, and System Integration Vol.1, No.5
  
  Pages : 376-382
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20760278
[Journal Article] Graph-Switching Based Modeling of Mode Transition Constraints for Model Predictive Control of Hybrid Systems2008
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Journal Title
  
  SICE Journal of Control, Measurement, and System Integration 1
  
  Pages : 376-382
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20760278
[Journal Article] 有限時間区間に対するハイブリッドシステムの離散抽象化2008
- Author(s)
  平石邦彦, 小林孝一, 崔瞬星
- Journal Title
  
  計測自動制御学会論文集 44
  
  Pages : 751-759
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] 動的拡張と制御リアプノフ関数を用いた四輪車両に対する入力分配制御2017
- Author(s)
  鈴木大基, 山下裕, 小林孝一
- Organizer
  第4回SICE制御部門マルチシンポジウム
- Place of Presentation
  岡山大学
- Year and Date
  2017-03-06
- Data Source
  KAKENHI-PROJECT-16H04380
[Presentation] QuadロータUAVの大域的CLFの構築について2017
- Author(s)
  安達直人, 山下裕, 小林孝一
- Organizer
  第4回SICE制御部門マルチシンポジウム
- Place of Presentation
  岡山大学
- Year and Date
  2017-03-06
- Data Source
  KAKENHI-PROJECT-16H04380
[Presentation] 看護・介護サービスにおけるケアスタッフの連携行動の解析2017
- Author(s)
  小林孝一, 平石邦彦, 崔舜星, 内平直志
- Organizer
  電子情報通信学会　システム数理と応用研究会
- Place of Presentation
  島根大学（島根県松江市）
- Data Source
  KAKENHI-PROJECT-15H02785
[Presentation] 分散型イベント駆動条件をもつネットワーク化制御システムの非同期制御2017
- Author(s)
  中島共平，小林孝一，山下裕
- Organizer
  電子情報通信学会高信頼制御通信研究会
- Place of Presentation
  情報通信研究機構ワイヤレスネットワーク総合研究センター（神奈川県横須賀市）
- Data Source
  KAKENHI-PROJECT-26420412
[Presentation] 入力制約付き多重積分系の大域的なImplicit Control Lyapunov Function設計2016
- Author(s)
  安達直人, 山下裕, 野中涼, 小林孝一
- Organizer
  第59回自動制御連合講演会
- Place of Presentation
  北九州国際会議場
- Year and Date
  2016-11-10
- Data Source
  KAKENHI-PROJECT-16H04380
[Presentation] Backstepping for Set-valued Upper Control Laws and Its Application to Control Allocation Problem2016
- Author(s)
  Daiki Suzuki, Yuh Yamashita, Koichi Kobayashi
- Organizer
  2016 IEEE International Conference on Systems, Man, and Cybernetics
- Place of Presentation
  Budapest
- Year and Date
  2016-10-09
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H04380
[Presentation] Asymptotic Stabilization of Nonholonomic Four-Wheeled Vehicle with Steering Limitation based on Lyapunov Function Approach2016
- Author(s)
  Wataru Hashimoto, Yuh Yamashita, Ryo Nonaka, Koichi Kobayashi
- Organizer
  10th IFAC Symposium on Nonlinear Control Systems
- Place of Presentation
  Monterey, California, USA
- Year and Date
  2016-08-23
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H04380
[Presentation] Information Supervisory Control of Human Behavior - Concept and Experiments Toward Realization2016
- Author(s)
  Kunihiko Hiraishi, Naoshi Uchihira, Sunseong Choe and Koichi Kobayashi
- Organizer
  IEEE International Conference on Systems, Man, and Cybernetics
- Place of Presentation
  Budapest, Hungary
- Year and Date
  2016-10-10
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H02785
[Presentation] サイバーフィジカルシステムのための分散型イベント駆動制御2016
- Author(s)
  中島共平，小林孝一，山下裕
- Organizer
  計測自動制御学会システム・情報部門学術講演会 2016
- Place of Presentation
  滋賀県立体育館（滋賀県大津市）
- Data Source
  KAKENHI-PROJECT-26420412
[Presentation] マルチホップ制御ネットワークのモデル予測制御2016
- Author(s)
  佐藤大，小林孝一，山下裕
- Organizer
  計測自動制御学会システム・情報部門学術講演会 2016
- Place of Presentation
  滋賀県立体育館（滋賀県大津市）
- Data Source
  KAKENHI-PROJECT-26420412
[Presentation] 離散時間線形システムの分散型イベント駆動準最適制御2016
- Author(s)
  小林孝一
- Organizer
  電子情報通信学会高信頼制御通信研究会
- Place of Presentation
  関西大学うめきたラボラトリ（大阪）
- Year and Date
  2016-01-29
- Data Source
  KAKENHI-PROJECT-26420412
[Presentation] ケアスタッフ連携スケジューリング問題～通信手段による比較とソルバーによる最適解～2016
- Author(s)
  平石邦彦，崔舜星，小林孝一，佐々木康朗，内平直志
- Organizer
  電子情報通信学会　システム数理と応用研究会
- Place of Presentation
  下関海峡メッセ，山口県，下関市
- Year and Date
  2016-03-03
- Data Source
  KAKENHI-PROJECT-15H02785
[Presentation] 切換型線形回帰モデルを用いた看護・介護サービスの行動解析について2016
- Author(s)
  小林孝一，平石邦彦，崔舜星，内平直志
- Organizer
  電子情報通信学会　システム数理と応用研究会
- Place of Presentation
  下関海峡メッセ，山口県，下関市
- Year and Date
  2016-03-03
- Data Source
  KAKENHI-PROJECT-15H02785
[Presentation] マルチホップ制御ネットワークの周期的モデル予測制御2016
- Author(s)
  佐藤大，小林孝一，山下裕
- Organizer
  電子情報通信学会高信頼制御通信研究会
- Place of Presentation
  機械振興会館（東京都港区）
- Data Source
  KAKENHI-PROJECT-26420412
[Presentation] 分散型イベント駆動制御器を用いた最適レギュレータ2016
- Author(s)
  中島共平，小林孝一，山下裕
- Organizer
  電子情報通信学会2016年ソサイエティ大会
- Place of Presentation
  北海道大学（北海道札幌市）
- Data Source
  KAKENHI-PROJECT-26420412
[Presentation] 混合整数計画法に基づく複数エージェントのモデル予測型監視2016
- Author(s)
  木戸美冬，小林孝一，山下裕
- Organizer
  計測自動制御学会システム・情報部門学術講演会 2016
- Place of Presentation
  滋賀県立体育館（滋賀県大津市）
- Data Source
  KAKENHI-PROJECT-26420412
[Presentation] アトラクターに着目したブーリアンネットワークの可制御性解析2016
- Author(s)
  小林孝一
- Organizer
  電子情報通信学会システム数理と応用研究会
- Place of Presentation
  弘前市立観光館（青森県弘前市）
- Data Source
  KAKENHI-PROJECT-26420412
[Presentation] 複数エージェントによるグラフ上のモデル予測型監視2016
- Author(s)
  木戸美冬，小林孝一，山下裕
- Organizer
  計測自動制御学会第60回離散事象システム研究会
- Place of Presentation
  JA長野県ビル（長野県長野市）
- Data Source
  KAKENHI-PROJECT-26420412
[Presentation] Spatio-temporal situation recognition for groups in caregiving services2016
- Author(s)
  Kaoru Sato, Kunihiko Hiraishi, Koichi Kobayashi
- Organizer
  2016 IEEE International Multi-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support (CogSIMA)
- Place of Presentation
  San Diego, USA
- Year and Date
  2016-03-21
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H02785
[Presentation] 制御入力列を送信する自己駆動／事象駆動モデル予測制御について2015
- Author(s)
  小林孝一，平石邦彦
- Organizer
  電子情報通信学会高信頼制御通信研究会
- Place of Presentation
  名古屋大学（愛知県名古屋市）
- Year and Date
  2015-01-15
- Data Source
  KAKENHI-PROJECT-26420412
[Presentation] 外乱を有するネットワーク化制御システムの自己駆動モデル予測制御2015
- Author(s)
  小林孝一
- Organizer
  第58回自動制御連合講演会
- Place of Presentation
  神戸大学（神戸）
- Year and Date
  2015-11-14
- Data Source
  KAKENHI-PROJECT-26420412
[Presentation] 通信と制御の同時最適化：事象駆動制御と自己駆動制御2015
- Author(s)
  小林孝一
- Organizer
  計測自動制御学会システム・情報部門学術講演会2015
- Place of Presentation
  函館アリーナ（函館）
- Year and Date
  2015-11-20
- Data Source
  KAKENHI-PROJECT-26420412
[Presentation] Situation Recognition from Behavior Logs in Caregiving Services2015
- Author(s)
  Kaoru Sato, Koichi Kobayashi, Kunihiko Hiraishi
- Organizer
  2015 International Technical Conference on Circuits Systems, Computers and Communications (ITC-CSCC)
- Place of Presentation
  Seoul, Korea
- Year and Date
  2015-06-29
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H02785
[Presentation] オンライン最適化による事象駆動制御と自己駆動制御について2014
- Author(s)
  小林孝一，平石邦彦
- Organizer
  計測自動制御学会第56回離散事象システム研究会
- Place of Presentation
  産業技術大学院大学（東京都品川区）
- Year and Date
  2014-12-12
- Data Source
  KAKENHI-PROJECT-26420412
[Presentation] Self-Triggered Optimal Control of Linear Systems Using Convex Quadratic Programming2014
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Organizer
  13th International Workshop on Advanced Motion Control
- Place of Presentation
  Yokohama
- Year and Date
  2014-03-16
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] 確率ハイブリッドシステムの離散抽象化　～遺伝子トグルスイッチの解析への適用～2013
- Author(s)
  福井康仁，小林孝一，平石邦彦
- Organizer
  電子情報通信学会システム数理と応用研究会
- Place of Presentation
  休暇村志賀島，福岡
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] 1ステップ予測区間に着目した線形システムのSelf-Triggered最適制御2013
- Author(s)
  小林孝一，平石邦彦
- Organizer
  電子情報通信学会システム数理と応用研究会
- Place of Presentation
  大阪国際会議場，大阪
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] 時相論理による拘束をもつマルチビークルシステムの最適制御2013
- Author(s)
  永見琢朗，小林孝一，平石邦彦
- Organizer
  計測自動制御学会第50回離散事象システム研究会
- Place of Presentation
  大阪国際会議場，大阪
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] Self-Triggered Optimal Control Based on Optimization with Prediction Horizon One2013
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Organizer
  18th International Symposium on Artificial Life and Robotics
- Place of Presentation
  Daejeon Convention Center, Daejeon, Korea
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] Discrete Abstraction for a Class of Stochastic Hybrid Systems Based on Bounded Bisimulation2013
- Author(s)
  Koichi Kobayashi, Yasuhito Fukui, and Kunihiko Hiraishi
- Organizer
  52nd IEEE Conference on Decision and Control
- Place of Presentation
  Florence, Italy
- Year and Date
  2013-12-11
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] Modeling and Optimal Control of Multi-Hop Control Networks Based on the MLD Framework2013
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Organizer
  39th Annual Conference of the IEEE Industrial Electronics Society
- Place of Presentation
  Vienna, Austria
- Year and Date
  2013-11-13
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] Controller Design of Networked Control Systems with Multiple Delays Using Interval Methods2013
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Organizer
  39th Annual Conference of the IEEE Industrial Electronics Society
- Place of Presentation
  Vienna, Austria
- Year and Date
  2013-11-13
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] Hierarchical Implementation of Large-Scale Control Systems and Its Application to Air-Conditioning Systems2013
- Author(s)
  Wai Wai Shein, Koichi Kobayashi, and Kunihiko Hiraishi
- Organizer
  SICE Annual Conference 2013
- Place of Presentation
  Nagoya
- Year and Date
  2013-09-15
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] An MDP Approach to Modeling and Control of Real-Time Pricing Systems2013
- Author(s)
  Koichi Kobayashi, Ichiro Maruta, Kazunori Sakurama, and Shun-ichi Azuma
- Organizer
  SICE Annual Conference 2013
- Place of Presentation
  Nagoya
- Year and Date
  2013-09-15
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] Self-Triggered Optimal Control Based on Optimization with Prediction Horizon One2013
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Organizer
  18th International Symposium on Artificial Life and Robotics
- Place of Presentation
  Daejeon, Korea
- Year and Date
  2013-01-31
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] A Petri Net-Based Approach to Control of Boolean Networks2013
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Organizer
  Workshop on Computational Complexity Analysis and Algorithm Design for Combinatorial Optimization Problems
- Place of Presentation
  Okinawa
- Year and Date
  2013-12-06
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] Optimal Control of Multi-Vehicle Systems with LTL Specifications2013
- Author(s)
  Koichi Kobayashi, Takuro Nagami, and Kunihiko Hiraishi
- Organizer
  52nd IEEE Conference on Decision and Control
- Place of Presentation
  Florence, Italy
- Year and Date
  2013-12-13
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] Design of Networked Control Systems Using a Stochastic Switching Systems Approach2012
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Organizer
  38th Annual Conference of the IEEE Industrial Electronics Society
- Place of Presentation
  ETS, Montreal, Canada
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] On Opacity and Diagnosability in Discrete Event Systems Modeled by Pushdown Automata2012
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Organizer
  8th IEEE International Conference on Automation Science and Engineering
- Place of Presentation
  Grand Hyatt Hotel, Seoul, Korea
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] A Petri Net-Based Approach to Control of Boolean Networks2012
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Organizer
  Workshop on Computational Complexity Analysis and Algorithm Design for Combinatorial Optimization Problems
- Place of Presentation
  Tiruru, Okinawa, Japan
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] Self-Triggered Model Predictive Control with Delay Compensation for Networked Control Systems2012
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Organizer
  38th Annual Conference of the IEEE Industrial Electronics Society
- Place of Presentation
  ETS, Montreal, Canada
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] 確率ハイブリッドシステムの離散抽象化と最適制御2012
- Author(s)
  小林孝一，福井康仁，平石邦彦
- Organizer
  第55回自動制御連合講演会
- Place of Presentation
  京都大学，京都
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] 離散値入力をもつ大規模システムに対する量子化誤差を考慮した最適制御2012
- Author(s)
  小林孝一，平石邦彦
- Organizer
  計測自動制御学会システム・情報部門学術講演会2012
- Place of Presentation
  ウィル愛知，名古屋
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] 有限時間区間における確率ハイブリッドシステムの離散抽象化2012
- Author(s)
  福井康仁，小林孝一，平石邦彦
- Organizer
  計測自動制御学会システム・情報部門学術講演会2012
- Place of Presentation
  ウィル愛知，名古屋
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] 離散モデルに基づく遺伝子ネットワークの解析と制御 ―最適化とモデル検査によるアプローチ―2012
- Author(s)
  小林孝一
- Organizer
  電子情報通信学会2012年総合大会(招待講演)
- Place of Presentation
  岡山大学，岡山
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] 複数の確率的遅延を有するネットワーク化システムの制御2012
- Author(s)
  小林孝一，平石邦彦
- Organizer
  電子情報通信学会システム数理と応用研究会
- Place of Presentation
  高知市文化プラザかるぽーと，高知
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] Control of Deterministic and Probabilistic Boolean Networks2012
- Author(s)
  Koichi Kobayashi
- Organizer
  Symposium on Developments in Control Theory towards Glocal Control(招待講演)
- Place of Presentation
  The University of Tokyo, Tokyo, Japan
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] 1ステップ予測区間の最適化によるSelf-Triggered制御2012
- Author(s)
  小林孝一，平石邦彦
- Organizer
  電子情報通信学会2012年総合大会
- Place of Presentation
  岡山大学，岡山
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] Self-Triggered制御のための1ステップ予測区間最適化問題の解法2012
- Author(s)
  小林孝一，平石邦彦
- Organizer
  第56回システム制御情報学会研究発表講演会
- Place of Presentation
  京都テルサ，京都
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] 離散値入力をもつ大規模システムに対する最適制御問題の一解法2012
- Author(s)
  小林孝一，平石邦彦
- Organizer
  電子情報通信学会システム数理と応用研究会
- Place of Presentation
  京都リサーチパーク，京都
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] ネットワーク化制御系のためのSelf-Triggeredモデル予測制御2012
- Author(s)
  小林孝一，平石邦彦
- Organizer
  電子情報通信学会第25回回路とシステムワークショップ
- Place of Presentation
  淡路夢舞台国際会議場，淡路
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] ワイルドカード文字を含むNグラムモデルを用いた確率離散事象システムの故障診断2012
- Author(s)
  平石邦彦，吉本美和，小林孝一
- Organizer
  電子情報通信学会システム数理と応用研究会
- Place of Presentation
  岩手大学，盛岡
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] 状態離散化を用いたマルチエージェントシステムの最適制御2012
- Author(s)
  永見琢朗，小林孝一，平石邦彦
- Organizer
  第55回自動制御連合講演会
- Place of Presentation
  京都大学，京都
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] Design of Networked Control Systems Using a Stochastic Switching Systems Approach2012
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Organizer
  38th Annual Conference of the IEEE Industrial Electronics Society
- Place of Presentation
  Montreal, Canada
- Year and Date
  2012-10-27
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] On Opacity and Diagnosability in Discrete Event Systems Modeled by Pushdown Automata2012
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Organizer
  8th IEEE International Conference on Automation Science and Engineering
- Place of Presentation
  Seoul, Korea
- Year and Date
  2012-08-22
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] Self-Triggered Model Predictive Control with Delay Compensation for Networked Control Systems2012
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Organizer
  38th Annual Conference of the IEEE Industrial Electronics Society
- Place of Presentation
  Montreal, Canada
- Year and Date
  2012-10-27
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] プッシュダウンオートマトンで表現される離散事象システムのオパシティと可診断性について2012
- Author(s)
  小林孝一，平石邦彦
- Organizer
  計測自動制御学会第51回離散事象システム研究会
- Place of Presentation
  宮崎県婦人会館，宮崎
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] 外部刺激に基づく遺伝子ネットワークの最適制御2011
- Author(s)
  小林孝一, 平石邦彦
- Organizer
  計測自動制御学会システム・情報部門学術講演会2010
- Place of Presentation
  京都
- Year and Date
  2011-11-24
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] 確率ハイブリッドシステムの確率拘束付き最適制御2011
- Author(s)
  間藤光一朗, 小林孝一, 平石邦彦
- Organizer
  電子情報通信学会2011年総合大会
- Place of Presentation
  東京
- Year and Date
  2011-03-15
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] 遷移関係に基づくハイブリッドモデル予測制御の近似事前解法2011
- Author(s)
  崔舜星, 平石邦彦, 小林孝一
- Organizer
  電子情報通信学会2011年総合大会講演論文集
- Place of Presentation
  東京
- Year and Date
  2011-03-15
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] 多項式最適化を用いた確率ブーリアンネットワークの最適制御2011
- Author(s)
  小林孝一, 平石邦彦
- Organizer
  計測自動制御学会第11回制御部門大会
- Place of Presentation
  沖縄
- Year and Date
  2011-03-16
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] 遷移関係に基づくハイブリッドモデル予測制御の近似事前解法2011
- Author(s)
  崔舜星, 平石邦彦, 小林孝一
- Organizer
  電子情報通信学会2011年総合大会
- Place of Presentation
  東京
- Year and Date
  2011-03-15
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] 多項式最適化を用いた確率ブーリアンネットワークの最適制御2011
- Author(s)
  小林孝一, 平石邦彦
- Organizer
  計測自動制御学会第11回制御部門大会
- Place of Presentation
  沖縄
- Year and Date
  2011-03-16
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] 確率ハイブリッドシステムの確率拘束付き最適制御2011
- Author(s)
  間藤光一朗, 小林孝一, 平石邦彦
- Organizer
  電子情報通信学会2011年総合大会
- Place of Presentation
  東京
- Year and Date
  2011-03-15
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] 不確かなパラメータを有する確率切替システムのモデリングと制御2011
- Author(s)
  小林孝一，平石邦彦
- Organizer
  計測自動制御学会第50回離散事象システム研究会
- Place of Presentation
  首都大学東京秋葉原サテライトキャンパス，東京
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] ハイブリットシステムの遷移近似双模倣と最適制御への応用2011
- Author(s)
  崔舜星，平石邦彦，小林孝一
- Organizer
  計測自動制御学会システム・情報部門学術講演会2011
- Place of Presentation
  国立オリンピック記念青少年総合センター，東京
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] 不確かなパラメータを有する区分的アファインシステムのサンプル値最適制御2011
- Author(s)
  小林孝一，平石邦彦
- Organizer
  計測自動制御学会システム・情報部門学術講演会2011
- Place of Presentation
  国立オリンピック記念青少年総合センター，東京
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] ネットワーク化制御系のためのSelf-Triggered最適制御2011
- Author(s)
  小林孝一，平石邦彦
- Organizer
  電子情報通信学会2011年度第2回高信頼制御通信研究会
- Place of Presentation
  北九州市立大学，北九州
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] 最適化を用いた線形システムのSelf-Triggered制御2011
- Author(s)
  小林孝一，平石邦彦
- Organizer
  計測自動制御学会第40回制御理論シンポジウム
- Place of Presentation
  コスモスクエア国際交流センター，大阪
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] Optimal Sampled-Data Control of Piecewise Affine Systems with Parameter Uncertainty2011
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Organizer
  SICE Annual Conference 2011
- Place of Presentation
  Waseda University, Tokyo, Japan
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] Optimal Control of Asynchronous Boolean Networks Modeled by Petri Nets2011
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Organizer
  International Workshop on Biological Processes & Petri Nets
- Place of Presentation
  Thistle County Hotel, Newcastle upon Tyne, UK
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] Optimal Control of a Class of Networked Systems Based on MLD Framework2011
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Organizer
  18th IFAC World Congress
- Place of Presentation
  Universita Cattolica del Sacro Cuore, Milano, Italy
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] ハイブリッドシステムのモデル予測制御：　離散ダイナミクスモデリングと近似解法2011
- Author(s)
  小林孝一
- Organizer
  計測自動制御学会中部支部第1回制御理論ワーキングセミナー(招待講演)
- Place of Presentation
  名古屋大学，名古屋
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] ペトリネットで表現される非同期ブーリアンネットワークの最適制御2011
- Author(s)
  小林孝一，平石邦彦
- Organizer
  計測自動制御学会第49回離散事象システム研究会
- Place of Presentation
  長岡技術科学大学，長岡
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] Optimal Control of a Class of Stochastic Hybrid Systems with Probabilistic Constraints2011
- Author(s)
  Koichi Kobayashi, Koichiro Matou, and Kunihiko Hiraishi
- Organizer
  50th IEEE Conference on Decision and Control and European Control Conference
- Place of Presentation
  Hilton Orlando Bonnet Creek, Orlando, USA
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] Probabilistic Control of Boolean Networks with Multiple Dynamics: Towards Control of Gene Regulatory Networks2011
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Organizer
  50th IEEE Conference on Decision and Control and European Control Conference
- Place of Presentation
  Hilton Orlando Bonnet Creek, Orlando, USA
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] ハイブリッドシステムにおけるモデル予測制御　―遷移関係に基づく近似事前解法―2011
- Author(s)
  崔舜星，平石邦彦，小林孝一
- Organizer
  電子情報通信学会システム数理と応用研究会
- Place of Presentation
  沖縄県青年会館，沖縄
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] 確率的拘束を有する確率ハイブリッドシステムのモデル予測制御2011
- Author(s)
  小林孝一，間藤光一朗，平石邦彦
- Organizer
  電子情報通信学会第24回回路とシステムワークショップ
- Place of Presentation
  淡路夢舞台国際会議場，淡路
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] Optimal Control of Asynchronous Boolean Networks Modeled by Petri Nets2011
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Organizer
  International Workshop on Biological Processes & Petri Nets
- Place of Presentation
  Newcastle upon Tyne, UK
- Year and Date
  2011-06-20
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] Optimal Control of a Class of Networked Systems Based on MLD framework2011
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Organizer
  18th IFAC World Congress
- Place of Presentation
  Milano, Italy
- Year and Date
  2011-08-29
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] Optimal Control of a Class of Stochastic Hybrid Systems with Probabilistic Constraints2011
- Author(s)
  Koichi Kobayashi, Koichiro Matou, and Kunihiko Hiraishi
- Organizer
  50th IEEE Conference on Decision and Control and European Control Conference
- Place of Presentation
  Orlando, USA
- Year and Date
  2011-12-13
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] Probabilistic Control of Boolean Networks with Multiple Dynamics , Towards Control of Gene Regulatory Networks2011
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Organizer
  50th IEEE Conference on Decision and Control and European Control Conference
- Place of Presentation
  Orlando, USA
- Year and Date
  2011-12-14
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] Optimal Sampled-Data Control of Piecewise Affine Systems with Parameter Uncertainty2011
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Organizer
  SICE Annual Conference 2011
- Place of Presentation
  Tokyo
- Year and Date
  2011-09-14
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] A Symbolic Approach to Probabilistic Verification of Boolean Networks2011
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Organizer
  37th Annual Conference of the IEEE Industrial Electronics Society
- Place of Presentation
  Melbourne, Australia
- Year and Date
  2011-11-09
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] A Symbolic Approach to Probabilistic Verification of Boolean Networks2011
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Organizer
  37th Annual Conference of the IEEE Industrial Electronics Society
- Place of Presentation
  Crown Conference Centre, Melbourne, Australia
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] モデル検査を用いた確率ブーリアンネットワークの可到達性解析2010
- Author(s)
  小林孝一, 平石邦彦
- Organizer
  第54回システム制御情報学会研究発表講演会
- Place of Presentation
  京都リサーチパーク(京都)
- Data Source
  KAKENHI-PROJECT-21500009
[Presentation] Optimal Control of Context-Sensitive Probabilistic Boolean Networks Using Integer Programming2010
- Author(s)
  K.Hiraishi, K.Kobayashi
- Organizer
  49th IEEE Conference on Decision and Control
- Place of Presentation
  Hilton Atlanta Hotel(Atlanta, USA)
- Year and Date
  2010-12-02
- Data Source
  KAKENHI-PROJECT-21500009
[Presentation] An Approximation Algorithm for Box Abstraction of Transition Systems on Real Vector Fields2010
- Author(s)
  平石邦彦, 小林孝一
- Organizer
  計測自動制御学会第48回離散事象システム研究会
- Place of Presentation
  名古屋
- Year and Date
  2010-12-09
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] MLD-Based Modeling and MPC of Discrete-Time Hybrid Systems with Stochastic Mode Transitions2010
- Author(s)
  Koichi Kobayashi, Kunihiko Hiraishi
- Organizer
  19th IEEE Conference on Control Applications
- Place of Presentation
  Yokohama
- Year and Date
  2010-09-09
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] Reachability Analysis of Probabilistic Boolean Networks using Model Checking2010
- Author(s)
  Koichi Kobayashi, Kunihiko Hiraishi
- Organizer
  SICE Annual Conference 2010
- Place of Presentation
  Taipei, Taiwan
- Year and Date
  2010-08-19
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] 可到達性解析を用いたプッシュダウンシステムの診断について2010
- Author(s)
  小林孝一, 平石邦彦
- Organizer
  計測自動制御学会第47回離散事象システム研究会
- Place of Presentation
  金沢
- Year and Date
  2010-08-03
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] ハイブリッドシステムに対する遷移近似双模倣2010
- Author(s)
  崔舜星, 平石邦彦, 小林孝一
- Organizer
  計測自動制御学会第47回離散事象システム研究会
- Place of Presentation
  金沢
- Year and Date
  2010-08-03
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] Free-Variable Analysis of Finite Automata Representations for Hybrid Systems Control2010
- Author(s)
  Koichi Kobayashi, Jun-ichi Imura
- Organizer
  19th International Symposium on Mathematical Theory of Networks and Systems
- Place of Presentation
  Budapest, Hungary
- Year and Date
  2010-07-05
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] An Integer Programming Approach to Control Problems in Probabilistic Boolean Networks2010
- Author(s)
  Koichi Kobayashi, Kunihiko Hiraishi
- Organizer
  2010American Control Conference
- Place of Presentation
  Baltimore, USA
- Year and Date
  2010-07-02
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] モデル検査を用いた確率ブーリアンネットワークの可到達性解析2010
- Author(s)
  小林孝一, 平石邦彦
- Organizer
  第54回システム制御情報学会研究発表講演会
- Place of Presentation
  京都
- Year and Date
  2010-05-21
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] 整数計画法を用いた文脈依存確率ブーリアンネットワークの制御2010
- Author(s)
  小林孝一, 平石邦彦
- Organizer
  計測自動制御学会第10回制御部門大会資料
- Place of Presentation
  熊本
- Year and Date
  2010-03-16
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] An Approximation Algorithm for Box Abstraction of Transition Systemson Real Vector Fields2010
- Author(s)
  K.Hiraishi, K.Kobayashi
- Organizer
  計測自動制御学会第48回離散事象システム研究会
- Place of Presentation
  名城大学(愛知)
- Year and Date
  2010-12-09
- Data Source
  KAKENHI-PROJECT-21500009
[Presentation] 確率ブーリアンネットワークの解析と制御のための計算手法2010
- Author(s)
  小林孝一, 平石邦彦
- Organizer
  第20回バイオ情報学研究会
- Place of Presentation
  石川
- Year and Date
  2010-03-05
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] 混合整数計画法を用いたネットワーク化システムの最適制御2010
- Author(s)
  小林孝一, 平石邦彦
- Organizer
  計測自動制御学会第48回離散事象システム研究会
- Place of Presentation
  名古屋
- Year and Date
  2010-12-09
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] Optimal Control of Context-Sensitive Probabilistic Boolean Networks Using Integer Programming2010
- Author(s)
  Koichi Kobayashi, Kunihiko Hiraishi
- Organizer
  49th IEEE Conference on Decision and Control
- Place of Presentation
  Atlanta, USA
- Year and Date
  2010-12-17
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] An Approximation Algorithm for Box Abstraction of Transition Systems on Real Vector Fields2010
- Author(s)
  K. Hiraishi, K. Kobayashi
- Organizer
  計測自動制御学会離散事象システム研究会
- Place of Presentation
  名古屋市,愛知
- Year and Date
  2010-12-09
- Data Source
  KAKENHI-PROJECT-21500009
[Presentation] Optimal Control of Context-Sensitive Probabilistic Boolean Networks Using Integer Programming2010
- Author(s)
  Koichi Kobayashi, Kunihiko Hiraishi
- Organizer
  49th IEEE Conference on Decision and Control
- Place of Presentation
  Atlanta, USA
- Year and Date
  2010-12-17
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] An Approximation Algorithm for Box Abstraction of Transition Systems on Real Vector Fields2010
- Author(s)
  平石邦彦, 小林孝一
- Organizer
  計測自動制御学会第48回離散事象システム研究会
- Place of Presentation
  名古屋
- Year and Date
  2010-12-09
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] 混合整数計画法を用いたネットワーク化システムの最適制御2010
- Author(s)
  小林孝一, 平石邦彦
- Organizer
  計測自動制御学会第48回離散事象システム研究会
- Place of Presentation
  名古屋
- Year and Date
  2010-12-09
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] 確率ブーリアンネットワークの解析と制御のための計算手法2010
- Author(s)
  小林孝一, 平石邦彦
- Organizer
  情報処理学会第20回バイオ情報学研究会
- Place of Presentation
  石川
- Year and Date
  2010-03-05
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] 整数計画法を用いた文脈依存確率ブーリアンネットワークの制御2010
- Author(s)
  小林孝一, 平石邦彦
- Organizer
  計測自動制御学会第10回制御部門大会
- Place of Presentation
  熊本
- Year and Date
  2010-03-06
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] 外部刺激に基づく遺伝子ネットワークの最適制御2010
- Author(s)
  小林孝一, 平石邦彦
- Organizer
  計測自動制御学会システム・情報部門学術講演会2010
- Place of Presentation
  京都
- Year and Date
  2010-11-24
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] MLD-Based Modeling and MPC of Discrete-Time Hybrid Systems with Stochastic Mode Transitions2010
- Author(s)
  Koichi Kobayashi, Kunihiko Hiraishi
- Organizer
  19th IEEE Conference on Control Applications
- Place of Presentation
  横浜
- Year and Date
  2010-09-09
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] Reachability Analysis of Probabilistic Boolean Networks using Model Checking2010
- Author(s)
  Koichi Kobayashi, Kunihiko Hiraishi
- Organizer
  SICE Annual Conference 2010
- Place of Presentation
  Taipei, Taiwan
- Year and Date
  2010-08-19
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] ハイブリッドシステムに対する遷移近似双模倣2010
- Author(s)
  崔舜星, 平石邦彦, 小林孝一
- Organizer
  計測自動制御学会第47回離散事象システム研究会
- Place of Presentation
  金沢
- Year and Date
  2010-08-03
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] Free-Variable Analysis of Finite Automata Representations for Hybrid Systems Control2010
- Author(s)
  Koichi Kobayashi, Jun-ichi Imura
- Organizer
  19th International Symposium on Mathematical Theory of Networks and Systems
- Place of Presentation
  Budapest, Hungary
- Year and Date
  2010-07-05
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] An Integer Programming Approach to Control Problems in Probabilistic Boolean Networks2010
- Author(s)
  Koichi Kobayashi, Kunihiko Hiraishi
- Organizer
  2010 American Control Conference
- Place of Presentation
  Baltimore, USA
- Year and Date
  2010-07-02
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] モデル検査を用いた確率ブーリアンネットワークの可到達性解析2010
- Author(s)
  小林孝一, 平石邦彦
- Organizer
  第54回システム制御情報学会研究発表講演会
- Place of Presentation
  京都
- Year and Date
  2010-05-21
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] 可到達性解析を用いたプッシュダウンシステムの診断について2010
- Author(s)
  小林孝一, 平石邦彦
- Organizer
  計測自動制御学会第47回離散事象システム研究会
- Place of Presentation
  金沢
- Year and Date
  2010-08-03
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] Analysis and Control of Hybrid Systems with Parameter Uncertainty Based on Interval Methods2009
- Author(s)
  Koichi Kobayashi, Kunihiko Hiraishi
- Organizer
  2009 American Control Conference
- Place of Presentation
  St.Louis, USA
- Year and Date
  2009-06-11
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] Polynomial-Time Controllability Analysis of Boolean Networks2009
- Author(s)
  Koichi Kobayashi, Jun-ichi Imura, Kunihiko Hiraishi
- Organizer
  2009 American Control Conference
- Place of Presentation
  St.Louis, USA
- Year and Date
  2009-06-10
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] A Faster Approximation Technique for Predicate Abstraction of Hybrid Systems2009
- Author(s)
  Kunihiko Hiraishi, Koichi Kobayashi
- Organizer
  ICROS-SICE International Joint Conference 2009
- Place of Presentation
  Fukuoka
- Year and Date
  2009-08-19
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] ブーリアンネットワークにおける可制御性判定のための多項式時間アルゴリズム2009
- Author(s)
  小林孝一, 井村順一, 平石邦彦
- Organizer
  電子情報通信学会コンカレント工学研究会
- Place of Presentation
  東京
- Year and Date
  2009-08-06
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] 和分型状態方程式を用いた連続時間システムの部分空間同定法2009
- Author(s)
  小林孝一, 田中秀幸
- Organizer
  計測自動制御学会第9回制御部門大会
- Place of Presentation
  広島
- Year and Date
  2009-03-05
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] 制御 Lyapunov 関数を用いたハイブリッドシステムの安定化2009
- Author(s)
  小林孝一, 井村順一, 平石邦彦
- Organizer
  計測自動制御学会第9回制御部門大会
- Place of Presentation
  広島
- Year and Date
  2009-03-04
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] ハイブリッドシステムにおける述語抽象化計算の効率化2009
- Author(s)
  平石邦彦,小林孝一
- Organizer
  計測自動制御学会第45回離散事象システム研究会
- Place of Presentation
  港区,東京
- Year and Date
  2009-12-07
- Data Source
  KAKENHI-PROJECT-21500009
[Presentation] A Faster Approximation Technique for Predicate Abstraction of Hybrid Systems2009
- Author(s)
  Kunihiko Hiraishi and Koichi Kobayashi
- Organizer
  ICCAS-SICE2009
- Place of Presentation
  福岡市,福岡
- Data Source
  KAKENHI-PROJECT-21500009
[Presentation] Analysis and Control of Hybrid Systems with Parameter Uncertainty Based on Interval Methods2009
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Organizer
  2009 American Control Conference
- Place of Presentation
  St. Louis, USA
- Data Source
  KAKENHI-PROJECT-21500009
[Presentation] Observability Analysis of Boolean Networks with Biological Applications2009
- Author(s)
  Koichi Kobayashi, Jun-ichi Imura
- Organizer
  ICROS-SICE International Joint Conference 2009
- Place of Presentation
  Fukuoka
- Year and Date
  2009-08-21
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] Stabilizing Model Predictive Control of Hybrid Systems with Discrete Dynamics2009
- Author(s)
  Koichi Kobayashi, Jun-ichi Imura, Kunihiko Hiraishi
- Organizer
  ICROS-SICE International Joint Conference 2009
- Place of Presentation
  Fukuoka
- Year and Date
  2009-08-21
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] ハイブリッド制御における有限オートマトンモデルの関連性2009
- Author(s)
  小林孝一, 井村順一
- Organizer
  計測自動制御学会第45回離散事象システム研究会講演論文集
- Place of Presentation
  新潟
- Year and Date
  2009-09-14
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] モデル予測制御における近似解法と離散ダイナミクスモデリング2009
- Author(s)
  小林孝一, 井村順一, 平石邦彦
- Organizer
  第52回自動制御連合講演会
- Place of Presentation
  大阪
- Year and Date
  2009-11-21
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] Stabilization of Deterministic Finite Automata Based on Linear State Equation Representation2009
- Author(s)
  Koichi Kobayashi, Jun-ichi Imura
- Organizer
  European Control Conference 2009
- Place of Presentation
  Budapest, Hungary
- Year and Date
  2009-08-26
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] ハイブリッドシステムにおける述語抽象化計算の高速化2009
- Author(s)
  平石邦彦, 小林孝一
- Organizer
  計測自動制御学会第45回離散事象システム研究会
- Place of Presentation
  新潟
- Year and Date
  2009-09-14
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] 離散確率ハイブリッドシステムのモデル予測制御2009
- Author(s)
  小林孝一, 平石邦彦
- Organizer
  計測自動制御学会第46回離散事象システム研究会
- Place of Presentation
  東京
- Year and Date
  2009-12-08
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] 整数計画法を用いた確率ブーリアンネットワークの制御2009
- Author(s)
  小林孝一, 平石邦彦
- Organizer
  計測自動制御学会システム・情報部門学術講演会2009
- Place of Presentation
  横浜
- Year and Date
  2009-11-24
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] ハイブリッドシステムに対する区間法の適用について2009
- Author(s)
  平石邦彦, 古今淳也, 小林孝一
- Organizer
  計測自動制御学会第46回離散事象システム研究会
- Place of Presentation
  東京
- Year and Date
  2009-12-08
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] モデル予測制御における近似解法と離散ダイナミクスモデリング2009
- Author(s)
  小林孝一, 井村順一, 平石邦彦
- Organizer
  第52回自動制御連合講演会
- Place of Presentation
  大阪
- Year and Date
  2009-11-21
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] 整数計画法を用いた確率ブーリアンネットワークの制御2009
- Author(s)
  小林孝一, 平石邦彦
- Organizer
  計測自動制御学会システム・情報部門学術講演会2009
- Place of Presentation
  横浜
- Year and Date
  2009-11-24
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] ハイブリッドシステムに対する区間法の適用について2009
- Author(s)
  平石邦彦, 古今淳也, 小林孝一
- Organizer
  計測自動制御学会第46回離散事象システム研究会
- Place of Presentation
  東京
- Year and Date
  2009-12-07
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] 離散確率ハイブリッドシステムのモデル予測制御2009
- Author(s)
  小林孝一, 平石邦彦
- Organizer
  計測自動制御学会第46回離散事象システム研究会
- Place of Presentation
  東京
- Year and Date
  2009-12-08
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] Stabilizing Model Predictive Control of Hybrid Systems with Discrete Dynamics2009
- Author(s)
  Koichi Kobayashi, Jun-ichi Imura, Kunihiko Hiraishi
- Organizer
  ICROS-SICE International Joint Conference 2009
- Place of Presentation
  福岡
- Year and Date
  2009-08-21
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] Stabilization of Deterministic Finite Automata Based on Linear State Equation Representation2009
- Author(s)
  Koichi Kobayashi, Jun-ichi Imura
- Organizer
  European Control Conference 2009
- Place of Presentation
  Budapest, Hungary
- Year and Date
  2009-08-26
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] ハイブリッドシステムにおける述語抽象化計算の高速化2009
- Author(s)
  平石邦彦, 小林孝一
- Organizer
  計測自動制御学会第45回離散事象システム研究会
- Place of Presentation
  新潟
- Year and Date
  2009-09-14
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] ハイブリッド制御における有限オートマトンモデルの関連性2009
- Author(s)
  小林孝一, 井村順一
- Organizer
  計測自動制御学会第45回離散事象システム研究会
- Place of Presentation
  新潟
- Year and Date
  2009-09-14
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] Polynomial-Time Controllability Analysis of Boolean Networks2009
- Author(s)
  Koichi Kobayashi, Jun-ichi Imura, Kunihiko Hiraishi
- Organizer
  2009 American Control Conference
- Place of Presentation
  St.Louis, USA
- Year and Date
  2009-06-10
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] ブーリアンネットワークにおける可制御性判定のための多項式時間アルゴリズム2009
- Author(s)
  小林孝一, 井村順一, 平石邦彦
- Organizer
  電子情報通信学会コンカレント工学研究会
- Place of Presentation
  東京
- Year and Date
  2009-08-06
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] Analysis and Control of Hybrid Systems with Parameter Uncertainty Based on Interval Methods2009
- Author(s)
  Koichi Kobayashi, Kunihiko Hiraishi
- Organizer
  2009 American Control Conference
- Place of Presentation
  St.Louis, USA
- Year and Date
  2009-06-11
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] 制御Lyapunov関数を用いたハイブリッドシステムの安定化2009
- Author(s)
  小林孝一, 井村順一, 平石邦彦
- Organizer
  第9回制御部門大会
- Place of Presentation
  広島
- Year and Date
  2009-03-04
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] 和分型状態方程式を用いた連続時間システムの部分空間同定法2009
- Author(s)
  小林孝一, 平石邦彦
- Organizer
  第9回制御部門大会
- Place of Presentation
  広島
- Year and Date
  2009-03-05
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] Observability Analysis of Boolean Networks with Biological Applications2009
- Author(s)
  Koichi Kobayashi, Jun-ichi Imura
- Organizer
  ICROS-SICE International Joint Conference 2009
- Place of Presentation
  福岡
- Year and Date
  2009-08-21
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] A Faster Approximation Technique for Predicate Abstraction of Hybrid Systems2009
- Author(s)
  Kunihiko Hiraishi, Koichi Kobayashi
- Organizer
  ICROS-SICE International Joint Conference 2009
- Place of Presentation
  福岡
- Year and Date
  2009-08-19
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] ハイブリッドシステムの解析と制御への区間法の適用2008
- Author(s)
  小林孝一, 平石邦彦
- Organizer
  計測自動制御学会第44回離散事象システム研究会
- Place of Presentation
  宮崎
- Year and Date
  2008-12-19
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] 区間法に基づくハイブリッドシステムの解析と制御2008
- Author(s)
  小林孝一, 平石邦彦
- Organizer
  計測自動制御学会第37回制御理論シンポジウム
- Place of Presentation
  霧島
- Year and Date
  2008-09-18
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] Explicit Modeling of Mode Transition Constraints for Model Predictive Control2008
- Author(s)
  Koichi Kobayashi, Kunihiko Hiraishi
- Organizer
  SICE Annual Conference 2008
- Place of Presentation
  Chofu
- Year and Date
  2008-08-20
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] On-line and Off-line Based Approximation Algorithm for Model Predictive Control of Hybrid Systems2008
- Author(s)
  Koichi Kobayashi, Nguyen Van Tang, Kunihiko Hiraishi
- Organizer
  23rd International Technical Conference on Circuits/Systems, Computers and Communications
- Place of Presentation
  Shimonoseki
- Year and Date
  2008-07-09
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] Explicit Modeling of Mode Transition Constraints for Model Predictive Control2008
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Organizer
  SICE Annual Conference 2008
- Place of Presentation
  調布
- Year and Date
  2008-08-20
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] 区間法に基づくハイブリッドシステムの解析と制御2008
- Author(s)
  小林孝一, 平石邦彦
- Organizer
  第37回制御理論シンポジウム
- Place of Presentation
  霧島
- Year and Date
  2008-09-18
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] モード遷移拘束を陽に考慮したハイブリッドシステムのモデリング2008
- Author(s)
  小林孝一, 平石邦彦
- Organizer
  第52回システム制御情報学会研究発表講演会講演
- Place of Presentation
  京都
- Year and Date
  2008-05-17
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] On-line and Off-line Based Approximation Algorithm for Model Predictive Control of Hybrid Systems2008
- Author(s)
  Koichi Kobayashi, Nguyen Van Tang, and Kunihiko Hiraishi
- Organizer
  23rd International Technical Conference on Circuiis/Systems, Computers and Communications
- Place of Presentation
  下関
- Year and Date
  2008-07-09
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] Computation Time Reduction Techniques for Model Predictive Control of Hybrid Systems2008
- Author(s)
  Koichi Kobayashi
- Organizer
  14th International Conference on Applications of Computer Algebra
- Place of Presentation
  Hagenberg i. M. (Austria)
- Year and Date
  2008-07-29
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] モード遷移拘束を陽に考慮したハイブリッドシステムのモデリング2008
- Author(s)
  小林孝一, 平石邦彦
- Organizer
  第52回システム制御情報学会研究発表講演会
- Place of Presentation
  京都
- Year and Date
  2008-05-17
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] ブーリアンネットワークモデルによる遺伝子発現ネットワークの可制御性解析2008
- Author(s)
  小林孝一, 井村順一, 平石邦彦
- Organizer
  電子情報通信学会第21回回路とシステム軽井沢ワークショップ
- Place of Presentation
  軽井沢
- Year and Date
  2008-04-21
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] ブーリアンネットワークモデルによる遺伝子発現ネットワークの可制御性解析2008
- Author(s)
  小林孝一, 井村順一, 平石邦彦
- Organizer
  第21回回路とシステム軽井沢ワークショップ
- Place of Presentation
  軽井沢
- Year and Date
  2008-04-21
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] ハイブリッドシステムの解析と制御への区間法の適用2008
- Author(s)
  小林孝一, 平石邦彦
- Organizer
  第44回離散事象システム研究会
- Place of Presentation
  宮崎
- Year and Date
  2008-12-19
- Data Source
  KAKENHI-PROJECT-20760278
[Presentation] アトラクターに着目したブーリアンネットワークの設計
- Author(s)
  小林孝一，平石邦彦
- Organizer
  計測自動制御学会第53回離散事象システム研究会
- Place of Presentation
  石川県文教会館，金沢
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] Modeling and Optimal Control of Multi-Hop Control Networks Based on the MLD Framework
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Organizer
  39th Annual Conference of the IEEE Industrial Electronics Society
- Place of Presentation
  Austria Center Vienna, Vienna, Austria
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] Controller Design of Networked Control Systems with Multiple Delays Using Interval Methods
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Organizer
  39th Annual Conference of the IEEE Industrial Electronics Society
- Place of Presentation
  Austria Center Vienna, Vienna, Austria
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] Optimal Control of Multi-Vehicle Systems with LTL Specifications
- Author(s)
  Koichi Kobayashi, Takuro Nagami, and Kunihiko Hiraishi
- Organizer
  52nd IEEE Conference on Decision and Control
- Place of Presentation
  Palazzo dei Congressi, Florence, Italy
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] Discrete Abstraction for a Class of Stochastic Hybrid Systems Based on Bounded Bisimulation
- Author(s)
  Koichi Kobayashi, Yasuhito Fukui, and Kunihiko Hiraishi
- Organizer
  52nd IEEE Conference on Decision and Control
- Place of Presentation
  Palazzo dei Congressi, Florence, Italy
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] 複数の不確かな遅延を有するネットワーク化制御システムの最適制御
- Author(s)
  小林孝一，平石邦彦
- Organizer
  電子情報通信学会システム数理と応用研究会
- Place of Presentation
  熊本大学，熊本
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] Self-Triggered Optimal Control of Linear Systems Using Convex Quadratic Programming
- Author(s)
  Koichi Kobayashi and Kunihiko Hiraishi
- Organizer
  13th International Workshop on Advanced Motion Control
- Place of Presentation
  慶応義塾大学，横浜
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] マルチホップ制御ネットワークのMLDシステム表現と最適制御
- Author(s)
  小林孝一，平石邦彦
- Organizer
  電子情報通信学会第25回回路とシステムワークショップ
- Place of Presentation
  淡路夢舞台国際会議場，淡路
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] 確率的モデル検査を用いた遺伝子ネットワークの解析
- Author(s)
  小林孝一，平石邦彦
- Organizer
  計測自動制御学会第53回離散事象システム研究会
- Place of Presentation
  東京工業大学，東京
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] 混合論理動的システム表現に基づくマルチホップ制御ネットワークの最適制御
- Author(s)
  小林孝一，平石邦彦
- Organizer
  電子情報通信学会高信頼制御通信研究会
- Place of Presentation
  大阪市立大学文化交流センターホール
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] 遺伝子ネットワークの解析と制御のための計算手法　～ブーリアンネットワークによるアプローチ～
- Author(s)
  小林孝一，平石邦彦
- Organizer
  計測自動制御学会ライフエンジニアリング部門シンポジウム2013
- Place of Presentation
  慶応義塾大学，横浜
- Data Source
  KAKENHI-PROJECT-23760387
[Presentation] 拘束線形システムのSelf-Triggeredモデル予測制御
- Author(s)
  小林孝一，平石邦彦
- Organizer
  第57回自動制御連合講演会
- Place of Presentation
  ホテル天坊（群馬県渋川市）
- Year and Date
  2014-11-10 – 2014-11-12
- Data Source
  KAKENHI-PROJECT-26420412
[Presentation] Hierarchical Implementation of Large-Scale Control Systems and Its Application to Air-Conditioning Systems
- Author(s)
  Wai Wai Shein, Koichi Kobayashi, and Kunihiko Hiraishi
- Organizer
  SICE Annual Conference 2013
- Place of Presentation
  名古屋大学，名古屋
- Data Source
  KAKENHI-PROJECT-23760387

1. HIRAISHI Kunihiko (40251970)

# of Collaborated Projects : 2results

# of Collaborated Products : 22results
2. 内平直志 (30393838)

# of Collaborated Projects : 1results

# of Collaborated Products : 3results
3. 崔舜星 (20631922)

# of Collaborated Projects : 1results

# of Collaborated Products : 3results
4. 佐々木康朗 (70743772)

# of Collaborated Projects : 1results

# of Collaborated Products : 1results
5. 水流聡子 (80177328)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
6. 金井秀明 (90282920)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
7. 山下裕 (90210426)

# of Collaborated Projects : 1results

# of Collaborated Products : 5results
8. 中村文一 (70362837)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results

KOBAYASHI Koichi 小林 孝一

Research Projects

Research Products

Co-Researchers

セキュアなサイバーフィジカルシステムのための制御・検証手法の開発Principal InvestigatorOngoing

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Input allocation control using control Lyapuov functionOngoing

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

看護・介護サービスの質を高める音声つぶやきによる気づきプラットフォームの研究Ongoing

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Simultaneous Optimization of Communication and Control for Cyber-Physical SystemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Control of Stochastic Hybrid Systems and Its Applications to Systems BiologyPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Safety Verification Based on Fluidification of Discrete Dynamics

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Control Theory of Hybrid Systems Based on a New Model of Finite AutomataPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Linear Quadratic Regulator with Decentralized Event-Triggering2017

Author(s)

Journal Title

Publisher

DOI

Language

Data Source

[Journal Article] Periodic Model Predictive Control of Multi-Hop Control Networks2017

Author(s)

Journal Title

Publisher

DOI

Language

Data Source

[Journal Article] Event-triggered and Self-triggered Control for Networked Control Systems Using Online Optimization2016

Author(s)

Journal Title

Publisher

DOI

Language

Data Source

[Journal Article] Attractor-Based Simultaneous Design of the Minimum Set of Control Nodes and Controllers in Boolean Networks2016

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Periodic Model Predictive Control of Multi-Hop Control Networks2016

Author(s)

Journal Title

Data Source

[Journal Article] Linear Quadratic Regulator with Decentralized Event-Triggering2016

Author(s)

Journal Title

Data Source

KOBAYASHI Koichi 小林孝一