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)
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 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)
—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 offsets 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 clock offset in a(More)
— This paper studies the stability analysis and the stabilization problem for systems with asynchronous sensors and controllers, and actuators subject to saturation. We consider a system with parameter uncertainty caused by clock offsets. By using a polytopic overapproximation, we investigate how large clock offsets affect stability. In addition, we employ(More)