�����Ɛ�

�w�p�G���f�ژ_��
����L��
���Ќf�ژ_��
���Ǖt�����ۉ�c���\
������c���\
���̑��i���ҍu���C���������Ȃǁj



�w�p�G���f�ژ_��

���e���̘_���F5�ҁi2019�N12��9���X�V�j

[71]  


Ryosuke Adachi, Yuh Yamashita, and Koichi Kobayashi:
Distributed Observer over Delayed Sensor Networks for Systems with Unknown Inputs,
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E103-A, No. 2, pp. 469-477 (2020)

[70]  


Ryo Masuda, Koichi Kobayashi, and Yuh Yamashita:
Dynamic Surveillance by Multiple Agents with Fuel Constraints,
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E103-A, No. 2, pp. 462-468 (2020)

[69]  


Shun Andoh, Koichi Kobayashi, and Yuh Yamashita:
Self-Triggered Pinning Consensus Control for Multi-Agent Systems,
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E103-A, No. 2, pp. 443-450 (2020)

[68]  


Shun-ichi Azuma, Daisuke Sato, Koichi Kobayashi, and Nobuyuki Yamaguchi:
Detection of Defaulting Participants of Demand Response Based on Sparse Reconstruction,
IEEE Transactions on Smart Grid, Vol. 11, No. 1, pp. 368-378 (2020)   Open Access

[67]  


Katsuaki Umiji, Koichi Kobayashi, and Yuh Yamashita:
Construction Method of Probabilistic Boolean Networks Based on Imperfect Information,
Algorithms, Vol. 12, No. 12, 268 (9 pages) (2019)   Link

[66]  


Kodai Miyazaki, Koichi Kobayashi, Shun-ichi Azuma, Nobuyuki Yamaguchi, and Yuh Yamashita:
Design and Value Evaluation of Demand Response Based on Model Predictive Control,
IEEE Transactions on Industrial Informatics, Vol. 15, No. 8, pp. 4809-4818 (2019)   Open Access

[65]  


Ryosuke Adachi, Yuh Yamashita, and Koichi Kobayashi:
Distributed Estimation over Delayed Sensor Network with Scalable Communication,
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E102-A, No. 5, pp. 712-720 (2019)

[64]  


Koichi Kobayashi:
Design of Fixed Points in Boolean Networks Using Feedback Vertex Sets and Model Reduction,
Complexity, Vol. 2019, Article ID 9261793, 9 pages (2019)   Link

[63]  


Koichi Kobayashi, Mifuyu Kido, and Yuh Yamashita:
Computationally Efficient Model Predictive Control for Multi-Agent Surveillance Systems,
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E102-A, No. 2, pp. 372-378 (2019)

[62]  


Koichi Kobayashi:
Predictive Pinning Control with Communication Delays for Consensus of Multi-Agent Systems,
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E102-A, No. 2, pp. 359-364 (2019)

[61]  


Wataru Hashimoto, Yuh Yamashita, and Koichi Kobayashi:
Asymptotic Stabilization of Nonholonomic Four-wheeled Vehicle with Steering Limitation,
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E102-A, No. 1, pp. 227-234 (2019)

[60]  


Kunihiko Hiraishi and Koichi Kobayashi:
A Pathfinding Problem for Search Trees with Unknown Edge Length,
Journal of Discrete Algorithms, Vol. 49, pp. 1-7 (2018)

[59]  


Ryo Masuda, Koichi Kobayashi, and Yuh Yamashita:
Optimal Monitoring of Multiple Agents via Time Sequence-Based Modeling,
SICE Journal of Control, Measurement, and System Integration, Vol. 11, No. 3, pp. 169-173 (2018)

[58]  


Dai Satoh, Koichi Kobayashi, and Yuh Yamashita:
MPC-Based Co-Design of Control and Routing for Wireless Sensor and Actuator Networks,
International Journal of Control, Automation and Systems, Vol. 16, No. 3, pp. 953-960 (2018)

[57]  


Shumpei Yoshikawa, Koichi Kobayashi, and Yuh Yamashita:
Quantized Event-Triggered Control of Discrete-Time Linear Systems with Switching Triggering Conditions,
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E101-A, No. 2, pp. 322-327 (2018)

[56]  


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

[55]  


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

[54]  


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

[53]  


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

[52]  



Kyohei Nakajima, Koichi Kobayashi, and Yuh Yamashita:
Linear Quadratic Regulator with Decentralized Event-Triggering,
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E100-A, No. 2, pp. 414-420 (2017)
2017�N�x�d�q���ʐM�w��_���܎��

[51]  


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

[50]  


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

[49]  


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

[48]  


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

[47]  


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

[46]  


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

[45]  


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

[44]  


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

[43]  


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

[42]  


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

[41]  


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

[40]  


Koichi Kobayashi and Kunihiko Hiraishi:
ILP/SMT-Based Method for Design of Boolean Networks Based on Singleton Attractors,
IEEE/ACM Transactions on Computational Biology and Bioinformatics, Vol. 11, No. 6, pp. 1253-1259 (2014)

[39]  


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

[38]  


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

[37]  


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

[36]  


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

[35]  


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

[34]  


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

[33]  


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

[32]  


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

[31]  


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

[30]  


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

[29]  


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

[28]  


Koichi Kobayashi:
Discussion on ``Theory and computation of discrete state space decompositions for hybrid systems'',
European Journal of Control, Vol. 19, No. 1, pp. 11-12 (2013)

[27]  


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

[26]  


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

[25]  


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

[24]  


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

[23]  


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

[22]  


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

[21]  


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

[20]  


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

[19]  


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

[18]  


���w���C���ΖM�F�C���эF��F
�J�ڊ֌W�Ɋ�Â��n�C�u���b�h�V�X�e���̋ߎ��o�͕�C
�v����������w��_���W�CVol. 47�CNo. 12�Cpp. 614-620 (2011)

[17]  


���эF��C���ΖM�F�F
�O���h�����l��������`�q�l�b�g���[�N�̍œK����C
�v����������w��_���W�CVol. 47�CNo. 11�Cpp. 520-526 (2011)

[16]  


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

[15]  


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

[14]  


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

[13]  


���эF��C���ΖM�F�F
�����v��@��p�����m���u�[���A���l�b�g���[�N�̍œK����C
�v����������w��_���W�CVol. 46�CNo. 11�Cpp. 659-665 (2010)

[12]  


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

[11]  


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

[10]  


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

[09]  


���ΖM�F�C���эF��C���w���F
�L�����ԋ�Ԃɑ΂���n�C�u���b�h�V�X�e���̗��U���ۉ��C
�v����������w��_���W�CVol. 44�CNo. 9�Cpp. 751-759 (2008)

[08]  


Koichi Kobayashi and Kunihiko Hiraishi:
Graph-Switching Based Modeling of Mode Transition Constraints for Model Predictive Control of Hybrid Systems,
SICE Journal of Control, Measurement, and System Integration, Vol. 1, No. 5, pp. 376-382 (2008)

[07]  


���эF��C�䑺����F
�n�C�u���b�h����ɂ�����L���I�[�g�}�g���̎��n��x�[�X�g���f�����O�C
�v����������w��_���W�CVol. 43�CNo. 9�Cpp. 798-805 (2007)

[06]  


���эF��C�䑺����F
�n�C�u���b�h�V�X�e���̐���ɂ�����L���I�[�g�}�g���̍ŏ��\���C
�v����������w��_���W�CVol. 43�CNo. 5�Cpp. 383-390 (2007)

[05]  


���эF��C�؎R���C�k�X�r�s�F
�a���^�^�����^��ԕ������\���Ɋ�Â����o�X�g����n�̉�́^�݌v�����̊֘A���ɂ‚��āC
�V�X�e��������w��_�����CVol. 19, No. 10, pp. 400-409 (2006)

[04]  


���эF��C�䑺����F
�n�C�u���b�h�V�X�e���̃��f���\������ɂ����闣�U�_�C�i�~�N�X���f�����O�C
�v����������w��_���W�CVol. 42�CNo. 7�Cpp. 799-805 (2006)     2007�N�x�v����������w��_���܂���ѕ��c�܎��

[03]  


���эF��C�䑺����F
�K�w�^����n�̓����œK�݌v�Ƃ��̉��M�F�̔R�Đ���ւ̉��p�C
�v����������w��_���W�CVol. 42�CNo. 7�Cpp. 783-790 (2006)

[02]  


���эF��C�؎R���C�k�X�r�s�F
�����I�E�H�w�I����Ƃ̐��������l�������a���^��ԕ������\���|��b�I��������ш��萫�̉�́C
�V�X�e��������w��_�����CVol. 19, No. 4, pp. 132-141 (2006)     2007�N�x�V�X�e��������w��_���܎��

[01]  


���эF��C�؎R���C�k�X�r�s�F
��ŏ��ʑ����������[�v�O�ɒǂ��o��������n�̐݌v���@�C
�v����������w��_���W�CVol. 39�CNo. 10�Cpp. 981-983 (2003)

�y�[�W�g�b�v��



����L��

[10]  


���эF��F
IoT����̃V�X�e�����䗝�_�F���ۋ쓮����Ǝ��ȋ쓮����C
�d�q���ʐM�w�� ��b�E���E�\�T�C�G�e�B Fundamentals Review�CVol. 11�CNo. 3�Cpp. 172-179 (2018)

[09]  


���эF��F
�}���`�z�b�v����l�b�g���[�N�̃��f���\������C
�v���Ɛ���CVol. 56�CNo. 7�Cpp. 492-497 (2017)

[08]  


���эF��C���ΖM�F�F
��`�q�l�b�g���[�N�̃V�X�e������ --�u�[���A���l�b�g���[�N�ɂ��A�v���[�`�C
�d�q���ʐM�w�� ��b�E���E�\�T�C�G�e�B Fundamentals Review�CVol. 10�CNo. 4�Cpp. 257-265 (2017)

[07]  


���эF��C���ΖM�F�F
���f���\������̂��߂̃n�C�u���b�h�V�X�e���̗��U���ۉ��C
�V�X�e��/����/���CVol. 61�CNo. 2�Cpp. 51-56 (2017)

[06]  


���эF��C���ΖM�F�F
�O���t��̘_���I��������ƒ}���`�r�[�N���V�X�e���̍œK����C
�v���Ɛ���CVol. 55�CNo. 11�Cpp. 966-971 (2016)

[05]  


���эF��C���ΖM�F�F
�A�g���N�^�[�ɒ��ڂ����u�[���A���l�b�g���[�N�̐݌v�C
�V�X�e��/����/���CVol. 59�CNo. 7�Cpp. 250-255 (2015)

[04]  


���эF��C���ΖM�F�F
��ԉ��Z��p�����s�m�������܂ރn�C�u���b�h�V�X�e���̃��f�����O�Ɛ���C
�v���Ɛ���CVol. 52�CNo. 12�Cpp. 1096-1101 (2013)

[03]  


���эF��C���ΖM�F�F
�v�Z�c�[����p�����m���u�[���A���l�b�g���[�N�̉�͂Ɛ���C
�v���Ɛ���CVol. 50�CNo. 11�Cpp. 969-974 (2011)

[02]  


���эF��F
�n�C�u���b�h�V�X�e���ɂ����闣�U�_�C�i�~�N�X�̃��f�����O�C
�V�X�e��/����/���CVol. 55�CNo. 3�Cpp. 75-81 (2011)

[01]  


���эF��F
�A�C�E�T�C�ⓚ�����u�����I�E�H�w�I����Ƃ̐��������l�������V������ԕ������v�C
�V�X�e��/����/���CVol. 52�CNo. 11�Cpp. 435-436 (2008)

�y�[�W�g�b�v��



���Ќf�ژ_��

[01]  



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

�y�[�W�g�b�v��



���Ǖt�����ۉ�c���\

[107]  


Koichi Kobayashi:
MPC-Based Persistent Surveillance by Heterogeneous Agents Using Mixed Integer Programming,
Proc. of the 25th International Symposium on Artificial Life and Robotics, pp. 414-417, Beppu (2020)

[106]  


Shun Andoh, Koichi Kobayashi, and Yuh Yamashita:
Hierarchical Pinning Control for Consensus of Multi-Agent Systems and Its Application to Vehicle Platooning,
Proc. of the 2020 IEEE/SICE International Symposium on System Integration, pp. 1064-1069, Honolulu (2020)

[105]  


Sheng Hao, Yuh Yamashita, and Koichi Kobayashi:
Robust Active Vibration Controller Design for a Class of Underactuated Nonlinear Systems,
Proc. of the 2020 IEEE/SICE International Symposium on System Integration, pp. 465-470, Honolulu (2020)

[104]  


Katsuaki Umiji, Koichi Kobayashi, and Yuh Yamashita:
Construction Method of Probabilistic Boolean Networks Based on Imperfect Information,
Proc. of the 2019 International Symposium on Nonlinear Theory and Its Applications, pp. 513-516, Kuala Lumpur (2019)

[103]  


Ryo Masuda, Koichi Kobayashi, and Yuh Yamashita:
Dynamic Surveillance by Multiple Agents with Fuel Constraints,
Proc. of the 2019 IEEE International Conference on Systems, Man, and Cybernetics, pp. 3331-3336, Bari (2019)

[102]  


Kiminori Sakano, Yuh Yamashita, and Koichi Kobayashi:
Stabilization of Nonlinear Systems by Sparse Input with Input Grouping,
Proc. of the SICE Annual Conference 2019, pp. 1653-1656, Hiroshima (2019)

[101]  


Shun Andoh, Koichi Kobayashi, and Yuh Yamashita:
Observer-Based Self-Triggered Pinning Control for Consensus of Multi-Agent Systems,
Proc. of the SICE Annual Conference 2019, pp. 1440-1443, Hiroshima (2019)

[100]  


Ryosuke Adachi, Yuh Yamashita, and Koichi Kobayashi:
On the Optimality of Distributed Observer Using Belief Propagation,
Proc. of the SICE Annual Conference 2019, pp. 645-648, Hiroshima (2019)

[99]  


Akihisa Higashino, Yuh Yamashita, and Koichi Kobayashi:
Control of Bilateral Teleoperation System Consisting of Heterogeneous Manipulators with Communication Delay,
Proc. of the 11th IFAC Symposium on Nonlinear Control Systems, pp. 1307-1312, Vienna (2019)

[98]  


Kei Isono, Koichi Kobayashi, Ryosuke Adachi, and Yuh Yamashita:
Attack Detection in Control Systems Based on Unknown Input Observers and Control Performance,
Proc. of the 34th International Technical Conference on Circuits/Systems, Computers and Communications, pp. 290-293, Jeju (2019)

[97]  


Daiki Ogawa, Koichi Kobayashi, and Yuh Yamashita:
Effectiveness and Limitation of Blockchain in Distributed Optimization,
Proc. of the 34th International Technical Conference on Circuits/Systems, Computers and Communications, pp. 286-289, Jeju (2019)

[96]  


Koichi Kobayashi, Kyohei Nakajima, and Yuh Yamashita:
Decentralized Event-Triggered Control of Discrete-Time Linear Systems Based on Uniformly Ultimate Boundedness,
Proc. of the 12th Asian Control Conference, pp. 1392-1397, Kitakyushu (2019)

[95]  


Ryosuke Adachi, Yuh Yamashita, and Koichi Kobayashi:
Distributed Estimation over Delayed Sensor Networks with Cyclic Structure,
Proc. of the 12th Asian Control Conference, pp. 1386-1391, Kitakyushu (2019)

[94]  


Daiki Ogawa, Koichi Kobayashi, and Yuh Yamashita:
Blockchain-Based Distributed Optimization for Energy Management Systems,
Proc. of the IEEE International Conference on Industrial Cyber-Physical Systems, pp. 694-699, Taipei (2019)

[93]  


Koichi Kobayashi:
Observer-Based Predictive Pinning Control for Consensus of Multi-Agent Systems,
Proc. of the 24th International Symposium on Artificial Life and Robotics, pp. 458-461, Beppu (2019)

[92]  


Koichi Kobayashi:
A Graph-Theoretic Approach to Design of Probabilistic Boolean Networks,
Proc. of the 5th IFAC Conference on Analysis and Control of Chaotic Systems, pp. 191-196, Eindhoven (2018)

[91]  


Ryosuke Adachi, Yuh Yamashita, and Koichi Kobayashi:
Observer Design for Distributed Network Systems with Communication Delays,
Proc. of the 5th IFAC Conference on Analysis and Control of Chaotic Systems, pp. 102-107, Eindhoven (2018)

[90]  


Sheng Hao, Yuh Yamashita, and Koichi Kobayashi:
Active Nonlinear Tuned Mass Damper via IDA-PBC,
Proc. of the 2018 IEEE International Conference on Systems, Man, and Cybernetics, pp. 4383-4388, Miyazaki (2018)

[89]  


Kunihiko Hiraishi, Naoshi Uchihira, Sunseong Choe, and Koichi Kobayashi:
Information Supervisory Control of Human Behavior - A Formal Model and Simulation -,
Proc. of the 2018 IEEE International Conference on Systems, Man, and Cybernetics, pp. 2021-2026, Miyazaki (2018)

[88]  


Koichi Kobayashi, Mifuyu Kido, and Yuh Yamashita:
Computationally Efficient Model Predictive Control for Multi-Agent Surveillance Systems,
Proc. of the 2018 IEEE International Conference on Systems, Man, and Cybernetics, pp. 2015-2020, Miyazaki (2018)

[87]  


Shun Andoh, Koichi Kobayashi, and Yuh Yamashita:
Self-Triggered Predictive Pinning Control for Consensus of Multi-Agent Systems,
Proc. of the SICE Annual Conference 2018 (Position paper), pp. 1806-1809, Nara (2018)

[86]  


Shumpei Yoshikawa, Koichi Kobayashi, and Yuh Yamashita:
Switching Controller Design for Quantized Event-Triggered Control,
Proc. of the SICE Annual Conference 2018 (Position paper), pp. 1797-1800, Nara (2018)

[85]  


Koichi Kobayashi:
On Model Reduction of Probabilistic Boolean Networks,
Proc. of the SICE Annual Conference 2018 (Position paper), pp. 1411-1413, Nara (2018)

[84]  


Koichi Kobayashi:
On Opacity Formulation and Verification in Boolean Networks,
Proc. of the SICE Annual Conference 2018 (Position paper), pp. 253-255, Nara (2018)

[83]  


Yuh Yamashita, Kiminori Sakano, and Koichi Kobayashi:
Asymptotically Stabilizing Controller Generating Sparse Input for Nonlinear Systems,
Proc. of the 23rd International Symposium on Mathematical Theory of Networks and Systems, pp. 435-440, Hong Kong (2018)

[82]  


Kodai Miyazaki, Koichi Kobayashi, Shun-ichi Azuma, Nobuyuki Yamaguchi, and Yuh Yamashita:
MPC-Based Design of Demand Response Programs in Energy Management Systems,
Proc. of the 33rd International Technical Conference on Circuits/Systems, Computers and Communications, pp. 620-622, Bangkok (2018)

[81]  


Sheng Hao, Yuh Yamashita, and Koichi Kobayashi:
Vibration Suppression of Hamiltonian Systems with Velocity and Force Disturbances Using IDA-PBC,
Proc. of the Second IFAC Conference on Modelling, Identification and Control of Nonlinear Systems, pp. 285-290, Guadalajara (2018)

[80]  


Kazuya Nomura, Yuh Yamashita, and Koichi Kobayashi:
Nonlinear system identification by affine coordinate unification of locally identified MIMO linear systems,
Proc. of the SICE International Symposium on Control Systems 2018, Su21-1, Tokyo (2018)

[79]  


Koichi Kobayashi:
Predictive Pinning Control with Communication Delays for Consensus of Multi-Agent Systems,
Proc. of the 15th International Workshop on Advanced Motion Control, pp. 593-598, Tokyo (2018)

[78]  


Kodai Miyazaki, Koichi Kobayashi, Shun-ichi Azuma, Nobuyuki Yamaguchi, and Yuh Yamashita:
Model Predictive-Based Demand Response in Energy Management Systems,
Proc. of the 23rd International Symposium on Artificial Life and Robotics, pp. 815-818, Beppu (2018)

[77]  


Kenta Ohashi, Koichi Kobayashi, and Yuh Yamashita:
Markov Chain-Based Modeling Techniques of Appliances for Demand Response,
Proc. of the 23rd International Symposium on Artificial Life and Robotics, pp. 805-808, Beppu (2018)

[76]  


Kunihiko Hiraishi, Naoshi Uchihira, Sunseong Choe, and Koichi Kobayashi:
Information Supervisory Control of Human Behavior - Experiments and Formal Modeling -,
Proc. of the 2017 Asian Control Conference, pp. 1351-1356, Gold Coast (2017)

[75]  


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

[74]  


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

[73]  


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

[72]  


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

[71]  


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

[70]  


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

[69]  


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

[68]  


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

[67]  


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

[66]  


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

[65]  


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

[64]  


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

[63]  


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

[62]  


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

[61]  


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

[60]  


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

[59]  


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

[58]  


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

[57]  


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

[56]  


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

[55]  


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

[54]  



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

[53]  


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

[52]  


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

[51]  


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

[50]  


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

[49]  


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

[48]  


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

[47]  


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

[46]  


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

[45]  


Koichi Kobayashi and Kunihiko Hiraishi:
On Model Checking of Real-Time Pricing Systems Modeled by Probabilistic Discrete Models,
Proc. of the SICE Annual Conference 2014 (Position paper), pp. 1278-1281, Sapporo (2014)

[44]  


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

[43]  


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

[42]  


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

[41]  


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

[40]  


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

[39]  



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

[38]  


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

[37]  


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

[36]  


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

[35]  


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

[34]  


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

[33]  


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

[32]  


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

[31]  


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

[30]  


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

[29]  



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

[28]  


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

[27]  


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

[26]  


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

[25]  


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

[24]  


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

[23]  


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

[22]  


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

[21]  


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

[20]  


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

[19]  


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

[18]  


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

[17]  


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

[16]  


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

[15]  


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

[14]  


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

[13]  


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

[12]  


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

[11]  


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

[10]  


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

[09]  


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

[08]  


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

[07]  


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

[06]  


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

[05]  


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

[04]  


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

[03]  


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

[02]  


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

[01]  


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

�y�[�W�g�b�v��



������c���\

[168]  


�g��s���C���эF��C�R���T�F
��l�I�ǗL�E���Ɋ�Â����ۋ쓮�^�ʎq����ԃt�B�[�h�o�b�N�̐݌v�C
�d�q���ʐM�w��Z�p�����񍐁CVol. XXX�CNo. XXX�CMSS2019-XX�Cpp. XX-XX�C���S (2020)�i���\�\��j

[167]  


���эF��F
�����I���Ɋ�Â��ȕւȊm���u�[���A���l�b�g���[�N�̓��o�C
��67�񗣎U���ۃV�X�e��������u���_���W�Cpp. XX-XX�C���S (2020)�i���\�\��j

[166]  


�E��\�C���эF��C��������C�R���T�F
Moving Horizon�����p��������V�X�e���̃Z���T�U�����m�C
�d�q���ʐM�w��Z�p�����񍐁CVol. 119�CNo. 361�CMSS2019-46�Cpp. 31-36�C�L�� (2020)

[165]  


��������C�፲�T���C���эF��F
ADMM��p�����O���t��̓��I�A���C
�d�q���ʐM�w��Z�p�����񍐁CVol. 119�CNo. 314�CMSS2019-39�Cpp. 117-120�C�k��B (2019)

[164]  


�����x�C���эF��C�R���T�F
�K�w�^�s�j���O���Ӑ���ɂ��ԌQ����C
�v����������w�� �V�X�e���E��񕔖� �w�p�u���� 2019 �u���_���W�CSS01-03�C��t (2019)

[163]  


�������C���эF��C�R���T�F
�G�l���M�[�Ǘ��V�X�e���̕��U�œK���F�u���b�N�`�F�[���ɂ������C
�v����������w�� �V�X�e���E��񕔖� �w�p�u���� 2019 �u���_���W�CSS01-02�C��t (2019)

[162]  


�E��\�C���эF��C��������C�R���T�F
Moving Horizon�����p��������V�X�e���̍U�����m�C
�v����������w�� �V�X�e���E��񕔖� �w�p�u���� 2019 �u���_���W�CSS01-01�C��t (2019)

[161]  


�n�I�Z�C�C�R���T�C���эF��F
����`�V�X�e���ɂ�����󓮐��Ɋ�Â������o�X�g�U������C
��62�񎩓�����A���u����C2E2-03�C�D�y (2019)

[160]  


��열���C�R���T�C���эF��F
�O���[�v�����ꂽ�X�p�[�X���͂ɂ�����`�n�̈��艻�C
��62�񎩓�����A���u����C2F1-03�C�D�y (2019)

[159]  


���эF��F
�O���t���_�I�A�v���[�`�ɂ��m���u�[���A���l�b�g���[�N�̐���C
��62�񎩓�����A���u����C2B1-01�C�D�y (2019)

[158]  


�����x�C���эF��C�R���T�F
���ȋ쓮�^�؂�ւ��s�j���O����ƎԌQ����ւ̉��p�C
��62�񎩓�����A���u����C1A4-01�C�D�y (2019)

[157]  


��������C�፲�T���C���эF��F
�œK����Ɋ�Â��O���t��̓��I�A�����̉�@�C
��62�񎩓�����A���u����C1B2-03�C�D�y (2019)

[156]  


�������C���эF��C�R���T�F
�u���b�N�`�F�[����p����ADMM�F�G�l���M�[�Ǘ��V�X�e���ւ̉��p�C
��62�񎩓�����A���u����C1A2-02�C�D�y (2019)

[155]  


�E��\�C���эF��C��������C�R���T�F
���m���̓I�u�U�[�o��p��������V�X�e���̍U�����m�C
��62�񎩓�����A���u����C1A1-03�C�D�y (2019)

[154]  


�g��s���C���эF��C�R���T�F
�ʎq����ԃt�B�[�h�o�b�N�ɂ��C�x���g�쓮����C
��62�񎩓�����A���u����C1A1-01�C�D�y (2019)

[153]  


���r��C�������C���эF��C�R�����V�F
�f�}���h���X�|���X�̎��{�f�f�C
�d�q���ʐM�w��Z�p�����񍐁CVol. 119�CNo. 270�CRCC2019-57�Cpp. 19-20�C�ޗ� (2019)

[152]  


���эF��F
�Z���T�l�b�g���[�N�̂��߂̃C�x���g�쓮���� �` LMI�Ɋ�Â��A�v���[�` �`�C
�v�V�I�����ʐM�Z�p�Ɋւ��鉡�f�^������iMIKA 2019�j�C�D�y (2019)

[151]  


�R���T�C����Y���C���эF��F
�I�t�Z�b�g�t�����̓R�X�g�ɑ΂���œK���M�����[�^�̒莮���ɂ‚��āC
�d�q���ʐM�w��Z�p�����񍐁CVol. 119�CNo. 209�CNLP2019-55�Cpp. 105-108�C���m (2019)

[150]  


���эF��F
���U���Ԑ��`�V�X�e���̃C�x���g�x�[�X�g�ȃG�l���M�[����C
��66�񗣎U���ۃV�X�e��������u���_���W�Cpp. 1-2�C�Η� (2019)

[149]  


�������C���эF��C�R���T�F
�u���b�N�`�F�[����p�����G�l���M�[�Ǘ��V�X�e���̕��U�œK���C
�d�q���ʐM�w��Z�p�����񍐁CVol. 119�CNo. 156�CMSS2019-7�Cpp. 31-36�C���� (2019)

[148]  


���эF��F
�����G�[�W�F���g�ɂ��O���t��̓��I�Ď� �` �‰������ɂ‚��� �`�C
�d�q���ʐM�w��Z�p�����񍐁CVol. 119�CNo. 58�CRCC2019-1�Cpp. 1-4�C���� (2019)

[147]  


���c�I�ԁC�R���T�C��������C���эF��F
�����_���ʐM���s���R���Z���T�X�t�B���^�Ɋ�Â����U�I�u�U�[�o�C
�v����������w���6�񐧌䕔��}���`�V���|�W�E���C3D1-4�C�F�{ (2019)

[146]  


��������C�R���T�C���эF��F
���I�l�b�g���[�N�V�X�e���̏d�ݕt�������Ɋ�Â������́C
�v����������w���6�񐧌䕔��}���`�V���|�W�E���C2F2-4�C�F�{ (2019)

[145]  


�{�����C���эF��C���r��C�R�����V�C�R���T�F
���ȋ쓮���f���\������Ɋ�Â��f�}���h���X�|���X�̐݌v�C
�v����������w���6�񐧌䕔��}���`�V���|�W�E���C2F1-4�C�F�{ (2019)

[144]  


���c���C���эF��C�R���T�F
�R��������l�������O���t��̃}���`�G�[�W�F���g���j�^�����O�C
�d�q���ʐM�w��Z�p�����񍐁CVol. 118�CNo. 384�CMSS2018-60�Cpp. 33-36�C�ߔe (2019)

[143]  


�{�����C���эF��C���r��C�R�����V�C�R���T�F
���ۋ쓮���f���\������Ɋ�Â��f�}���h���X�|���X�̐݌v�C
�d�q���ʐM�w��Z�p�����񍐁CVol. 118�CNo. 384�CMSS2018-56�Cpp. 13-18�C�ߔe (2019)

[142]  


�勴�����C���эF��C�R���T�F
�f�}���h���X�|���X�̂��߂̓d�͏���_�C�i�~�N�X�̃��f���\������C
�d�q���ʐM�w��Z�p�����񍐁CVol. 118�CNo. 384�CMSS2018-55�Cpp. 7-12�C�ߔe (2019)

[141]  


��������C�R���T�C���эF��F
�m���`���@�Ɋ�Â��Z���T�l�b�g���[�N��̓����ʐM�̉�́C
�d�q���ʐM�w��Z�p�����񍐁CVol. 118�CNo. 344�CRCC2018-83�Cpp. 135-139�C�{�Ó� (2018)

[140]  


�勴�����C���эF��C�R���T�F
�ؑ֌^�m�����f���Ɋ�Â��d�͏���_�C�i�~�N�X�̃��f�����Ɛ���C
�v����������w�� �V�X�e���E��񕔖� �w�p�u���� 2018 �u���_���W�CSS01-12�C�x�R (2018)

[139]  


�{�����C���эF��C���r��C�R�����V�C�R���T�F
���f���\������Ɋ�Â��f�}���h���X�|���X�̐݌v�Ɖ��l�]���C
�v����������w�� �V�X�e���E��񕔖� �w�p�u���� 2018 �u���_���W�CSS01-11�C�x�R (2018)

[138]  


�i�J����C�V�c�����C���эF��C�V����F
�o�H�v���@�Ɋ�Â����ۋ쓮�^�œK����C
��61�񎩓�����A���u����Cpp. 1668-1672�C���É� (2018)     �i�J�F��61�񎩓�����A���u���� �D�G���\�܎��

[137]  


�����x�C���эF��C�R���T�F
�}���`�G�[�W�F���g�V�X�e���̎��ȋ쓮�^�s�j���O���Ӑ���C
��61�񎩓�����A���u����Cpp. 1415-1420�C���É� (2018)     �����F��61�񎩓�����A���u���� �D�G���\�܎��

[136]  


��열���C�R���T�C���эF��F
����`�n�ɑ΂���X�p�[�X���͈��艻�ƌ��_�ߖT�ł̋������P�C
��61�񎩓�����A���u����Cpp. 1365-1370�C���É� (2018)

[135]  


��������C�R���T�C���эF��F
�m���`���@��p�����x���Z���T�l�b�g���[�N��̃��A���^�C���f�[�^�A�O���Q�[�V�����̕��U�œK���C
��61�񎩓�����A���u����Cpp. 428-432�C���É� (2018)

[134]  


�C�n�����C���эF��C�R���T�F
���m�̃u�[���֐���p�����m���u�[���A���l�b�g���[�N�̍\�����@�C
��61�񎩓�����A���u����Cpp. 139-143�C���É� (2018)

[133]  


�勴�����C���эF��C�R���T�F
�f�}���h���X�|���X�̂��߂̓d�͏���_�C�i�~�N�X�̃��f�����C
����30�N�d�C�w��d�q�E���E�V�X�e��������Cpp. 1027-1030�C�D�y (2018)

[132]  


�{�����C���эF��C���r��C�R�����V�C�R���T�F
���f���\������Ɋ�Â��f�}���h���X�|���X�v���O�����̐݌v�C
����30�N�d�C�w��d�q�E���E�V�X�e��������Cpp. 1020-1024�C�D�y (2018)     �{��F����30�N�d�C�w�� �D�G�_�����\A��

[131]  


��������C�R���T�C���эF��F
�x���Z���T�l�b�g���[�N��̃X�P�[���u���ʐM��p�������U��Ԑ���C
����30�N�d�C�w��d�q�E���E�V�X�e��������Cpp. 980-985�C�D�y (2018)

[130]  


���c���C���эF��C�R���T�F
�����G�[�W�F���g�ɂ��O���t��̍œK���j�^�����O�C
����30�N�d�C�w��d�q�E���E�V�X�e��������Cpp. 970-973�C�D�y (2018)

[129]  


���эF��F
�u�[���A���l�b�g���[�N�ɑ΂���I�p�V�e�B�̒莮���ƌ��؁C
�v����������w���64�񗣎U���ۃV�X�e��������u���_���W�Cpp. 13-15�C���R (2018)

[128]  


�����x�C���эF��C�R���T�F
�}���`�G�[�W�F���g�V�X�e���̍��Ӗ��̂��߂̎��ȋ쓮�^�s�j���O����C
�d�q���ʐM�w��Z�p�����񍐁CVol. 118�CNo. 85�CMSS2018-4�Cpp. 17-21�C�D�y (2018)

[127]  


�g��s���C���эF��C�R���T�F
�ʎq���C�x���g�쓮����̂��߂̐ؑ֌^�����̐݌v�C
�d�q���ʐM�w���31���H�ƃV�X�e�����[�N�V���b�v�_���W�Cpp. 147-152�C�k��B (2018)�i���Ǖt�j

[126]  


���эF��F
�m���u�[���A���l�b�g���[�N�̃��f���᎟�����ɂ‚��āC
��62��V�X�e��������w������\�u����u���_���W�C114-6�C���s (2018)

[125]  


����W���C�R���T�C���эF��F
�ʐM�x���̂���ٍ\���o�C���e�����e���I�y���[�^�[�̐���C
��62��V�X�e��������w������\�u����u���_���W�C116-1�C���s (2018)

[124]  


�C�n�����C���эF��C�R���T�F
�����I���Ɋ�Â��m���u�[���A���l�b�g���[�N�̍\�����@�C
�d�q���ʐM�w��Z�p�����񍐁CVol. 118�CNo. 15�CNLP2018-11�Cpp. 49-52�C�F�{ (2018)

[123]  


�،˔��~�C���эF��C�R���T�F
���ۋ쓮�^�}���`�G�[�W�F���g�Ď��V�X�e���̐݌v�C
�v����������w���63�񗣎U���ۃV�X�e��������u���_���W�Cpp. 34-36�C��� (2018)

[122]  


���������C���эF��C�R���T�F
�T�C�o�[�t�B�W�J���V�X�e���̂��߂̓����^�^�񓯊��^���U�C�x���g�쓮����C
�d�q���ʐM�w��Z�p�����񍐁CVol. 117�CNo. 506�CMSS2017-87�Cpp. 53-56�C��� (2018)

[121]  


��������C�R���T�C���эF��F
����H���܂ރO���t��̃X�P�[���u�����A���^�C�������ʐM�ɂ�镪�U��Ԑ���C
�v����������w���5�񐧌䕔��}���`�V���|�W�E���CSa62-3�C���� (2018)

[120]  


���эF��F
�}���`�G�[�W�F���g�V�X�e���̍��Ӗ��̂��߂̃s�j���O�\������C
�d�q���ʐM�w��Z�p�����񍐁CVol. 117�CNo. 348�CRCC2017-88�Cpp. 209-213�C�ߔe (2017)

[119]  


�g��s���C���эF��C�R���T�F
�ʎq���M���𗘗p�������U���Ԑ��`�V�X�e���̎��ۋ쓮����C
�v����������w�� �V�X�e���E��񕔖� �w�p�u���� 2017�Cpp. 435-437�C�l�� (2017)

[118]  


���c���C���эF��C�R���T�F
���n�񃂃f�����O�ɂ��O���t��̃}���`�G�[�W�F���g���j�^�����O�C
�v����������w�� �V�X�e���E��񕔖� �w�p�u���� 2017�Cpp. 431-434�C�l�� (2017)

[117]  


�勴�����C���эF��C�R���T�F
�f�}���h���X�|���X�̂��߂̓d�͏���_�C�i�~�N�X�̊m�����f���C
�v����������w�� �V�X�e���E��񕔖� �w�p�u���� 2017�Cpp. 428-430�C�l�� (2017)

[116]  


���{�q�C�R���T�C���эF��F
CLF��Ԃ�p�����l�֎ԗ��n�̏�Q����𐧌�C
��60�񎩓�����A���u����CSuA3-5�C���z (2017)

[115]  


�{�����C���эF��C���r��C�R�����V�C�R���T�F
���f���\���^�f�}���h���X�|���X�̉��l�]���C
��60�񎩓�����A���u����CSaA4-3�C���z (2017)

[114]  


���эF��F
�m���u�[���A���l�b�g���[�N�̕⊮���Ƃ��̉�@�C
��60�񎩓�����A���u����CSaG1-3�C���z (2017)

[113]  


���эF��F
���f���᎟������p�����u�[���A���l�b�g���[�N�̕s���_�݌v�C
�v����������w���62�񗣎U���ۃV�X�e��������u���_���W�Cpp. 25-28�C�X (2017)

[112]  


������C���эF��C�R���T�F
�p�P�b�g���X����������}���`�z�b�v����l�b�g���[�N�̎����I���f���\������C
����29�N�d�C�w��Y�Ɖ��p������C2-7�C���� (2017)

[111]  


�g��s���C���эF��C�R���T�F
���U���Ԑ��`�V�X�e���ɑ΂���ʎq���C�x���g�쓮����C
��61��V�X�e��������w������\�u����u���_���W�C352-7�C���s (2017)

[110]  


��������C�R���T�C���эF��F
�ʐM�x�����܂ރl�b�g���[�N��̕��U����n�ɂ������Ԑ���C
��61��V�X�e��������w������\�u����u���_���W�C352-6�C���s (2017)

[109]  


�勴�����C���эF��C�R���T�F
�f�}���h���X�|���X�̂��߂̎��v�Ƃ̐؊��^�m�����f���C
��61��V�X�e��������w������\�u����u���_���W�C352-5�C���s (2017)

[108]  


���{�q�C�R���T�C���эF��F
�q�X�e���V�X�@�\��p����4�֎ԗ��̑Q�߈��艻�C
��61��V�X�e��������w������\�u����u���_���W�C321-1�C���s (2017)

[107]  


���эF��F
�l�b�g���[�N������ɂ�������`�X�C�b�`�h�V�X�e���Ƃ��̋ߎ����f���C
�d�q���ʐM�w��Z�p�����񍐁CVol. 117�CNo. 19�CRCC2017-2�Cpp. 7-10�C���� (2017)

[106]  


���c���C���эF��C�R���T�F
���n�񃂃f�����O�ɂ�镡���G�[�W�F���g�̍œK���j�^�����O�C
�v����������w���61�񗣎U���ۃV�X�e��������u���_���W�Cpp. 28-31�C���] (2017)

[105]  


���эF��C���ΖM�F�C���w���C�������u�F
�Ō�E���T�[�r�X�ɂ�����P�A�X�^�b�t�̘A�g�s���̉�́C
�d�q���ʐM�w��Z�p�����񍐁CVol. 116�CNo. 525�CMSS2016-82�Cpp. 7-10�C���] (2017)

[104]  


���B���l�C�R���T�C���эF��F
Quad���[�^UAV�̑��ICLF�̍\�z�ɂ‚��āC
�v����������w���4�񐧌䕔��}���`�V���|�W�E���C3G2-4�C���R (2017)

[103]  


��ؑ��C�R���T�C���эF��F
���I�g���Ɛ��䃊�A�v�m�t�֐���p�����l�֎ԗ��ɑ΂�����͕��z����C
�v����������w���4�񐧌䕔��}���`�V���|�W�E���C1C2-3�C���R (2017)

[102]  


���������C���эF��C�R���T�F
���U�^�C�x���g�쓮���������ƒl�b�g���[�N������V�X�e���̔񓯊�����C
�d�q���ʐM�w��Z�p�����񍐁CVol. 116�CNo. 433�CRCC2016-70�Cpp. 31-34�C���{�� (2017)

[101]  


������C���эF��C�R���T�F
�}���`�z�b�v����l�b�g���[�N�̃��f���\������C
�v����������w�� �V�X�e���E��񕔖� �w�p�u���� 2016�Cpp. 688-693�C��� (2016)

[100]  


���������C���эF��C�R���T�F
�T�C�o�[�t�B�W�J���V�X�e���̂��߂̕��U�^�C�x���g�쓮����C
�v����������w�� �V�X�e���E��񕔖� �w�p�u���� 2016�Cpp. 682-687�C��� (2016)

[99]  


�،˔��~�C���эF��C�R���T�F
���������v��@�Ɋ�Â������G�[�W�F���g�̃��f���\���^�Ď��C
�v����������w�� �V�X�e���E��񕔖� �w�p�u���� 2016�Cpp. 682-687�C��� (2016)

[98]  


���V�L�C���эF��C�R���T�F
���f���\������̂��߂̐��`�X�C�b�`�h�V�X�e���̋ߎ�MLD�V�X�e�����f���C
�v����������w�� �V�X�e���E��񕔖� �w�p�u���� 2016�Cpp. 673-676�C��� (2016)

[97]  


������C���эF��C�R���T�F
�Z���T�E�A�N�`���G�[�^�l�b�g���[�N�̐�����͂ƌo�H�̓����œK���C
�d�q���ʐM�w��Z�p�����񍐁CVol. 116�CNo. 339�CRCC2016-52�Cpp. 89-93�C���� (2016)

[96]  


���B���l�C�R�� �T�C�쒆 ���C���� �F��F
���͐���t�����d�ϕ��n�̑��I��Implicit Control Lyapunov Function�݌v�C
��59�񎩓�����A���u����Cpp. 1070-1074�C�k��B (2016)

[95]  


�쑺 �a��C�R�� �T�C���� �F��F
�A�t�B���ȍ��W�ϊ���p��������`�V�X�e���̏�ԋ�ԃ��f������@�C
��59�񎩓�����A���u����Cpp. 714-719�C�k��B (2016)

[94]  


���� �F��F
�f�}���h���X�|���X�̂��߂̎��v�Ƃ̊m�����f���C
��59�񎩓�����A���u����Cpp. 650-652�C�k��B (2016)

[93]  


���� ����C�R�� �T�C���� �F��F
�؍\����L����Z���T�l�b�g���[�N�ɂ�镪�U�x��⏞����C
��59�񎩓�����A���u����Cpp. 97-101�C�k��B (2016)

[92]  


���������C���эF��C�R���T�F
���U�^�C�x���g�쓮������p�����œK���M�����[�^�C
�d�q���ʐM�w��2016�N�\�T�C�G�e�B���CA-10-6�C�D�y (2016)

[91]  


�،˔��~�C���эF��C�R���T�F
�����G�[�W�F���g�ɂ��O���t��̃��f���\���^�Ď��C
�v����������w���60�񗣎U���ۃV�X�e��������u���_���W�Cpp. 19-12�C���� (2016)

[90]  


���эF��F
�A�g���N�^�[�ɒ��ڂ����u�[���A���l�b�g���[�N�̉��䐫��́C
�d�q���ʐM�w��Z�p�����񍐁CVol. 116�CNo. 96�CMSS2016-12�Cpp. 61-66�C�O�O (2016)

[89]  


������C���эF��C�R���T�F
�}���`�z�b�v����l�b�g���[�N�̎����I���f���\������C
�d�q���ʐM�w��Z�p�����񍐁CVol. 116�CNo. 24�CRCC2016-4�Cpp. 17-22�C���� (2016)

[88]  


�쒆���C�R���T�C���эF��F
�����X���C�f�B���O���[�h����̐����݌v�ɂ‚��āC
�v����������w���3�񐧌䕔��}���`�V���|�W�E���C3D2-5�C���É� (2016)

[87]  


��������C�R���T�C���эF��F
�x��⏞�Ŗސ���@�̃N�A�h���[�^UAV�ւ̉��p�C
�v����������w���3�񐧌䕔��}���`�V���|�W�E���C2D3-3�C���É� (2016)

[86]  


���؉�����C�R���T�C���эF��F
�ʑ��ʑ̓��͐�������Œn�̑Q�߈��艻�Ƃ��̋t�œK���C
�v����������w���3�񐧌䕔��}���`�V���|�W�E���C2B2-3�C���É� (2016)

[85]  


���ΖM�F�C���w���C���эF��C���X�؍N�N�C�������u�F
�P�A�X�^�b�t�A�g�X�P�W���[�����O���@�` �ʐM��i�ɂ���r�ƃ\���o�[�ɂ��œK�� �`�C
�d�q���ʐM�w��Z�p�����񍐁CVol. 115�CNo. 480�CMSS2015-84�Cpp. 91-96�C���� (2016)

[84]  


���эF��C���ΖM�F�C���w���C�������u�F
�؊��^���`��A���f����p�����Ō�E���T�[�r�X�̍s����͂ɂ‚��āC
�d�q���ʐM�w��Z�p�����񍐁CVol. 115�CNo. 480�CMSS2015-78�Cpp. 57-60�C���� (2016)

[83]  


���������C���эF��C�R���T�F
���U���Ԑ��`�V�X�e���̕��U�^�C�x���g�쓮���œK����C
�d�q���ʐM�w��Z�p�����񍐁CVol. 115�CNo. 442�CRCC2015-88�Cpp. 13-16�C��� (2016)

[82]  


���эF��C���ΖM�F�F
�ʐM�Ɛ���̓����œK���F���ۋ쓮����Ǝ��ȋ쓮����C
�v����������w��V�X�e���E��񕔖�w�p�u����2015�u���_���W�Cpp. 1112-1115�C���� (2015)

[81]  


���эF��F
�O����L����l�b�g���[�N������V�X�e���̎��ȋ쓮���f���\������C
��58�񎩓�����A���u����C1D2-1�C�_�� (2015)

[80]  


���эF��C���ΖM�F�F
���i���ʂ̗򉻂��l�������d�͂̃��A���^�C���v���C�V���O�C
�v����������w���58�񗣎U���ۃV�X�e��������u���_���W�Cpp. 1-5�C���É� (2015)

[79]  


���эF��C���ΖM�F�F
�l�b�g���[�N�\���ƒ���ԕ��z�Ɋ�Â��m���u�[���A���l�b�g���[�N�̐݌v�C
�d�q���ʐM�w��Z�p�����񍐁CVol. 115�CNo. 87�CMSS2015-1�Cpp. 1-6�C���M (2015)

[78]  


���эF��C���ΖM�F�F
�񓯊������l�������d�͂̃��f���\���^���A���^�C���v���C�V���O�C
�d�q���ʐM�w��Z�p�����񍐁CVol. 115�CNo. 58�CRCC2015-3�Cpp. 9-12�C���� (2015)

[77]  


������N�C���c���C�{�{�M��C���ΖM�F�C���эF��C���w���C�������u�F
�����‚Ԃ₫�V�X�e���̃��A���^�C���󋵔c���ɑ΂�����ʂɂ‚��āC
�T�[�r�X�w���3�񍑓����u���_���W�Cpp. 290-293�C���� (2015)

[76]  


�����O�C���ΖM�F�C���эF��F
���T�[�r�X�ɂ�����s�����O����̏󋵔F���ɂ‚��āC
�v����������w���57�񗣎U���ۃV�X�e��������u���_���W�Cpp. 7-10�C���� (2015)

[75]  


���эF��C���ΖM�F�F
������͗�𑗐M���鎩�ȋ쓮�^���ۋ쓮���f���\������ɂ‚��āC
�d�q���ʐM�w��Z�p�����񍐁CVol. 114�CNo. 388�CRCC2014-73�Cpp. 45-48�C���É� (2015)

[74]  


���эF��C���ΖM�F�F
�I�����C���œK���ɂ�鎖�ۋ쓮����Ǝ��ȋ쓮����ɂ‚��āC
�v����������w���56�񗣎U���ۃV�X�e��������u���_���W�Cpp. 21-25�C���� (2014)

[73]  


�㌴���k�C���ΖM�F�C���эF��F
�y�g���l�b�g�ɂ���`�ʌ�ʗ��̃��f�����ƍ��G��ԃV�~�����[�V�����C
�d�q���ʐM�w��Z�p�����񍐁CVol. 114�CNo. 313�CMSS2014-54�Cpp. 17-22�C�Ί_ (2014)

[72]  


���эF��C���ΖM�F�F
�m�����f���\������Ɋ�Â����A���^�C���v���C�V���O�C
��57�񎩓�����A���u����Cpp. 465-467, �ɍ��� (2014)

[71]  


���эF��C���ΖM�F�F
�S�����`�V�X�e����Self-Triggered���f���\������C
��57�񎩓�����A���u����Cpp. 425-426, �ɍ��� (2014)

[70]  


���эF��C���ΖM�F�F
�m�����U���f����p�������f���\���^���A���^�C���v���C�V���O�C
�v����������w���55�񗣎U���ۃV�X�e��������u���_���W�Cpp. 19-22�C����� (2014)

[69]  


���эF��C���ΖM�F�F
���A���^�C���v���C�V���O�̐݌v�ւ̊m���I�A�v���[�`�C
�d�q���ʐM�w��Z�p�����񍐁CVol. 114�CNo. 60�CRCC2014-17�Cpp. 83-86�C���� (2014)

[68]  


���эF��C���ΖM�F�F
���U�l���͂����‘�K�̓V�X�e���̃��f���\������C
��58��V�X�e��������w������\�u����u���_���W�C322a-1�C���s (2014)

[67]  


���эF��C���ΖM�F�F
���A���^�C���v���C�V���O�ɂ�������v�ƃ��f���ƃ��f�������C
��58��V�X�e��������w������\�u����u���_���W�C111b-1�C���s (2014)

[66]  


���эF��C���ΖM�F�F
�m�����U���f���Ɋ�Â����A���^�C���v���C�V���O�V�X�e���̐݌v�C
�v����������w���1�񐧌䕔��}���`�V���|�W�E���C6C3-1�C���z (2014)

[65]  


���эF��C���ΖM�F�F
�A�g���N�^�[�ɒ��ڂ����u�[���A���l�b�g���[�N�̐݌v�C
�v����������w���54�񗣎U���ۃV�X�e��������u���_���W�Cpp. 45-50�C���� (2013)

[64]  


���эF��C���ΖM�F�F
�����_�����I�V�X�e���\���Ɋ�Â��}���`�z�b�v����l�b�g���[�N�̍œK����C
�d�q���ʐM�w��2013�N�x��3�񍂐M������ʐM��������W�Cpp. 1-4�C��� (2013)

[63]  


���эF��C���ΖM�F�F
��`�q�l�b�g���[�N�̉�͂Ɛ���̂��߂̌v�Z��@�@�`�u�[���A���l�b�g���[�N�ɂ��A�v���[�`�`�C
�v����������w��C�t�G���W�j�A�����O����V���|�W�E��2013�Cpp. 235-236�C���l (2013)

[62]  


���эF��C���ΖM�F�F
�}���`�z�b�v����l�b�g���[�N��MLD�V�X�e���\���ƍœK����C
�d�q���ʐM�w���25���H�ƃV�X�e�����[�N�V���b�v�_���W�Cpp. 243-248�C�W�H (2013)�i���Ǖt�j

[61]  


���эF��C���ΖM�F�F
�m���I���f��������p������`�q�l�b�g���[�N�̉�́C
�v����������w���53�񗣎U���ۃV�X�e��������u���_���W�Cpp. 19-22�C���� (2013)

[60]  


���эF��C���ΖM�F�F
�����̕s�m���Ȓx����L����l�b�g���[�N������V�X�e���̍œK����C
�d�q���ʐM�w��Z�p�����񍐁CVol. 113�CNo. 118�CMSS2013-1�Cpp. 9-14�C�F�{ (2013)

[59]  


�r�c�M���C�ŒˏC�{��W�a�C���w���C���эF��C���ΖM�F�C�������u�F
�C�x���g���O�Ɋ�Â����s���^�T�[�r�X�̕��́C
�d�q���ʐM�w��Z�p�����񍐁CVol. 113�CNo. 118�CMSS2013-1�Cpp. 1-8�C�F�{ (2013)

[58]  


���эF��C�ۓc��Y�C�N�Ԉ꓿�C���r��F
�}���`�G�[�W�F���g�}���R�t����ߒ��̍œK����ƃ��A���^�C���v���C�V���O�ւ̉��p�C
��57��V�X�e��������w������\�u����u���_���W�C331-2�C�_�� (2013)

[57]  


����N�m�C���эF��C���ΖM�F�F
�m���n�C�u���b�h�V�X�e���̗��U���ۉ��@�`��`�q�g�O���X�C�b�`�̉�͂ւ̓K�p�`�C
�d�q���ʐM�w��Z�p�����񍐁CVol. 112�CNo. 457�CMSS2012-72�Cpp. 75-79�C���� (2013)

[56]  


���эF��C���ΖM�F�F
1�X�e�b�v�\����Ԃɒ��ڂ������`�V�X�e����Self-Triggered�œK����C
�d�q���ʐM�w��Z�p�����񍐁CVol. 112�CNo. 383�CMSS2012-53�Cpp. 45-48�C��� (2013)

[55]  


�i�����N�C���эF��C���ΖM�F�F
�����_���ɂ��S�������ƒ}���`�r�[�N���V�X�e���̍œK����C
�v����������w���52�񗣎U���ۃV�X�e��������u���_���W�Cpp. 21-26�C��� (2013)

[54]  


����N�m�C���эF��C���ΖM�F�F
�L�����ԋ�Ԃɂ�����m���n�C�u���b�h�V�X�e���̗��U���ۉ��C
�v����������w��V�X�e���E��񕔖�w�p�u����2012�u���_���W�Cpp. 519-522�C���É� (2012)

[53]  


���эF��C���ΖM�F�F
���U�l���͂����‘�K�̓V�X�e���ɑ΂���ʎq���덷���l�������œK����C
�v����������w��V�X�e���E��񕔖�w�p�u����2012�u���_���W�Cpp. 515-518�C���É� (2012)

[52]  


���эF��C����N�m�C���ΖM�F�F
�m���n�C�u���b�h�V�X�e���̗��U���ۉ��ƍœK����C
��55�񎩓�����A���u����u���_���W�Cpp. 1791-1794�C���s (2012)

[51]  


�i�����N�C���эF��C���ΖM�F�F
��ԗ��U����p�����}���`�G�[�W�F���g�V�X�e���̍œK����C
��55�񎩓�����A���u����u���_���W�Cpp. 526-529�C���s (2012)

[50]  


���ΖM�F�C�g�{���a�C���эF��F
���C���h�J�[�h�������܂�N�O�������f����p�����m�����U���ۃV�X�e���̌̏�f�f�C
�d�q���ʐM�w��Z�p�����񍐁CVol. 112�CNo. 273�CMSS2012-35�Cpp. 29-34�C���� (2012)

[49]  


���эF��C���ΖM�F�F
�l�b�g���[�N������n�̂��߂�Self-Triggered���f���\������C
�d�q���ʐM�w���25���H�ƃV�X�e�����[�N�V���b�v�_���W�Cpp. 202-207�C�W�H (2012)�i���Ǖt�j

[48]  


���эF��C���ΖM�F�F
���U�l���͂����‘�K�̓V�X�e���ɑ΂���œK������̈��@�C
�d�q���ʐM�w��Z�p�����񍐁CVol. 112�CNo. 113�CMSS2012-29�Cpp. 155-158�C���s (2012)

[47]  


���эF��C���ΖM�F�F
�v�b�V���_�E���I�[�g�}�g���ŕ\������闣�U���ۃV�X�e���̃I�p�V�e�B�Ɖf�f���ɂ‚��āC
�v����������w���51�񗣎U���ۃV�X�e��������u���_���W�Cpp. 45-50�C�{�� (2012)

[46]  


���эF��C���ΖM�F�F
Self-Triggered����̂��߂�1�X�e�b�v�\����ԍœK�����̉�@�C
��56��V�X�e��������w������\�u����u���_���W�Cpp. 501-502�C���s (2012)

[45]  


���эF��C���ΖM�F�F
1�X�e�b�v�\����Ԃ̍œK���ɂ��Self-Triggered����C
�d�q���ʐM�w��2012�N�������Cpp. S-46-S-47�C���R (2012)

[44]  


���эF��C���ΖM�F�F
�����̊m���I�x����L����l�b�g���[�N���V�X�e���̐���C
�d�q���ʐM�w��Z�p�����񍐁CVol. 111�CNo. 405�CMSS2011-69�Cpp. 85-88�C���m (2012)

[43]  


���эF��C���ΖM�F�F
�s�m���ȃp�����[�^��L����m���ؑփV�X�e���̃��f�����O�Ɛ���C
�v����������w���50�񗣎U���ۃV�X�e��������u���_���W�Cpp. 35-40�C���� (2011)

[42]  


���w���C���ΖM�F�C���эF��F
�n�C�u���b�g�V�X�e���̑J�ڋߎ��o�͕�ƍœK����ւ̉��p�C
�v����������w��V�X�e���E��񕔖�w�p�u����2011�u���_���W, pp. 346-347�C���� (2011)

[41]  


���эF��C���ΖM�F�F
�s�m���ȃp�����[�^��L����敪�I�A�t�@�C���V�X�e���̃T���v���l�œK����C
�v����������w��V�X�e���E��񕔖�w�p�u����2011�u���_���W, pp. 312-314�C���� (2011)

[40]  


���эF��C���ΖM�F�F
�l�b�g���[�N������n�̂��߂�Self-Triggered�œK����C
�d�q���ʐM�w��2011�N�x��2�񍂐M������ʐM��������W�Cpp. 32-45�C�k��B (2011)

[39]  


���эF��C���ΖM�F�F
�œK����p�������`�V�X�e����Self-Triggered����C
�v����������w���40�񐧌䗝�_�V���|�W�E�������Cpp. 79-82�C��� (2011)

[38]  


���эF��C�ԓ�����N�C���ΖM�F�F
�m���I�S����L����m���n�C�u���b�h�V�X�e���̃��f���\������C
�d�q���ʐM�w���24���H�ƃV�X�e�����[�N�V���b�v�_���W�Cpp. 176-181�C�W�H (2011)�i���Ǖt�j

[37]  


���w���C���ΖM�F�C���эF��F
�n�C�u���b�h�V�X�e���ɂ����郂�f���\������@�`�J�ڊ֌W�Ɋ�Â��ߎ����O��@�`�C
�d�q���ʐM�w��Z�p�����񍐁CVol. 111�CNo. 102�CMSS2011-17�Cpp. 97-102�C���� (2011)

[36]  


���эF��C���ΖM�F�F
�y�g���l�b�g�ŕ\�������񓯊��u�[���A���l�b�g���[�N�̍œK����C
�v����������w���49�񗣎U���ۃV�X�e��������u���_���W�Cpp. 1-6�C���� (2011)

[35]  


���эF��C���ΖM�F�F
�������œK����p�����m���u�[���A���l�b�g���[�N�̍œK����C
�v����������w���11�񐧌䕔������C165-2-1�C���� (2011)

[34]  


���w���C���ΖM�F�C���эF��F
�J�ڊ֌W�Ɋ�Â��n�C�u���b�h���f���\������̋ߎ����O��@�C
�d�q���ʐM�w��2011�N�������u���_���W�CA-12-12�C���� (2011)

[33]  


�ԓ�����N�C���эF��C���ΖM�F�F
�m���n�C�u���b�h�V�X�e���̊m���S���t���œK����C
�d�q���ʐM�w��2011�N�������u���_���W�CA-12-11�C���� (2011)

[32]  


���эF��C���ΖM�F�F
���������v��@��p�����l�b�g���[�N���V�X�e���̍œK����C
�v����������w���48�񗣎U���ۃV�X�e��������u���_���W�Cpp. 67-72�C���É� (2010)

[31]  


���ΖM�F�C���эF��F
An Approximation Algorithm for Box Abstraction of Transition Systems on Real Vector Fields�C
�v����������w���48�񗣎U���ۃV�X�e��������u���_���W�Cpp. 49-56�C���É� (2010)

[30]  


���эF��C���ΖM�F�F
�O���h���Ɋ�Â���`�q�l�b�g���[�N�̍œK����C
�v����������w��V�X�e���E��񕔖�w�p�u����2010�u���_���W�C1F2-3�C���s (2010)

[29]  


���эF��C���ΖM�F�F
�“��B����͂�p�����v�b�V���_�E���V�X�e���̐f�f�ɂ‚��āC
�v����������w���47�񗣎U���ۃV�X�e��������u���_���W�Cpp. 71-74�C���� (2010)

[28]  


���w���C���ΖM�F�C���эF��F
�n�C�u���b�h�V�X�e���ɑ΂���J�ڋߎ��o�͕�C
�v����������w���47�񗣎U���ۃV�X�e��������u���_���W�Cpp. 53-58�C���� (2010)

[27]  


���эF��C���ΖM�F�F
���f��������p�����m���u�[���A���l�b�g���[�N�̉“��B����́C
��54��V�X�e��������w������\�u����u���_���W�Cpp. 663-664�C���s (2010)

[26]  


���эF��C���ΖM�F�F
�����v��@��p���������ˑ��m���u�[���A���l�b�g���[�N�̐���C
�v����������w���10�񐧌䕔������C163-2-1�C�F�{ (2010)

[25]  


���эF��C���ΖM�F�F
�m���u�[���A���l�b�g���[�N�̉�͂Ɛ���̂��߂̌v�Z��@�C
��񏈗��w����񍐁CVol. 2010-BIO-20�CNo. 10�C�ΐ� (2010)

[24]  


���эF��C���ΖM�F�F
���U�m���n�C�u���b�h�V�X�e���̃��f���\������C
�v����������w���46�񗣎U���ۃV�X�e��������u���_���W�Cpp. 35-40�C���� (2009)

[23]  


���ΖM�F�C�Í��~��C���эF��F
�n�C�u���b�h�V�X�e���ɑ΂����Ԗ@�̓K�p�ɂ‚��āC
�v����������w���46�񗣎U���ۃV�X�e��������u���_���W�Cpp. 7-12�C���� (2009)

[22]  


���эF��C���ΖM�F�F
�����v��@��p�����m���u�[���A���l�b�g���[�N�̐���C
�v����������w��V�X�e���E��񕔖�w�p�u����2009�u���_���W�Cpp. 155-160�C���l (2009)

[21]  


���эF��C�䑺����C���ΖM�F�F
���f���\������ɂ�����ߎ���@�Ɨ��U�_�C�i�~�N�X���f�����O�C
��52�񎩓�����A���u����CF3-4�C��� (2009)

[20]  


���эF��C�䑺����C���ΖM�F�F
�u�[���A���l�b�g���[�N�ɂ�������䐫����̂��߂̑��������ԃA���S���Y���C
�d�q���ʐM�w��Z�p�����񍐁CVol. 109�CNo. 165�CCST2009-14�Cpp. 13-18�C���� (2009)

[19]  


���эF��C�䑺����F
�n�C�u���b�h����ɂ�����L���I�[�g�}�g�����f���̊֘A���C
�v����������w���45�񗣎U���ۃV�X�e��������u���_���W�Cpp. 65-70�C��� (2009)

[18]  


���ΖM�F�C���эF��F
�n�C�u���b�h�V�X�e���ɂ�����q�ꒊ�ۉ��v�Z�̍������C
�v����������w���45�񗣎U���ۃV�X�e��������u���_���W�Cpp. 53-58�C��� (2009)

[17]  


���эF��C�c���G�K�F
�a���^��ԕ�������p�����A�����ԃV�X�e���̕�����ԓ���@�C
�v����������w���9�񐧌䕔������C05R3-1-2�C�L�� (2009)

[16]  


���эF��C�䑺����C���ΖM�F�F
���� Lyapunov �֐���p�����n�C�u���b�h�V�X�e���̈��艻�C
�v����������w���9�񐧌䕔������C04R4-1-1�C�L�� (2009)

[15]  


���эF��C���ΖM�F�F
�n�C�u���b�h�V�X�e���̉�͂Ɛ���ւ̋�Ԗ@�̓K�p�C
�v����������w���44�񗣎U���ۃV�X�e��������u���_���W�Cpp. 61-66�C�{�� (2008)

[14]  


���эF��C���ΖM�F�F
��Ԗ@�Ɋ�Â��n�C�u���b�h�V�X�e���̉�͂Ɛ���C
�v����������w���37�񐧌䗝�_�V���|�W�E�������Cpp. 167-170�C���� (2008)

[13]  


���эF��C���ΖM�F�F
���[�h�J�ڍS����z�ɍl�������n�C�u���b�h�V�X�e���̃��f�����O�C
��52��V�X�e��������w������\�u����u���_���W�Cpp. 419-420�C���s (2008)

[12]  


���эF��C�䑺����C���ΖM�F�F
�u�[���A���l�b�g���[�N���f���ɂ���`�q�����l�b�g���[�N�̉��䐫��́C
�d�q���ʐM�w���21���H�ƃV�X�e���y��򃏁[�N�V���b�v�_���W�Cpp. 261-265�C�y��� (2008)�i���Ǖt�j

[11]  


���эF��C�䑺����F
�u�[���A���l�b�g���[�N���f���ɂ���`�q�����l�b�g���[�N�̉Šϑ�����́C
�v����������w���8�񐧌䕔������C61-1-4�C���s (2008)

[10]  


���эF��CNguyen Van Tang�C���ΖM�F�F
�n�C�u���b�h�V�X�e���̃��f���\��������ɑ΂��鎖�O�v�Z�Ɋ�Â��ߎ���@�C
�v����������w��V�X�e���E��񕔖�w�p�u����2007�u���_���W�Cpp. 433-438�C���� (2007)

[09]  


���эF��C�䑺����F
��ԕ������\���Ɋ�Â��L���I�[�g�}�g���̉ˆ��萫�C
�v����������w���36�񐧌䗝�_�V���|�W�E�������Cpp. 463-466�C�D�y (2007)

[08]  


���эF��C�䑺����F
���f���\������ɂ�����L���I�[�g�}�g���̎��n��x�[�X�g���A���^�C�����f�����O�C
�v����������w���7�񐧌䕔������C73-1-4�C���z (2007)

[07]  


���эF��C�䑺����F
�L���I�[�g�}�g���̃��f���\������ɂ����鎞�n��x�[�X�g���f�����O�C
�v����������w���35�񐧌䗝�_�V���|�W�E�������Cpp. 143-146�C��� (2006)

[06]  


���эF��C�䑺����F
�n�C�u���b�h����ɂ�����L���I�[�g�}�g���̍ŏ��\���C
�v����������w���6�񐧌䕔������Cpp. 339-342�C���É� (2006)     2006�N�x�v����������w��w�p����܎��

[05]  


���эF��C�䑺����F
����_������Ȃ闣�U�_�C�i�~�N�X�̏�ԕ������\���C
�v����������w���34�񐧌䗝�_�V���|�W�E�������Cpp. 415-418�C��� (2005)

[04]  


���эF��C�䑺����F
�f�B�X�N���v�^�`���ɂ��_���_�C�i�~�N�X�̃V�X�e���\���Ƃ��̃n�C�u���b�h�V�X�e���̐���ւ̉��p�C
�v����������w���5�񐧌䕔������Cpp. 409-412�C��� (2005)

[03]  


���эF��C�䑺����F
�K�w�^����n�̓����^�����œK�݌v�C
�v����������w���33�񐧌䗝�_�V���|�W�E�������Cpp. 371-376�C�l�� (2004)

[02]  


���эF��C�؎R���C�k�X�r�s�F
��ŏ��ʑ����������[�v�O�ɒǂ��o���� PID ����� I-PD �����񊱏���n�̐݌v�@�C
��39��v����������w��w�p�u����\�e�W�C105D-3�C�ђ� (2000)

[01]  


���эF��C�k�X�r�s�F
�����I�E�H�w�I����Ƃ̐��������l�������a���^��ԕ������\���C
��39��v����������w��w�p�u����\�e�W�C105A-4�C�ђ� (2000)

�y�[�W�g�b�v��



���̑�

�����҂����������u��

[13]  


���эF��F
�n�C�u���b�h�V�X�e���̃��f���\������F��b�ƊĎ����ւ̉��p�C
�v����������w��k���x���u����^�d�q���ʐM�w��k���x���u����C�x�R (2018)

[12]  


���эF��F
�u�[���A���l�b�g���[�N�̌��������F���f���᎟�����Ƌt���C
�d�q���ʐM�w��2018�N�������i�`���[�g���A���Z�b�V�����F�V�X�e���o�C�I���W�[�����̍ŐV�����j�Cpp. SS-37-SS-38�C���� (2018)

[11]  


���эF��F
IoT/M2M�̂��߂̃V�X�e�����䗝�_�C
�d�q���ʐM�w��Z�p�����񍐁CVol. 117�CNo. 130�CRCC2017-40�Cpp. 151-152�C�D�y (2017)

[10]  


Koichi Kobayashi:
Control of Cyber-Physical Systems: Applications to Energy Management Systems,
Proc. of the 32nd International Technical Conference on Circuits/Systems, Computers and Communications, pp. 139-142, Busan (2017)

[09]  


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

[08]  


���эF��F
�V�X�e���\������̏o���F�a���^��ԕ������Ɨ��U�_�C�i�~�N�X���f�����O�C
�v����������w���3�񐧌䕔��}���`�V���|�W�E�� �p�C�I�j�A�܎�܋L�O�u���C���É� (2016)

[07]  


���эF��F
���A���^�C���v���C�V���O�̐݌v���� �\III �W���^�v���C�V���O�\�C
�d�q���ʐM�w��2014�N�\�T�G�e�B���i�˗��V���|�W�E���F�G�l���M�[�Ǘ��V�X�e���ɂ����鐔�����f���j�Cpp. SS-52�C���� (2014)

[06]  


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

[05]  


���эF��F
�m���u�[���A���l�b�g���[�N�̍œK����ƌ��؁C
����w��w�@���Ȋw�����ȏ�񐔗��w��U ����25�N�x��8���񐔗��w�Z�~�i�[�C��� (2013)

[04]  


���эF��F
���������v����ƍœK����C
�d�q���ʐM�w��2012�N�\�T�C�G�e�B���i�`���[�g���A���Z�b�V�����F�V�X�e�������ɂ�����l�X�ȃc�[���̏Љ�j�Cpp. SS-31-SS-33�C�x�R (2012)

[03]  


���эF��F
���U���f���Ɋ�Â���`�q�l�b�g���[�N�̉�͂Ɛ��� �\�œK���ƃ��f�������ɂ��A�v���[�`�\�C
�d�q���ʐM�w��2012�N�������i�˗��V���|�W�E���F�����I��@��p�����o�C�I���W�[�j�Cpp. SS-95-SS-96�C���R (2012)

[02]  



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

[01]  


���эF��F
�n�C�u���b�h�V�X�e���̃��f���\������F�@���U�_�C�i�~�N�X���f�����O�Ƌߎ���@�C
�v����������w����x�� ��1�񐧌䗝�_���[�L���O�Z�~�i�[�C���É� (2011)


���̑��̔��\�i���ǂȂ����ۉ�c���\�C���e���Ȃ�������c���\�Ȃǁj

[05]  


���эF��F
�u�[���A���l�b�g���[�N�̃��f���᎟�����C
�^�Ȃ�_�C�i�~�N�X�̒Nj��ɂ��V�X�e�����䗝�_�̖��i��ڎw���V���|�W�E���C������ (2017)

[04]  


���эF��C�ۓc��Y�C�N�Ԉ꓿�C���r��F
�}���R�t����ߒ��Ɋ�Â����A���^�C���v���C�V���O�V�X�e���̐݌v�C
�v����������w��֐��x�������Ə����‚Ȃ�������V�X�e�����䌤���� 2013�N�x����u����C��� (2013)

[03]  


���эF��F
�����v��@�ƃ��f��������p������`�q�l�b�g���[�N�̐���C
�v����������w��֐��x�������Ə����‚Ȃ�������V�X�e�����䌤���� 2012�N�x����u����C���s (2012)

[02]  


���эF��F
����u����̎�|�F�����ƃT�C�o�[�t�B�W�J���V�X�e���̐ړ_�ɂ‚��āC
�v����������w��֐��x�������Ə����‚Ȃ�������V�X�e�����䌤���� 2012�N�x����u����C���s (2012)

[01]  


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


��e�L��

[07]  


���эF��F
������ɍs�����I�i���M������ʐM�iRCC�j������j�C
�d�q���ʐM�w�� ��b�E���E�\�T�C�G�e�B Fundamentals Review�CVol. 9�CNo. 3�Cpp. 251 (2016)

[06]  


���эF��F
�ҏW��L�C
�v���Ɛ���CVol. 53�CNo. 12�Cpp. 1154 (2014)

[05]  


���эF��F
���]�F�u�n�C�u���b�h�V�X�e���̐���v�i�䑺�C���C�������j�C
�v���Ɛ���CVol. 53�CNo. 12�Cpp. 1152 (2014)

[04]  


���r���C���эF��F
�ҏW�O�L�F�u�T�C�o�[�t�B�W�J���V�X�e���v���W������悵�āC
�v���Ɛ���CVol. 53�CNo. 12�Cpp. 1075 (2014)

[03]  


���эF��F
�n�C�u���b�h�V�X�e���C
�d�C�w��125�N�j C���� 9�� 2�̓��f���x�[�X���� 2-1�߁Cpp. 531-533�C�d�C�w�� (2013)

[02]  


���c�m�N�C���эF��F
�uSSI2011���W�\�l�ԁE�Љ�E���R�Ƃ̒��a��ڎw���V�X�e���E���Z�p�\�v����悵�āC
�v����������w��_���W�CVol. 48�CNo. 11�Cpp. 687 (2012)

[01]  


���эF��F
���傾���u���U���ۃV�X�e������̏Љ�v�C
�v���Ɛ���CVol. 48�CNo. 11�Cpp. 840 (2009)


����

[02]  


�d�͉��i���葕�u����ѓd�͉��i������@
�o��ԍ��F����2014-214392�C�o����F2014�N10��21��
���J�ԍ��F���J2016-082804�C���J���F2016�N5��16���i���J���j

[01]  


����p�����[�^�\�����u�C����p�����[�^�\�����@�C�R���s���[�^�ǂݎ��”\�ȋL�^�}�̋y�уR���s���[�^�v���O����
�o��ԍ��F����2002-011837�C�o����F2002�N1��21��
���J�ԍ��F���J2003-216203�C���J���F2003�N7��31���i���J���j


��������

�m �Ȍ���i��\�ҕ��j �n
����20�`22�N�x�@�Ȍ��� ��茤��(B) �u�L���I�[�g�}�g���̐V�������f���Ɋ�Â��n�C�u���b�h�V�X�e������_�v�i��\�ҁj
����23�`25�N�x�@�Ȍ��� ��茤��(B) �u�m���n�C�u���b�h�V�X�e���̐���ƃV�X�e���o�C�I���W�[�ւ̓W�J�v�i��\�ҁj
����26�`28�N�x�@�Ȍ��� ��Ռ���(C) �u�T�C�o�[�t�B�W�J���V�X�e���̂��߂̒ʐM�Ɛ���̓����œK���v�i��\�ҁj
����29�`31�N�x�@�Ȍ��� ��Ռ���(C) �u�Z�L���A�ȃT�C�o�[�t�B�W�J���V�X�e���̂��߂̐���E���؎�@�̊J���v�i��\�ҁj

�m �Ȍ���i���S�ҕ��j �n
����21�`23�N�x�@�Ȍ��� ��Ռ���(C) �u���U�_�C�i�~�N�X�̗��̉��ɂ��V�X�e���̈��S�����؁v�i���S�ҁD��\�ҁFJAIST ���� �M�F �����j
����27�`29�N�x�@�Ȍ��� ��Ռ���(B) �u�Ō�E���T�[�r�X�̎������߂鉹���‚Ԃ₫�ɂ��C�Â��v���b�g�t�H�[���̌����v
�@�@�@�@�@�@�@�@�@�@�@�@�i���S�ҁD��\�ҁFJAIST ���� ���u �����j
����28�`30�N�x�@�Ȍ��� ��Ռ���(B) �u���䃊�A�v�m�t�֐���p�������͕��z����v�i���S�ҁD��\�ҁF�k�C����w �R�� �T �����j
2019�`2021�N�x�@�Ȍ��� ��Ռ���(B) �u�s�A�����邢�͐���łȂ����̓R�X�g��p�����ȃG�l���M�[����v�i���S�ҁD��\�ҁF�k�C����w �R�� �T �����j
2019�`2022�N�x�@�Ȍ��� ��Ռ���(B) �u�������w�^�h��Z�p�̂��߂̎��ۋ쓮�^���䗝�_�̍\�z�v
�@�@�@�@�@�@�@�@�@�@�@�@�i���S�ҁD��\�ҁF�d�C�ʐM��w �V�c ���� �y�����j

�m ������� �n
����25�C26�N�x�@JST�헪�I�n���������i���ƁiCREST�j�u�n��ʉ݂�t���I�ɓ����������A���^�C���v���C�V���O�v�i�傽�鋤�������ҁj
�@�@�@�@�@�@�@�@�@�@�@�����̈�F���U�����^�G�l���M�[�Ǘ��V�X�e���\�z�̂��߂̗��_�y�ъ�ՋZ�p�̑n�o�ƗZ���W�J
�@�@�@�@�@�@�@�@�@�@�@�����ۑ�F���A���^�C���v���C�V���O�̐݌v�����i��\�ҁF���s��w �� �r�� �y�����j
����27�`31�N�x�@JST�헪�I�n���������i���ƁiCREST�j�u���f���\���^���v����@�̊J���v�i�傽�鋤�������ҁj
�@�@�@�@�@�@�@�@�@�@�@ �����̈�F���U�����^�G�l���M�[�Ǘ��V�X�e���\�z�̂��߂̗��_�y�ъ�ՋZ�p�̑n�o�ƗZ���W�J
�@�@�@�@�@�@�@�@�@�@�@ �����ۑ�F���z�����d�\���Ɋ�Â����a�^�d�͌n������̂��߂̃V�X�e�����_�\�z�i��\�ҁF�����H�Ƒ�w �䑺 ���� �����j

�m ���̑� �n
����19�N�x�@�k����[�Ȋw�Z�p��w�@��w �����������i�o��
����19�N�x�@���{�w�p�U����ۊw��h�����ƇV��
����23�N�x�@���c�@�l�d�C�ʐM���y���c �C�O�n�q�����
����25�N�x�@�k����[�Ȋw�Z�p��w�@��w �������_�`���x�����Ɓi�G��I�����x���j
����29�N�x�@���v���c�@�l�d�C�ʐM���y���c �������������uIoT/CPS����ɂ����鐧��ƒʐM�̓����݌v��@�̊J���v�i��\�ҁj

�y�[�W�g�b�v��


�z�[���֖߂�

CSS Template CSS�f�U�C���T���v��