Masashi Wakaiki

Learn More
— We address the problem of state estimation for multi-output continuous-time linear systems, for which an attacker may have control over some of the sensors and inject (potentially unbounded) additive noise into some of the measured outputs. To characterize the resilience of a system against such sensor attacks, we introduce a new notion of observability —(More)
— We propose an encoding and control strategy for the stabilization of switched systems with limited information, supposing the controller is given for each mode. Only the quan-tized output and the active mode of the plant at each sampling time are transmitted to the controller. Due to switching, the active mode of the plant may be different from that of(More)
We propose a stability analysis method for sampled-data switched linear systems with quantization. The available information to the controller is limited: the quantized state and switching signal at each sampling time. Switching between sampling times can produce the mismatch of the modes between the plant and the controller. Moreover, the coarseness of(More)
This paper studies the problem of stabilizing a continuous-time switched linear system by quantized output feedback. We assume that the quantized outputs and the switching signal are available to the controller at all time. We develop an encoding strategy by using multiple Lyapunov functions and an average dwell time property. The encoding strategy is based(More)
Consensus of multi-agent systems and synchronization of complex networks: A unified viewpoint, " IEEE Trans. Consensus of discrete-time linear multi-agent systems with observer-type protocols, " Discr. Contin. Dynam. Consensus of second-order discrete-time multia-gent systems with nonuniform time-delays and dynamically changing topologies, " Consensus(More)
This paper studies the impact of clock mismatches in spatially distributed real-time control systems. We consider a configuration in which sensor measurements are collected by one processor that transmits the measurements to another control/actuation processor through a network, but the two processors do not have a common clock. Due to the clock mismatch,(More)
—We introduce a scalable observer architecture to estimate the states of a discrete-time linear-time-invariant (LTI) system whose sensors can be manipulated by an attacker. Given the maximum number of attacked sensors, we build on previous results on necessary and sufficient conditions for state estimation, and propose a novel multi-modal Luenberger (MML)(More)
— We consider the stabilization of networked control systems with time-invariant clock offset between the sensors and the controllers. Clock offsets are modeled as parametric uncertainty and we provide necessary and sufficient conditions for the existence of a single controller that is capable of stabilizing the closed loop for every parameter value in a(More)
This paper studies the problem of robust stabilization by a stable controller for a linear time-invariant single-input single-output infinite dimensional system. We consider a class of plants having finitely many simple unstable zeros but possibly infinitely many unstable poles. First we show that the problem can be reduced to an interpolation-minimization(More)
— In order to increase their robustness against environmental fluctuations, many biological populations have developed bet-hedging mechanisms in which the population 'bets' against the presence of prolonged favorable environmental conditions by having a few individual behaving as if they sensed a threatening or stressful environment. As a result, the(More)