Computational Techniques for Model Predictive Control of Large-Scale Systems with Continuous-Valued and Discrete-Valued Inputs

by Koichi Kobayashi, Kunihiko Hiraishi
Published 2013-01-01

Optimization-Based Approaches to Control of Probabilistic Boolean Networks

by Koichi Kobayashi, Kunihiko Hiraishi
Published 2017-02-01

Self-Triggered Model Predictive Control Using Optimization with Prediction Horizon One

by Koichi Kobayashi, Kunihiko Hiraishi
Published 2013-01-01

Optimal Control of Gene Regulatory Networks with Effectiveness of Multiple Drugs: A Boolean Network Approach

by Koichi Kobayashi, Kunihiko Hiraishi
Published 2013-01-01

Optimal Control of Probabilistic Logic Networks and Its Application to Real-Time Pricing of Electricity

by Koichi Kobayashi, Kunihiko Hiraishi
Published 2015-01-01

A Probabilistic Approach to Control of Complex Systems and Its Application to Real-Time Pricing

by Koichi Kobayashi, Kunihiko Hiraishi
Published 2014-01-01

Verification and Optimal Control of Context-Sensitive Probabilistic Boolean Networks Using Model Checking and Polynomial Optimization

by Koichi Kobayashi, Kunihiko Hiraishi
Published 2014-01-01

Verification of Opacity and Diagnosability for Pushdown Systems

by Koichi Kobayashi, Kunihiko Hiraishi
Published 2013-01-01