[ English / Japanese ]

[33]  

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

[32]  

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 (Accepted)

[31]  

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)

[30]  

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)

[29]  

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)

[28]  

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

[27]  

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

[26]  

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

[25]  

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

[24]  

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

[23]  

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

[22]  

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

[21]  

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

[20]  

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

[19]  

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

[18]  

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

[17]  

Koichi Kobayashi:
Discussion on ``Theory and Computation of Discrete State Space Decompositions for Hybrid Systems'',
European Journal of Control, Vol. 19, No. 1, pp. 11-12 (2013)

[16]  

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

[15]  

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

[14]  

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

[13]  

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

[12]  

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

[11]  

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

[10]  

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

[09]  

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

[08]  

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

[07]  

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

[06]  

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

[05]  

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

[04]  

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

[03]  

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

[02]  

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

[01]  

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

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

[49]  

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

[48]  

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

[47]  

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

[46]  

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

[45]  

Koichi Kobayashi and Kunihiko Hiraishi:
On Model Checking of Real-Time Pricing Systems Modeled by Probabilistic Discrete Models,
The SICE Annual Conference 2014 (Position paper), Sapporo (2014) (Accepted)

[44]  

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

[43]  

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

[42]  

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

[41]  

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

[40]  

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

[39]  

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

[38]  

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

[37]  

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

[36]  

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

[35]  

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

[34]  

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

[33]  

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

[32]  

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

[31]  

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

[30]  

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

[29]  

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

[28]  

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

[27]  

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

[26]  

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

[25]  

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

[24]  

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

[23]  

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

[22]  

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

[21]  

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

[20]  

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

[19]  

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

[18]  

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

[17]  

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

[16]  

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

[15]  

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

[14]  

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

[13]  

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

[12]  

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

[11]  

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

[10]  

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

[09]  

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

[08]  

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

[07]  

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

[06]  

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

[05]  

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

[04]  

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

[03]  

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

[02]  

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

[01]  

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

[02]  

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

[01]  

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