arXiv subjects

Masaki Inoue

Publications and source records attributed to Masaki Inoue.

17 recordsLinked to original sources

arXiv2026

Dynamic Question Design for Efficient Estimation of Aggregate Human Preferences

This paper addresses the problem of efficiently estimating aggregate human preferences by dynamically adapting questions based on respondents'answers. To this end, we formulate and address two sub-problems: preference estimation and question design. First, regarding preference estimation, we model respondents' preferences and estimate them using Bayesian estimation, employing a particle filter as a computationally efficient approximation. The main theoretical contribution to this sub-problem is to analyze the preference estimation error using an information-theoretic approach, deriving a theoretical lower bound for the error. Second, regarding question design, we formulate the design problem as an Expected Information Gain maximization problem and employ an epsilon-greedy strategy to solve the problem in a computationally efficient way. We theoretically analyze the search efficiency of the approach, demonstrating that it achieves higher efficiency than a random search. Finally, we verify the effectiveness of the proposed method through numerical simulations.

cs.IT↗

arXiv2026

Agentic MPC for Semantic Control System Resynthesis

While MPC effectively handles structured, diverse, and low-level specifications, it lacks the capability to dynamically incorporate high-level contextual information such as social norms, user intent, or natural language instructions. To address this limitation, this manuscript introduces an agentic MPC framework that enables context-aware, semantically adaptive control synthesis by integrating with large language model-based agents. The agent interprets heterogeneous inputs, including natural language messages, environmental observations, and external knowledge, to resynthesize the control specifications. The effectiveness of the framework is demonstrated in an autonomous driving scenario, where the system aligns with personal preferences or responds to social situations such as emergency vehicle yielding.

eess.SY↗

arXiv2026

CBF-based Driving Assistance for Traffic Flow Stabilization

This manuscript addresses a hierarchical control system designed to suppress traffic congestion. The lower-layered controllers, implemented in each controlled vehicle, monitor microscopic vehicle behaviors and assist human drivers to ensure sufficient spacing for following vehicles. This spacing logic is designed based on the Control Barrier Function. Meanwhile, the upper-layered controller monitors the macroscopic traffic flow and activates the necessary lower-layered controllers, using a data-driven approach for the activation logic design. Furthermore, the effectiveness of the proposed control system is evaluated in a traffic flow simulation environment constructed using real-world traffic data.

eess.SY↗

arXiv2026

Steady State Covariance Steering via Sparse Intervention

This paper addresses the steady state covariance steering for linear dynamical systems via structural intervention on the system matrix. We formulate the covariance steering problem as the minimization of the Kullback-Leibler (KL) divergence between the steady state and target Gaussian distributions. To solve the problem, we develop a solution method, hereafter referred to as the proximal gradient-based algorithm, of promoting sparsity in the structural intervention by integrating the objective into a proximal gradient framework with L1 regularization. The main contribution of this paper lies in the analytical expression of the KL divergence gradient with respect to the intervention matrix: the gradient is characterized by the solutions to two Lyapunov equations related to the state covariance equation and its adjoint. Numerical simulations demonstrate that the proximal gradient-based algorithm effectively identifies sparse, structurally-constrained interventions to achieve precise covariance steering.

eess.SY↗

arXiv2025

Chat-Driven Optimal Management for Virtual Network Services

This paper proposes a chat-driven network management framework that integrates natural language processing (NLP) with optimization-based virtual network allocation, enabling intuitive and reliable reconfiguration of virtual network services. Conventional intent-based networking (IBN) methods depend on statistical language models to interpret user intent but cannot guarantee the feasibility of generated configurations. To overcome this, we develop a two-stage framework consisting of an Interpreter, which extracts intent from natural language prompts using NLP, and an Optimizer, which computes feasible virtual machine (VM) placement and routing via an integer linear programming. In particular, the Interpreter translates user chats into update directions, i.e., whether to increase, decrease, or maintain parameters such as CPU demand and latency bounds, thereby enabling iterative refinement of the network configuration. In this paper, two intent extractors, which are a Sentence-BERT model with support vector machine (SVM) classifiers and a large language model (LLM), are introduced. Experiments in single-user and multi-user settings show that the framework dynamically updates VM placement and routing while preserving feasibility. The LLM-based extractor achieves higher accuracy with fewer labeled samples, whereas the Sentence-BERT with SVM classifiers provides significantly lower latency suitable for real-time operation. These results underscore the effectiveness of combining NLP-driven intent extraction with optimization-based allocation for safe, interpretable, and user-friendly virtual network management.

cs.NI↗

arXiv2025

Gig-work Management System with Chance-Constraints Verification Algorithm

This paper proposes the framework of an efficient gig-work management system. A gig-work management system recommends one-off tasks with information about task hours and wages to gig-workers. To enable effective management, this paper develops a model of gig-workers' decision-making. Then, based on the model, we formulate an optimization problem to determine the optimal task hours and wages. The formulated problem belongs to the class of chance-constrained model predictive control (CC-MPC) problems. To efficiently solve the CC-MPC problem, we develop an approximate solution algorithm with guaranteed confidence levels. Finally, we develop gig-worker models based on data collected through crowdsourcing.

eess.SY↗

arXiv2025

Language-Aided State Estimation

Natural language data, such as text and speech, have become readily available through social networking services and chat platforms. By leveraging human observations expressed in natural language, this paper addresses the problem of state estimation for physical systems, in which humans act as sensing agents. To this end, we propose a Language-Aided Particle Filter (LAPF), a particle filter framework that structures human observations via natural language processing and incorporates them into the update step of the state estimation. Finally, the LAPF is applied to the water level estimation problem in an irrigation canal and its effectiveness is demonstrated.

eess.SY↗

arXiv2025

Chat-Driven Reconfiguration of Model Predictive Control

Traditional control personalization requires users to understand optimization parameters and provide repetitive numerical feedback, creating significant barriers for non-expert users. To deal with this issue, we propose ChatMPC, a model predictive control framework that enables users to personalize control systems and adapt to environmental changes through natural language interaction. The framework operates in two modes: personalization, where users iteratively adjust control behavior to their preferences, and co-development, where users provide real-time environmental information that complements sensor data. We establish convergence guarantees under different user behavior models, demonstrating exponential convergence for consistent feedback and finite-time convergence with logarithmic interaction complexity for tolerance-based users. We validate ChatMPC through experiments in robot navigation with personalized obstacle avoidance and semi-autonomous driving with conversational obstacle reporting. Both experiments achieve real-time performance and demonstrate effective adaptation to user preferences and environmental changes.

eess.SY↗

arXiv2024

CBF-LLM: Safe Control for LLM Alignment

This paper proposes a control-based framework for aligning large language models (LLMs) by leveraging a control barrier function (CBF) to ensure user-desirable text generation. The presented framework applies the safety filter, designed based on the CBF, to the output generation of the baseline LLM, i.e., the sequence of the token, with the aim of intervening in the generated text. The overall text-generation system is implemented with Llama 3 and a RoBERTa model, and the source code is available at https://github.com/Mya-Mya/CBF-LLM. The experiment demonstrates its control ability and effectiveness in reducing the number of interventions needed for user-specified alignment tasks.

eess.SY↗

arXiv2023

ChatMPC: Natural Language based MPC Personalization

We address the personalization of control systems, which is an attempt to adjust inherent safety and other essential control performance based on each user's personal preferences. A typical approach to personalization requires a substantial amount of user feedback and data collection, which may result in a burden on users. Moreover, it might be challenging to collect data in real-time. To overcome this drawback, we propose a natural language-based personalization, which places a comparatively lighter burden on users and enables the personalization system to collect data in real-time. In particular, we consider model predictive control (MPC) and introduce an approach that updates the control specification using chat within the MPC framework, namely ChatMPC. In the numerical experiment, we simulated an autonomous robot equipped with ChatMPC. The result shows that the specification in robot control is updated by providing natural language-based chats, which generate different behaviors.

cs.HC↗

arXiv2023

Trust-aware Safe Control for Autonomous Navigation: Estimation of System-to-human Trust for Trust-adaptive Control Barrier Functions

A trust-aware safe control system for autonomous navigation in the presence of humans, specifically pedestrians, is presented. The system combines model predictive control (MPC) with control barrier functions (CBFs) and trust estimation to ensure safe and reliable navigation in complex environments. Pedestrian trust values are computed based on features, extracted from camera sensor images, such as mutual eye contact and smartphone usage. These trust values are integrated into the MPC controller's CBF constraints, allowing the autonomous vehicle to make informed decisions considering pedestrian behavior. Simulations conducted in the CARLA driving simulator demonstrate the feasibility and effectiveness of the proposed system, showcasing more conservative behaviour around inattentive pedestrians and vice versa. The results highlight the practicality of the system in real-world applications, providing a promising approach to enhance the safety and reliability of autonomous navigation systems, especially self-driving vehicles.

eess.SY↗

arXiv2020

Modularity-in-Design of Dynamical Network Systems: Retrofit Control Approach

In this paper, we develop a modular design method of decentralized controllers for linear dynamical network systems, where multiple subcontroller designers aim at individually regulating their local control performance with accessibility only to their respective subsystem models. First, we derive a constrained version of the Youla parameterization that characterizes all retrofit controllers for a single subcontroller, defined as an add-on type subcontroller that manages a subsystem. The resultant feedback system is kept robustly stable for any variation in the neighboring subsystems, other than the subsystem of interest, provided that the original system is stable prior to implementing the retrofit control. Subsequently, we find out a unique internal structure of the retrofit controllers, assuming that the interaction input signal from the neighboring subsystems is measurable. Furthermore, we show that the simultaneous implementation of multiple retrofit controllers, designed by individual subcontroller designers, can improve the upper bound of the overall control performance. Finally, the practical significance of the method is demonstrated via an illustrative example of frequency regulation using the IEEE 68-bus power system model.

eess.SY↗

arXiv2019

Weak Control Approach to Consumer-Preferred Energy Management

This paper is devoted to a consumer-preferred community-level energy management system (CEMS), in which a system manager allows consumers their selfish decisions of power-saving while regulating the overall demand-supply imbalance. The key structure of the system is to weakly control consumers: the controller sends the allowable range of the power-saving amount to each consumer, which is modeled by a set-valued control signal. Then, the consumers decide the amount in the range based on their private preference. In this paper, we address the design problem of the controller that generates the set-valued control signals. The controller structure is based on internal model control, which plays the essential role of guaranteeing the consumer-independent stability and the worst-case control performance of the overall CEMS. Finally, a numerical experiment of the consumer-preferred CEMS is performed to demonstrate the design procedure of the controller and to show its effectiveness.

eess.SY↗

arXiv2019

Learning Koopman Operator under Dissipativity Constraints

This paper addresses a learning problem for nonlinear dynamical systems with incorporating any specified dissipativity property. The nonlinear systems are described by the Koopman operator, which is a linear operator defined on the infinite-dimensional lifted state space. The problem of learning the Koopman operator under specified quadratic dissipativity constraints is formulated and addressed. The learning problem is in a class of the non-convex optimization problem due to nonlinear constraints and is numerically intractable. By applying the change of variable technique and the convex overbounding approximation, the problem is reduced to sequential convex optimization and is solved in a numerically efficient manner. Finally, a numerical simulation is given, where high modeling accuracy achieved by the proposed approach including the specified dissipativity is demonstrated.

eess.SY↗

arXiv2019

Trajectory Planning of Weakly Supervised Aircraft

In this paper, we propose a novel framework of air traffic management (ATM). The framework is in particular characterized by the trajectory planning of weakly supervised aircraft; the air traffic control (ATC) does not completely determine the trajectory of each aircraft unlike conventional planning methods, but determines allowable safe sets of trajectories. ATC requests pilots to select their own trajectories from the sets, and the pilots determine ones by pursuing their own aims. For example, the selection can be based on pilot preferences and airline strategies. This two stage ATM system contributes to simultaneously achieve the both objectives of the ATC and pilots such as fuel cost minimization under safety management. The effectiveness of the proposed ATM system is demonstrated in a simulation using actual air traffic data.

eess.SY↗

arXiv2019

Instant MPC for linear systems and dissipativity-based stability analysis

This letter is devoted to the concept of ``instant'' model predictive control (iMPC) for linear systems. An optimization problem is formulated to express the finite-time constrained optimal regulation control, like conventional MPC. Then, iMPC determines the control action based on the optimization process rather than the optimizer, unlike MPC. The iMPC concept is realized by a continuous-time dynamic algorithm of solving the optimization; the primal-dual gradient algorithm is directly implemented as a dynamic controller. On the basis of the dissipativity evaluation of the algorithm, the stability of the control system is analyzed. Finally, a numerical experiment is performed in order to demonstrate that iMPC emulates MPC and to show its less computational burden.

eess.SY↗

arXiv2018

Weak Control for Human-in-the-loop Systems

In this letter, we propose a control framework for human-in-the-loop systems, in which many human decision makers are involved in the feedback loop composed of a plant and a controller. The novelty of the framework is that the decision makers are weakly controlled; in other words, they receive a set of admissible control actions from the controller and choose one of them in accordance with their private preferences. For example, the decision makers can decide their actions to minimize their own costs or by simply relying on their experience and intuition. A class of controllers which output set-valued signals is proposed, and it is shown that the overall control system is stable independently of the decisions made by the humans. Finally, a learning algorithm is applied to the controller that updates the controller parameters to reduce the achievable minimal costs for the decision makers. Effective use of the algorithm is demonstrated in a numerical experiment.

eess.SY↗