Koichi Kobayashi

Adv. Robotics, May, 2024

On reward distribution in reinforcement learning of multi-agent surveillance systems with temporal logic specifications.

[BibT_eX]

[DOI]

Keita Terashima

Adv. Robotics, March, 2024

Online Optimization of Pickup and Delivery Problem Considering Feasibility.

[BibT_eX]

[DOI]

Ryo Matsuoka

Future Internet, February, 2024

Reinforcement Learning for Multi-Agent Systems with Temporal Logic Specifications.

[BibT_eX]

[DOI]

Keita Terashima

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., January, 2024

Multi-Agent Surveillance Based on Travel Cost Minimization.

[BibT_eX]

[DOI]

Kyohei Murakata

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., January, 2024

A BDD-Based Approach to Finite-Time Control of Boolean Networks.

[BibT_eX]

[DOI]

Fuma Motoyama

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2024

A Feedback Vertex Set-Based Approach to Simplifying Probabilistic Boolean Networks.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2024

Output Feedback Ultimate Boundedness Control with Decentralized Event-Triggering.

[BibT_eX]

[DOI]

Koichi Kitamura

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2024

Introducing Event-Based Communication in Asynchronous Advantage Actor-Critic Algorithm.

[BibT_eX]

[DOI]

Hiroki Sunai

Proceedings of the 13th IEEE Global Conference on Consumer Electronics, 2024

Temporal Logic MPC of Spatially Distributed Systems Considering Feasibility.

[BibT_eX]

[DOI]

Ikkei Komizu

Proceedings of the 13th IEEE Global Conference on Consumer Electronics, 2024

State-Flipped Control for Probabilistic Boolean Networks Using Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE Global Conference on Consumer Electronics, 2024

Energy-Aware Event-Driven Design of Asynchronous Control/Measurement for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Shota Nakayama

Proceedings of the 29th IEEE International Conference on Emerging Technologies and Factory Automation, 2024

2023

Design of reduced-order and pinning controllers for probabilistic Boolean networks using reinforcement learning.

[BibT_eX]

[DOI]

Michiaki Takizawa

Appl. Math. Comput., November, 2023

Detection of False Data Injection Attacks in Distributed State Estimation of Power Networks.

[BibT_eX]

[DOI]

Sho Obata

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., May, 2023

Fixed Point Preserving Model Reduction of Boolean Networks Focusing on Complement and Absorption Laws.

[BibT_eX]

[DOI]

Fuma Motoyama

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., May, 2023

Virtual merge and split at intersection for vehicle platooning based on self-triggered pinning consensus control.

[BibT_eX]

[DOI]

Ayaka Tanaka

Adv. Robotics, February, 2023

Markov Chain-Based Modeling of Malicious Botnet Spread for Botnet Defense Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE/SICE International Symposium on System Integration, 2023

Self-Triggered Distributed Optimization of Energy Management Systems With Peak Shift Constraints.

[BibT_eX]

[DOI]

Genya Tamayama

Proceedings of the 12th IEEE Global Conference on Consumer Electronics, 2023

Online Optimization of Pickup and Delivery Problem Considering Demand Forecasting.

[BibT_eX]

[DOI]

Ryo Matsuoka

Proceedings of the 12th IEEE Global Conference on Consumer Electronics, 2023

2022

Blockchain-Based Optimization of Distributed Energy Management Systems with Real-Time Demand Response.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., November, 2022

Sensor Scheduling-Based Detection of False Data Injection Attacks in Power System State Estimation.

[BibT_eX]

[DOI]

Sho Obata

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2022

LMI-Based Design of Output Feedback Controllers with Decentralized Event-Triggering.

[BibT_eX]

[DOI]

Koichi Kitamura

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2022

Asymptotic stabilization of nonlinear systems with convex-polytope input constraints by continuous input.

[BibT_eX]

[DOI]

Ryosuke Matsukizono

Autom., 2022

Optimal reconstruction of noisy dynamics and selection probabilities in Boolean networks.

[BibT_eX]

[DOI]

Yuhu Wu

Autom., 2022

Self-Triggered Consensus Approach to Vehicle Platooning at Intersection.

[BibT_eX]

[DOI]

Ayaka Tanaka

Proceedings of the IEEE International Conference on Consumer Electronics, 2022

On Initial Locations, Feasibility, and Performance in Multi-Agent Surveillance Systems.

[BibT_eX]

[DOI]

Kyohei Murakata

Proceedings of the 11th IEEE Global Conference on Consumer Electronics, 2022

2021

Distributed Observer Design on Sensor Networks with Random Communication.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2021

Effectiveness and Limitation of Blockchain in Distributed Optimization: Applications to Energy Management Systems.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2021

Uniformly Ultimate Boundedness Control with Decentralized Event-Triggering.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2021

Distributed Optimal Estimation with Scalable Communication Cost.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2021

Decentralized Event-Triggered Control of Discrete-Time Linear Systems via Output Feedback.

[BibT_eX]

[DOI]

Koichi Kitamura

Proceedings of the 30th IEEE International Symposium on Industrial Electronics, 2021

2020

Detection of Defaulting Participants of Demand Response Based on Sparse Reconstruction.

[BibT_eX]

[DOI]

IEEE Trans. Smart Grid, 2020

Design of global smooth implicit control Lyapunov function for multiple-integrator system with input constraint.

[BibT_eX]

[DOI]

Syst. Control. Lett., 2020

Distributed estimation based on weighted data aggregation over delayed sensor networks.

[BibT_eX]

[DOI]

IFAC J. Syst. Control., 2020

Active Vibration Control of Nonlinear 2DOF Mechanical Systems via IDA-PBC.

[BibT_eX]

[DOI]

Sheng Hao

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2020

Dynamic Surveillance by Multiple Agents with Fuel Constraints.

[BibT_eX]

[DOI]

Ryo Masuda

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2020

Self-Triggered Pinning Consensus Control for Multi-Agent Systems.

[BibT_eX]

[DOI]

Shun Andoh

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2020

Distributed Observer over Delayed Sensor Networks for Systems with Unknown Inputs.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2020

Robust Active Vibration Controller Design for a Class of Underactuated Nonlinear Systems.

[BibT_eX]

[DOI]

Sheng Hao

Proceedings of the 2020 IEEE/SICE International Symposium on System Integration, 2020

Hierarchical Pinning Control for Consensus of Multi-Agent Systems and Its Application to Vehicle Platooning.

[BibT_eX]

[DOI]

Shun Andoh

Proceedings of the 2020 IEEE/SICE International Symposium on System Integration, 2020

Stochastic Model Predictive Control of Energy Management Systems with Human in the Loop.

[BibT_eX]

[DOI]

Shogo Shimamoto

Proceedings of the 9th IEEE Global Conference on Consumer Electronics, 2020

Blockchain-Based optimization of Energy Management Systems with Demand Response.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE Global Conference on Consumer Electronics, 2020

2019

Design and Value Evaluation of Demand Response Based on Model Predictive Control.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2019

Computationally Efficient Model Predictive Control for Multi-Agent Surveillance Systems.

[BibT_eX]

[DOI]

Mifuyu Kido

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2019

Predictive Pinning Control with Communication Delays for Consensus of Multi-Agent Systems.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2019

Asymptotic Stabilization of Nonholonomic Four-Wheeled Vehicle with Steering Limitation.

[BibT_eX]

[DOI]

Wataru Hashimoto

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2019

Distributed Estimation over Delayed Sensor Network with Scalable Communication.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2019

Design of Fixed Points in Boolean Networks Using Feedback Vertex Sets and Model Reduction.

[BibT_eX]

[DOI]

Complex., 2019

Construction Method of Probabilistic Boolean Networks Based on Imperfect Information.

[BibT_eX]

[DOI]

Katsuaki Umiji

Algorithms, 2019

Blockchain-Based Distributed Optimization for Energy Management Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Industrial Cyber Physical Systems, 2019

Decentralized Event-Triggered Control of Discrete-Time Linear Systems Based on Uniformly Ultimate Boundedness.

[BibT_eX]

[DOI]

Proceedings of the 12th Asian Control Conference, 2019

Distributed Estimation over Delayed Sensor Networks with Cyclic Structure.

[BibT_eX]

[DOI]

Proceedings of the 12th Asian Control Conference, 2019

2018

A pathfinding problem for search trees with unknown edge length.

[BibT_eX]

[DOI]

J. Discrete Algorithms, 2018

Quantized Event-Triggered Control of Discrete-Time Linear Systems with Switching Triggering Conditions.

[BibT_eX]

[DOI]

Shumpei Yoshikawa

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2018

Information Supervisory Control of Human Behavior - A Formal Model and Simulation.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018

Active Nonlinear Tuned Mass Damper via IDA-PBC.

[BibT_eX]

[DOI]

Sheng Hao

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018

2017

Design of Probabilistic Boolean Networks Based on Network Structure and Steady-State Probabilities.

[BibT_eX]

[DOI]

IEEE Trans. Neural Networks Learn. Syst., 2017

CyanoBase: a large-scale update on its 20th anniversary.

[BibT_eX]

[DOI]

Nucleic Acids Res., 2017

Periodic Model Predictive Control of Multi-Hop Control Networks.

[BibT_eX]

[DOI]

Dai Satoh

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2017

Linear Quadratic Regulator with Decentralized Event-Triggering.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2017

Optimization-Based Approaches to Control of Probabilistic Boolean Networks.

[BibT_eX]

[DOI]

Algorithms, 2017

BMI approach to design of networked control systems with decentralized event-triggering.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Workshop on Signal Processing Advances in Wireless Communications, 2017

Model-based approach to analysis of human behavior with applications to nursing and caregiving services.

[BibT_eX]

[DOI]

Proceedings of the IEEE 6th Global Conference on Consumer Electronics, 2017

Information supervisory control of human behavior - Experiments and formal modeling.

[BibT_eX]

[DOI]

Proceedings of the 11th Asian Control Conference, 2017

2016

Self-Triggered Model Predictive Control for Linear Systems Based on Transmission of Control Input Sequences.

[BibT_eX]

[DOI]

J. Appl. Math., 2016

Event-Triggered and Self-Triggered Control for Networked Control Systems Using Online Optimization.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2016

Diagnosis of Stochastic Discrete Event Systems Based on <i>N</i>-Gram Models with Wildcard Characters.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2016

Optimal Real-Time Pricing of Electricity Based on Switched Markov Chain Models and Welfare Maximization.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE International Conference on Cyber-Physical Systems, 2016

Spatio-temporal situation recognition for groups in caregiving services.

[BibT_eX]

[DOI]

Kaoru Sato

Proceedings of the IEEE Conference on Cognitive and Computational Aspects of Situation Management, 2016

2015

Diagnosis of Stochastic Discrete Event Systems Based on <i>N</i>-gram Models.

[BibT_eX]

[DOI]

Miwa Yoshimoto

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2015

Optimal Control of Multi-Vehicle Systems with Temporal Logic Constraints.

[BibT_eX]

[DOI]

Takuro Nagami

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2015

Algorithm for optimal real-time pricing based on switched Markov chain models.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE Power & Energy Society Innovative Smart Grid Technologies Conference, 2015

On event-triggered and self-triggered control using online optimization.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Mechatronics, 2015

Mesoscopic modeling of airport surface by object Petri nets.

[BibT_eX]

[DOI]

Kenji Uehara

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

Optimal real-time pricing of electricity with consideration for decrease in price effect.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

2014

ILP/SMT-Based Method for Design of Boolean Networks Based on Singleton Attractors.

[BibT_eX]

[DOI]

IEEE ACM Trans. Comput. Biol. Bioinform., 2014

Discrete Abstraction for a Class of Stochastic Hybrid Systems Based on Bounded Bisimulation.

[BibT_eX]

[DOI]

Yasuhito Fukui

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2014

An optimization-based approach to sampled-data control of networked control systems with multiple delays.

[BibT_eX]

[DOI]

Appl. Math. Comput., 2014

Detection of Unusual Human Activities Based on Behavior Modeling.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

A probabilistic approach to design of real-time pricing systems over communication networks.

[BibT_eX]

[DOI]

Proceedings of the IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society, Dallas, TX, USA, October 29, 2014

Design of Boolean networks based on prescribed singleton attractors.

[BibT_eX]

[DOI]

Proceedings of the 13th European Control Conference, 2014

Behavior modeling in physical and adaptive intelligent services.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Inter-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support, 2014

Self-triggered optimal control of linear systems using convex quadratic programming.

[BibT_eX]

[DOI]

Proceedings of the IEEE 13th International Workshop on Advanced Motion Control, 2014

2013

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

[BibT_eX]

[DOI]

J. Appl. Math., 2013

Verification of Opacity and Diagnosability for Pushdown Systems.

[BibT_eX]

[DOI]

J. Appl. Math., 2013

Self-Triggered Model Predictive Control with Delay Compensation for Networked Control Systems.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2013

Optimal Control of Boolean Biological Networks Modeled by Petri Nets.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2013

An approximation algorithm for box abstraction of transition systems on real state spaces.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2013

Discussion on "Theory and computation of discrete state space decompositions for hybrid systems".

[BibT_eX]

[DOI]

Eur. J. Control, 2013

Diagnosis of stochastic discrete event systems based on N-gram models with wildcard characters.

[BibT_eX]

[DOI]

Miwa Yoshimoto

Proceedings of the 2013 IFIP/IEEE International Symposium on Integrated Network Management (IM 2013), 2013

Modeling and optimal control of multi-hop control networks based on the MLD framework.

[BibT_eX]

[DOI]

Proceedings of the IECON 2013, 2013

Controller design of networked control systems with multiple delays using interval methods.

[BibT_eX]

[DOI]

Proceedings of the IECON 2013, 2013

Optimal control of multi-vehicle systems with LTL specifications.

[BibT_eX]

[DOI]

Takuro Nagami

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2012

Optimal Control of Probabilistic Boolean Networks Using Polynomial Optimization.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2012

Optimization-Based Synthesis of Self-Triggered Controllers for Networked Systems.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2012

Parameter estimation accuracy and active learning in the zero-range process.

[BibT_eX]

[DOI]

Keisuke Yamazaki

Proceedings of the 12th International Conference on Intelligent Systems Design and Applications, 2012

Design of networked control systems using a stochastic switching systems approach.

[BibT_eX]

[DOI]

Proceedings of the 38th Annual Conference on IEEE Industrial Electronics Society, 2012

A Petri Net-Based Approach to Control of Boolean Networks.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Networking and Computing, 2012

On opacity and diagnosability in discrete event systems modeled by pushdown automata.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE International Conference on Automation Science and Engineering, 2012

2011

Stabilization of Finite Automata with Application to Hybrid Systems Control.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2011

An integer programming approach to optimal control problems in context-sensitive probabilistic Boolean networks.

[BibT_eX]

[DOI]

Autom., 2011

Optimal control of a class of stochastic hybrid systems with probabilistic constraints.

[BibT_eX]

[DOI]

Koichiro Matou

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Probabilistic control of Boolean networks with multiple dynamics: Towards control of gene regulatory networks.

[BibT_eX]

[DOI]

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

2010

Polynomial-Time Algorithm for Controllability Test of a Class of Boolean Biological Networks.

[BibT_eX]

[DOI]

EURASIP J. Bioinform. Syst. Biol., 2010

Optimal control of context-sensitive probabilistic Boolean networks using integer programming.

[BibT_eX]

[DOI]

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

An integer programming approach to control problems in probabilistic Boolean networks.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2010

MLD-based Modeling and MPC of Discrete-time Hybrid Systems with Stochastic Mode Transitions.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Control Applications, 2010

2009

Approximate Algorithm for Hybrid Model Predictive Control with Time-Varying Reference.

[BibT_eX]

[DOI]

Nguyen Van Tang

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2009

MLD-Based Modeling of Hybrid Systems with Parameter Uncertainty.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2009

Stabilization of deterministic finite automata based on linear state equation representation.

[BibT_eX]

[DOI]

Proceedings of the 10th European Control Conference, 2009

Polynomial-time controllability analysis of Boolean networks.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2009

Analysis and control of hybrid systems with parameter uncertainty based on interval methods.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2009

2007

Minimalilty of Finite Automata Representation in Hybrid Systems Control.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

Model predictive control of directed-graph type hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the 46th IEEE Conference on Decision and Control, 2007

Time-Sequence Based Modeling of Finite Automata in Model Predictive Control of Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2007

2006

Minimal Representation of Finite Automata for Hybrid Systems Control.

[BibT_eX]

[DOI]