2026 |
Hyuntae Kim / Hyungbo Shim / Mohammad Ataei / Nam Hoon Jo / Gyunghoon Park A Sliding Mode Approach to Asymptotic Recovery of Nominal Performance for Uncertain Linear Systems Journal Article Forthcoming In: IEEE Transactions on Industrial Electronics, Forthcoming, ISSN: 0278-0046. Abstract | Links | BibTeX | Tags: @article{nokey,This article presents a new structure of a slid ing mode disturbance observer (SM-DOB) for handling model uncertainty and unmodeled disturbances. The pro posed SM-DOB is composed of two key components. First, a Levant’s differentiator is used to estimate the high-order time derivatives of the output. To satisfy the conditions required for the effective operation of Levant’s differentia tor, we employ an integral SM technique so that on the slid ing surface, the real plant’s dynamics are substituted with the nominal dynamics. With this structure, the proposed SM-DOB can achieve robust disturbance rejection and recover nominal performance in finite time. The stability and the finite time convergence of the proposed SM-DOB are rigorously proved by the Lyapunov stability method. Finally, to show the superiority and verify the validity of the proposed SM-DOB, we conduct both numerical simulations andlaboratory experiments with brushless dc (BLdc) motor drives. It is observed that the proposedSM-DOBguarantees satisfactory performance in rejecting both input distur bance and plant uncertainty while |
2025 |
Donghyeon Song / Yeongjun Jang / Joowon Lee / Junsoo Kim Taking Advantage of Rational Canonical Form for Faster Ring-LWE based Encrypted Controller with Recursive Multiplication Proceedings Article In: 2025 IEEE 64th Conference on Decision and Control (CDC), IEEE Control Systems Society, Rio de Janeiro, Brazil, 2025, ISBN: 979-8-3315-2627-6. Abstract | Links | BibTeX | Tags: @inproceedings{nokey,This paper aims to provide an efficient implementation of encrypted linear dynamic controllers that perform recursive multiplications on a Ring-Learning With Errors (RingLWE) based cryptosystem. By adopting a system-theoretical approach, we significantly reduce both time and space complexities, particularly the number of homomorphic operations required for recursive multiplications. Rather than encrypting the entire state matrix of a given controller, the state matrix is transformed into its rational canonical form, whose sparse and circulant structure enables that encryption and computation are required only on its nontrivial columns. Furthermore, we propose a novel method to “pack” each of the input and the output matrices into a single polynomial, thereby reducing the number of homomorphic operations. Simulation results demonstrate that the proposed design enables a remarkably fast implementation of encrypted controllers. |
Sebastian Schlor / Andrea Iannelli / Junsoo Kim / Hyungbo Shim / Frank Allgöwer A polynomial-based QCQP solver for encrypted optimization Proceedings Article In: 2025 IEEE 64th Conference on Decision and Control (CDC), IEEE Control Systems Society, Rio de Janeiro, Brazil, 2025, ISBN: 979-8-3315-2627-6. Abstract | Links | BibTeX | Tags: @inproceedings{nokey,In this paper, we present a novel method for solving a class of quadratically constrained quadratic optimization problems using only additions and multiplications. This approach enables solving constrained optimization problems on private data since the operations involved are compatible with the capabilities of homomorphic encryption schemes. To solve the constrained optimization problem, a sequence of polynomial penalty functions of increasing degree is introduced, which are sufficiently steep at the boundary of the feasible set. Adding the penalty function to the original cost function creates a sequence of unconstrained optimization problems whose minimizer always lies in the admissible set and converges to the minimizer of the constrained problem. A gradient descent method is used to generate a sequence of iterates associated with these problems. For the algorithm, it is shown that the iterate converges to a minimizer of the original problem, and the feasible set is positively invariant under the iteration. Finally, the method is demonstrated on an illustrative cryptographic problem, finding the smaller value of two numbers, and the encrypted implementability is discussed. |
Yong Joo Do / Deuksun Hong / Hyungbo Shim Distributed Q-Learning on Multi-Agent Markov Decision Process with Heterogeneous State Transition Probabilities Proceedings Article In: 2025 IEEE 64th Conference on Decision and Control (CDC), IEEE Control Systems Society, Rio de Janeiro, Brazil, 2025, ISBN: 979-8-3315-2627-6. Abstract | Links | BibTeX | Tags: @inproceedings{nokey,This paper presents a distributed Q-learning (DQlearning) algorithm within the framework of Multi-agent Markov Decision Process characterized by heterogeneous state transition probabilities and a common reward function. By communicating during learning, each agents experiencing different state transition probabilities, do not converge to their own local optimal Q-functions. Instead, the interaction forces their learning dynamics to align, and every agent converges to the optimal Q-function corresponding to the average over these heterogeneous state transition probabilities. Further analyzing its behavior, we reformulate the update algorithm of DQlearning as a continuous time dynamics using modified ODE based stochastic approximation. Through the blended dynamics approach, the asymptotics of such dynamics is analyzed, theoretically guaranteeing the emergent behavior of DQ-learning. |
Hyungbo Shim / Jin Gyu Lee / Brian D. O. Anderson Adaptation of Parameters in Heterogeneous Multi-agent Systems Proceedings Article In: 2025 IEEE 64th Conference on Decision and Control (CDC), IEEE Control Systems Society, Rio de Janeiro, Brazil, 2025, ISBN: 979-8-3315-2627-6. Abstract | Links | BibTeX | Tags: @inproceedings{nokey,This paper proposes an adaptation mechanism for heterogeneous multi-agent systems to align the agents' internal parameters, based on enforced consensus through strong couplings. Unlike homogeneous systems, where exact consensus is attainable, the heterogeneity in node dynamics precludes perfect synchronization. Nonetheless, previous work has demonstrated that strong coupling can induce approximate consensus, whereby the agents exhibit emergent collective behavior governed by the so-called blended dynamics. Building on this observation, we introduce an adaptation law that gradually aligns the internal parameters of agents without requiring direct parameter communication. The proposed method reuses the same coupling signal employed for state synchronization, which may result in a biologically or sociologically plausible adaptation process. Under a persistent excitation condition, we prove that the linearly parametrized vector fields of the agents converge to each other, thereby making the dynamics asymptotically homogeneous, and leading to exact consensus of the state variables. |
Gaeun Kim / Hyungbo Shim Determination of Bandwidth of Q-Filter in Disturbance Observers to Guarantee Transient and Steady State Performance Under Measurement Noise Proceedings Article In: Institute of Control, Robotics and Systems 2025 25th International Conference on Control, Automation and Systems (ICCAS), Songdo Convensia, Incheon, Korea, 2025. Abstract | Links | BibTeX | Tags: @inproceedings{nokey,Q-filter-based disturbance observer (DOB) is one of the most widely used robust controller due to its design simplicity. Such simplicity arises from that reducing τ, which is the time constant of low pass filters, not only ensures robust stability but also enhances nominal performance recovery—ability to recover the trajectory of nominal closed-loop system. However, in contrast to noise-free setup, excessively small τ can rather damage the nominal performance recovery under measurement noise. That is, minimizing τ is no longer immediately guaranteeing nominal performance recovery. Motivated by this observation, this paper concentrates on determination of τ to guarantee transient and steady state performance. This analysis uses Lyapunov method utilizing the coordinate transformation inspired by the analysis based on singular perturbation theory. As a result, we present an affordable noise level and open interval for τ that guarantees both the required performances. The analysis can also lead to theoretical demonstration on that excessively reducing τ gives assurance to achieve target performance only for noise-free case. |
Sangwon Lee / Hyungbo Shim Actuator Position Estimation for Electro-Hydraulic Ride Height Control System Using EKF and a Reduced-Order Model Obtained via Singular Perturbation Proceedings Article In: Institute of Control, Robotics and Systems 2025 25th International Conference on Control, Automation and Systems (ICCAS), Songdo Convensia, Incheon, Korea, 2025. Abstract | Links | BibTeX | Tags: @inproceedings{nokey,Ride height control systems adjust the distance between a vehicle's chassis and the road surface to improve ride comfort, aerodynamics, and underbody protection. Among various types, electro-hydraulic systems use hydraulic actuators to lift or lower the vehicle body. In such systems, ride height is usually measured by sensors mounted on the vehicle body. However, these sensors do not directly measure the actuator's internal position. As a result, the controller may continue commanding motion even after the actuator reaches its stroke limit. This can lead to noise generation, mechanical wear, and reduced ride quality. To solve this problem, we propose a model-based method to estimate the internal position of a single-acting actuator using only measurable signals. First, a full-order model of the system is developed, including the motor, pump, valves, and actuator dynamics. Then, a reduced-order model is derived using singular perturbation to simplify the computation. An extended Kalman filter is designed based on this reduced model. Simulation results are validated against experimental data obtained from vehicle-level tests. The proposed method shows accurate and robust performance under various operating conditions and sensor noise, making it suitable for practical ride height control systems. |
Hyungbo Shim / Daniel Liberzon Stability of linear systems with slow and fast time variation and switching: General case Journal Article In: Nonlinear Analysis: Hybrid Systems, vol. 58, pp. 101626, 2025, ISSN: 1751-570X. Abstract | Links | BibTeX | Tags: @article{nokey,This paper studies exponential stability of linear systems with slow and fast time variation and switching. We use averaging to eliminate the fast dynamics and only retain the slow dynamics. We then use a recent stability criterion for slowly time-varying and switched systems, combined with perturbation analysis, to prove stability of the original system. The analysis involves working with an impulsive system in new coordinates, which enables us to treat a more general class of systems compared to previous work. |
Chao Huanga / Siliang Yu / Hyungbo Shim / Brian D.O. Anderson Two algorithms for distributed mode computing based on blended dynamics approach Journal Article In: Systems & Control Letters, vol. 202, iss. Systems & Control Letters, pp. 106082, 2025, ISBN: 0167-6911 . Abstract | Links | BibTeX | Tags: Blended dynamics, Consensus, ConsensusMode computingBlended dynamics, Mode computing @article{nokey, This paper studies the distributed mode computing problem in a multi-agent system, in which each individual agent possesses a certain attribute and the agent group aims to agree upon the mode (the most frequent attribute owned by the agents) via distributed computing. Two algorithms are proposed, the first one estimates the frequency of all attributes at every agent, and then identifies the most frequent attribute as the mode; the second is based on a distributed consensus protocol that renders all the agents agreeing on an attribute whose frequency is no less than a given threshold. This protocol is then used as the main building block to compute the mode via a branch-and-bound algorithm. Analysis of both algorithms establishes finite time convergence and is based on the blended dynamics approach. |
Aneel Tanwani / Hyungbo Shim / Andrew R. Teel Singularly Perturbed Hybrid Systems for Analysis of Networks With Frequently Switching Graphs Journal Article In: IEEE Transactions on Automatic Control, vol. 70, iss. 7, pp. 4344-4359, 2025, ISSN: 0018-9286. Abstract | Links | BibTeX | Tags: Hybrid system, Multi-agent systems, Singular perturbation @article{nokey,For a class of hybrid systems, where jumps occur frequently, we analyze the stability of system trajectories in view of singularly perturbed dynamics. The specific model we consider comprises an interconnection of two hybrid subsystems, a timer which triggers the jumps, and some discrete variables to determine the index of the jump maps. The flow equations of these variables are singularly perturbed differential equations and, in particular, a smaller value of the singular perturbation parameter leads to an increase in the frequency of the jump instants. For the limiting value of this parameter, we consider a decomposition that comprises a quasi-steady-state system modeled by a differential equation without any jumps and a boundary-layer system described by purely discrete dynamics. Under appropriate assumptions on the quasi-steady-state system and the boundary-layer system, we derive results showing practical stability of a compact attractor when the jumps occur sufficiently often. As an application of our results, we discuss the control design problem in a network of second-order continuous-time coupled oscillators, where each agent communicates the information about its position to some of its neighbors at discrete times. Using the results developed in this article, we show that if the union of the communication graphs being used for information exchange between agents is connected, then the oscillators achieve practical consensus. |
Soojeong Hyeon / Hyuntae Kim / Hyungbo Shim Data-driven displacement-based formation control with range-only measurements Journal Article In: IEEE Access, vol. 13, pp. 115167-115177, 2025, ISSN: 2169-3536. Abstract | Links | BibTeX | Tags: @article{nokey,This paper proposes an algorithm to coordinate a displacement-based formation of a multi-agent system when their local frames are not aligned. Agents can measure neither the relative positions nor orientations, but only the range (distance) to their neighbors. We demonstrate that persistently exciting data exchanged between two agents can be used to infer relative positions and orientations. In the proposed method, we address discrete-time distributed orientation estimation based on an averaging consensus protocol. An asymptotic stability analysis of the desired formation shape is presented and the proposed strategy is validated through simulation results. |
Sunghyun Koo / Jin Gyu Lee / Hyungbo Shim A Distributed Observer Accommodating a Broad Range of Intermittent Communication Scenarios Journal Article In: IEEE Control Systems Letters, vol. 9, pp. 1682-1687, 2025, ISSN: 2475-1456. Abstract | Links | BibTeX | Tags: distributed observer, Distributed state estimation, Multi-agent systems @article{nokey,This paper proposes a distributed observer that utilizes intermittent communication and accommodates a broad range of scenarios, including asynchronous operation, unidirectional communication, packet loss, and communication delays. An analysis over jointly connected switching topology supports this and provides a condition for exponential convergence of the estimation error. This condition can be used to determine a communication rate. The analysis is valid when the unobservable subspace of each agent admits an invariant orthogonal complement. This is a property that is always achievable via a coordinate transformation when the system matrix is diagonalizable over the complex field |
Yeongjun Jang / Joowon Lee / Seonhong Min / Hyesun Kwak / Junsoo Kim / Yongsoo Song Ring-LWE-Based Encrypted Controller With Unlimited Number of Recursive Multiplications and Effect of Error Growth Journal Article In: IEEE Transactions on Control of Network Systems, vol. 12, iss. 4, pp. 2604 - 2616, 2025, ISBN: 2325-5870. Abstract | Links | BibTeX | Tags: @article{nokey,In this article, we propose an encrypted dynamic controller that executes an unlimited number of recursive homomorphic multiplications on a Ring Learning With Errors (Ring-LWE)-based cryptosystem without bootstrapping. The proposed controller exhibits lower computational complexity compared to existing encrypted controllers implemented on LWE-based schemes due to the polynomial structure of Ring-LWE. However, the structural difference introduces additional difficulties in analyzing the effect of error growth; Ring-LWE-based schemes inject multiple error coefficients when encrypting a single message, which accumulate under recursive homomorphic multiplications. We show that their effect on control performance can be arbitrarily bounded by the closed-loop stability, thus recovering the performance of the unencrypted controller. Furthermore, a novel method to “pack” a vector into a polynomial is presented, which enhances computational and memory efficiency when applied to the proposed encrypted controller. The effectiveness of the proposed design is demonstrated through numerical simulations. |
Yeongjun Jang, Joowon Lee, Seonhong Min, Hyesun Kwak, Junsoo Kim, / Yongsoo Song Ring-LWE based encrypted controller with unlimited number of recursive multiplications and effect of error growth Journal Article In: IEEE Transactions on Control of Network Systems, vol. 12, no. 4, pp. 2604 - 2616, 2025, ISSN: 2325-5870. Abstract | Links | BibTeX | Tags: @article{nokey,In this article, we propose an encrypted dynamic controller that executes an unlimited number of recursive homomorphic multiplications on a Ring Learning With Errors (Ring-LWE)-based cryptosystem without bootstrapping. The proposed controller exhibits lower computational complexity compared to existing encrypted controllers implemented on LWE-based schemes due to the polynomial structure of Ring-LWE. However, the structural difference introduces additional difficulties in analyzing the effect of error growth; Ring-LWE-based schemes inject multiple error coefficients when encrypting a single message, which accumulate under recursive homomorphic multiplications. We show that their effect on control performance can be arbitrarily bounded by the closed-loop stability, thus recovering the performance of the unencrypted controller. Furthermore, a novel method to “pack” a vector into a polynomial is presented, which enhances computational and memory efficiency when applied to the proposed encrypted controller. The effectiveness of the proposed design is demonstrated through numerical simulations. |
Jihoon Suh / Yeongjun Jang / Kaoru Teranishi / Takashi Tanaka Relative entropy regularized reinforcement learning for efficient encrypted policy synthesis Journal Article In: IEEE Control Systems Letters, vol. 9, 2025, ISSN: 2475-1456. Abstract | Links | BibTeX | Tags: @article{nokey,We propose an efficient encrypted policy synthesis to develop privacy-preserving model-based reinforcement learning. We first demonstrate that the relative-entropy-regularized reinforcement learning framework offers a computationally convenient linear and “min-free” structure for value iteration, enabling a direct and efficient integration of fully homomorphic encryption with bootstrapping into policy synthesis. Convergence and error bounds are analyzed as encrypted policy synthesis propagates errors under the presence of encryption-induced errors including quantization and bootstrapping. Theoretical analysis is validated by numerical simulations. Results demonstrate the effectiveness of the RERL framework in integrating FHE for encrypted policy synthesis. |
Hyuntae Kim / Gyunghoon Park / Hyungbo Shim Robust disturbance rejection for uncertain linear system with time-varying exo-system: A disturbance observer approach Journal Article In: Automatica, iss. 174, pp. 112100, 2025, ISSN: 0005-1098. Abstract | Links | BibTeX | Tags: Disturbance observer, Internal model principle, Linear Systems @article{nokey,This paper addresses the problem of completely eliminating modeled disturbance that enters linear minimum-phase systems having parametric uncertainty and is generated by a linear time-varying exo-system. Motivated by the internal model principle (IMP), the core is to append a filter in front of the plant, such that (a) the disturbance model is embedded into the filter dynamics and (b) the filter is of minimum phase. Then the cascade connection of the plant and the filter is robustly stabilized by employing a disturbance observer (DOB)-based controller. In addition to simplicity in the design over the existing IMP-based approaches, the proposed controller also enjoys benefits of the DOB techniques, such as robustness against large parametric uncertainty and additional unmodeled disturbance, and guaranteeing a pre-defined nominal tracking performance in both transient and steady-state. Stability and performance of the controller are analyzed by the singular perturbation theory. |
Yeongjun Jang / Joowon Lee / Junsoo Kim Documentation on Encrypted Dynamic Control Simulation Code Using Ring-LWE Based Cryptosystems Journal Article In: Journal of The Society of Instrument and Control Engineers, vol. 64, iss. 4, pp. 248~254, 2025. Abstract | Links | BibTeX | Tags: @article{nokey,This paper provides example codes with instruc-tions on implementing Ring-LWE based encrypted controllers 13), 14) for a four-tank system using Lattigo The codes can be easily customized by readers for application to different systems or approaches. It is demonstrated that the methods of Ref. 13) and Ref. 14) enable fast implementations of encrypted controllers, taking less than 17 ms on average at each time step for computing the control input of a fourthorder controller. |
Junsoo Kim / Jin Gyu Lee / Henrik Sandberg / Karl H. Johansson Complexity Reduction for Resilient State Estimation of Uniformly Observable Nonlinear Systems Journal Article In: IEEE TRANSACTIONS ON AUTOMATIC CONTROL, vol. 70, iss. 2, pp. 1267-1272, 2025, ISSN: 0018-9286. Abstract | Links | BibTeX | Tags: @article{nokey,A resilient state estimation scheme for uniformly observable nonlinear systems, based on a method for local identification of sensor attacks, is presented. The estimation problem is combinatorial in nature, and so many methods require substantial computational and storage resources as the number of sensors increases. To reduce the complexity, the proposed method performs the attack identification with local subsets of the measurements, not with the set of all measurements. A condition for nonlinear attack identification is introduced as a relaxed version of existing redundant observability condition. It is shown that an attack identification can be performed even when the entire state cannot be recovered from the measurements. As a result, although a portion of measurements are compromised, they can be locally identified and excluded from the state estimation, and thus, the true state can be recovered. Simulation results demonstrate the effectiveness of the proposed scheme. |
Joowon Lee / Donggil Lee / Junsoo Kim / Hyungbo Shim Encrypted Dynamic Control Exploiting Limited Number of Multiplications and a Method Using RLWE-based Cryptosystem Journal Article In: IEEE Transactions on Systems, Man, and Cybernetics: Systems, vol. 55, iss. 1, pp. 158-169, 2025, ISSN: 2168-2216. Abstract | Links | BibTeX | Tags: Controller encryption, Homomorphic encryption @article{nokey,In this article, we present a method to encrypt dynamic controllers that can be implemented through most homomorphic encryption schemes, including somewhat, leveled fully, and fully homomorphic encryption. To this end, we represent the output of the given controller as a linear combination of a fixed number of previous inputs and outputs. As a result, the encrypted controller involves only a limited number of homomorphic multiplications on every encrypted data, assuming that the output is re-encrypted and transmitted back from the actuator. A guidance for parameter choice is also provided, ensuring that the encrypted controller achieves predefined performance for an infinite time horizon. Furthermore, we propose a customization of the method for ring learning with errors (RLWE)-based cryptosystems, where a vector of messages can be encrypted into a single ciphertext and operated simultaneously, thus reducing computation and communication loads. Unlike previous results, the proposed customization does not require extra algorithms, such as rotation, other than basic addition and multiplication. Simulation results demonstrate the effectiveness of the proposed method. |
2024 |
Chao Huang / Hyungbo Shim / Siliang Yu / Brian D. O. Anderson New Results on Finite Convergence Time Mode Consensus: a Summary Proceedings Article In: 2024 IEEE 63rd Conference on Decision and Control (CDC), IEEE, Milan, Italy, 2024. Abstract | Links | BibTeX | Tags: Adaptive control, Blended Dynamics Approach, Multi-agent systems @inproceedings{nokey,This paper studies the distributed mode consensus problem in a multi-agent system. Three algorithms are proposed to find the most frequent attribute (the mode) owned by the agents via distributed computation. The first algorithm computes the frequency of each attribute using consensus protocols rooted in blended dynamics, then identifies the most frequent attribute as the mode. The second algorithm, under the assumption that each agent possesses a priori knowledge of a minimum frequency for the mode, can decrease the frequency computations required at each agent for large lower bounds. In contrast, the third algorithm eliminates the necessity for such information by implementing an adaptive updating mechanism. These algorithms successfully determine the mode within a finite time frame, and predictive estimates for convergence time are included. Moreover, the first and second algorithms demonstrate plug-and-play property with a dwell time. |
Daniel Liberzon / Hyungbo Shim Stability of Nonlinear Systems with Slow and Fast Time Variation and Switching: The Common Equilibrium Case Proceedings Article In: 2024 IEEE 63rd Conference on Decision and Control (CDC), IEEE, Milan, Italy, 2024. Abstract | Links | BibTeX | Tags: Non-Linear Systems, Switched system @inproceedings{nokey,In this paper we consider a class of nonlinear systems with two kinds of inputs: one is slowly-varying, the other is fast-varying and periodic, and both are only piecewise continuous. Under the assumption that the origin is a common equilibrium for all values of the input signals, we provide sufficient conditions under which this equilibrium is semi-globally exponentially stable. Our approach is based on considering the (partial) average system which averages out the fast variation but retains the slow variation, and which can be used to approximate the original system in a certain sense. The stability conditions involve the existence of a suitable Lyapunov function for this average system, along with a bound on the total variation of the slowly-varying input. |
Jinwook Heo / Soojeong Hyeon / Hyungbo Shim / Jinsung Kim Fully Distributed EV Charging Scheduling for Load Flattening in V2G Systems Proceedings Article In: 2024 IEEE 63rd Conference on Decision and Control (CDC), IEEE, Milan, Italy, 2024. Abstract | Links | BibTeX | Tags: Blended dynamics, Distributed optimization, Power grids @inproceedings{nokey,This paper presents a fully distributed algorithm for scheduling electric vehicle (EV) charging and discharging to flatten the total load of the grid, while considering constraints on grid transmission capacity. As a fully distributed solution, the proposed algorithm operates without the need for a central unit. Instead, each agent only communicates a single dual variable with its neighboring agents based on a communication graph, and thus no private information is shared. In particular, the algorithm does not rely on initial conditions, ensuring robustness in online changes of operational conditions. Simulation results verify the effectiveness of the proposed algorithm. |
Seungbeom Lee / Dongwoo Kim / Heewon Chung / Junsoo Kim / Hyungbo Shim Authentication of Multi-agent System with Verifiable Computation and Distributed Aggregation Proceedings Article In: 2024 IEEE 63rd Conference on Decision and Control (CDC), IEEE, Milan, Italy, 2024. Abstract | Links | BibTeX | Tags: Distributed aggregation, Multi-agent system, Verifiable computation @inproceedings{nokey,We propose an authentication scheme for a multiagent system over integers, based on verifiable computation primitives. The naive approach, employing Freivalds’ algorithm in centralized way, faces several challenges. Specifically, unreliability of the network introduces the risk of information tampering by other agents. To this end, it requires locally updating and merging the proofs of the individual states in a distributed manner. Our proposed method addresses these issues with assuming presence of a leader agent who is responsible for validating the correctness of all the states of the agents. This can be achieved by a distributed protocol that aggregates proofs from the individual agents, relying on the well-known knowledge-of-exponent assumption. By using this distributed protocol, computational complexity and communication cost are reduced compared to centralized verification. Furthermore, we incorporate a clustering technique to distribute storage requirements. |
Hamin Chang / Donghyeon Song / Stephan Trenn / Hyungbo Shim Disturbance Observer with Switched Output Redefinition for Robust Stabilization of Non-Minimum Phase Linear Systems Proceedings Article In: 2024 IEEE 63rd Conference on Decision and Control (CDC), IEEE, Milan, Italy, 2024. Abstract | Links | BibTeX | Tags: Disturbance observer, Non-minimum phase, Robust stabilization @inproceedings{nokey,Q-filter-based disturbance observer (DOB) has emerged as a powerful robust control technique renowned for its effectiveness in mitigating disturbances and addressing plant uncertainties. Despite its advantage, a key limitation of the Q-filter-based DOB lies in its requirement for plants to be of minimum phase. In this paper, we introduce an approach allowing the utilization of the Q-filter-based DOB as a stabilizing controller for non-minimum phase linear systems based on switched output redefinition of the systems. By redefining the output of systems to be controlled periodically, the approach stabilizes unstable internal dynamics of the systems as well as the original output. The proposed method is verified by an illustrative example. |
Hamin Chang / Donghyeon Song / Chanhwa Lee / Hyungbo Shim Robust Stability Condition and Simplified Design of Filter-embedded Disturbance Observer Journal Article In: International Journal of Control, Automation, and Systems, vol. 22, pp. 3584-3594, 2024, ISSN: 1598-6446. Abstract | Links | BibTeX | Tags: Disturbance observer @article{nokey,Embedding a filter is one of the simplest ways to enhance the disturbance attenuation performance of feedback control systems. In this paper, we introduce the filter-embedded disturbance observer (FDOB) and present a rigorous stability analysis of the FDOB. The proposed robust stability condition for the closed-loop system with the FDOB shows that if the filter to be embedded is stable and has zero relative degree with unity high-frequency gain, then the FDOB can be designed by simply adding the filter to a well-designed conventional disturbance observer (DOB) that guarantees closed-loop robust stability, and by adjusting the time constant of the Q-filter of the conventional DOB. It is also highlighted that the FDOB can be implemented by integrating the filter into the Q-filter of the conventional DOB, maintaining the add-on structure of the conventional DOB. In addition, it is shown that internal models of disturbances can be directly embedded into the filter of FDOB, which does not affect the design of the Q-filter. Simulation results on a motor control system are provided to validate the theoretical results. |
Yutian Wang / Tengfei Liu / Hyungbo Shim / George A. Rovithakis / Zhong-Ping Jiang A Lyapunov Characterization of Prescribed Performance Control Systems Journal Article In: IEEE Transactions on Automatic Control, vol. 69, iss. 11, pp. 7917 - 7924, 2024, ISSN: 0018-9286. Abstract | Links | BibTeX | Tags: Input-to-state practical stability, Lyapunov function, Prescribed performance control @article{nokey,This paper contributes a Lyapunov formulation for prescribed performance controller designs. In particular, we first show that the closed-loop system of a typical class of prescribed performance control systems can be transformed into an interconnection of input-to-state practically stable (ISpS) subsystems characterized by ISpS-Lyapunov functions. Then, we take advantage of the gain-interconnections between the subsystems and construct a Lyapunov function for the closed-loop system. The proposed approach is validated through prescribed performance control for both SISO and MIMO plants, as well as systems not necessarily in the lower-triangular form and systems with dynamic uncertainty. |
Andrew Teel / Aneel Tanwani / Hyungbo Shim Stability Analysis of Nonlinear Systems Over Switching Networks Using Singularly Perturbed Hybrid Systems Framework Proceedings Article In: 26th International Symposium on Mathematical Theory of Networks and Systems, MTNS, cambridge,UK, 2024. Abstract | Links | BibTeX | Tags: Hybrid system, Multi-agent system, Non-Linear Systems @inproceedings{nokey,To analyze the stability of a network of agents described by nonlinear oscillators which only exchange information about their position with some of its neighbors from time to time, we consider a theoretical framework of singularly perturbed hybrid systems. We describe such systems as an interconnection of two hybrid subsystems, a timer which triggers the jumps, and some discrete variables to determine the index of the jump maps. The flow equations of these variables are singularly perturbed differential equations, and in particular, smaller value of the singular perturbation parameter leads to increase in the frequency of the jump instants. For the limiting value of this parameter, we consider a decomposition which comprises a quasi-steady-state system modeled by a differential equation without any jumps, and a boundary-layer system described by purely discrete dynamics. Under appropriate stability assumptions on the quasi-steady-state system and the boundary-layer system, we derive results showing practical stability of a compact attractor when the information exchange between the agents occurs frequently often. |
Hyuntae Kim / Hamin Chang / Hyungbo Shim Evaluating MR-GPR and MR-NN: An Exploration of Data-driven Control Methods for Nonlinear Systems Journal Article In: International Journal of Control, Automation, and Systems, vol. 22, pp. 2934–2941, 2024, ISSN: 1598-6446. Abstract | Links | BibTeX | Tags: Data-driven control, Gaussian process, Neural Network, nonlinear systems, Stability, System identification @article{nokey,This paper addresses the challenge of data-driven control of nonlinear systems, focusing on the limi-tations and capabilities of model reference Gaussian process regression (MR-GPR) and its evolved counterpart,model reference neural networks (MR-NN). MR-GPR, based on Gaussian processes renowned for their adaptabil-ity to diverse data structures, encounters scalability issues especially when handling large datasets. To address theselimitations, this paper introduces MR-NN, an extension of MR-GPR, leveraging neural networks (NN) to managelarge datasets and capture complex nonlinear dynamics effectively. We present a comprehensive evaluation of bothmethods through a classical control problem of the inverted pendulum, a system well-recognized for its nonlinearbehavior. Numerical experiments are conducted to compare the methods in terms of control performance, compu-tational efficiency, and reliability. |
Soojeong Hyeon / Iman Shames / Hyungbo Shim Multi-agent Target Position Estimation Using Bearing-only Measurments via Spatial Excitation Proceedings Article In: 2024 American Control Conference, pp. 548-553, IEEE, 2024, ISBN: 979-8-3503-8265-5. Abstract | Links | BibTeX | Tags: Multi-agent system, Networked control system @inproceedings{nokey,This paper solves the problem of estimating a single target position by a group of agents in two-dimensional space. Each agent is assumed to know its own position and to measure only the bearing to the target. We develop a distributed estimation scheme that processes individual bearing measurements by utilizing continuous-time dynamics with communication among the agents. Under the assumption of connectivity on the communication graph, it is shown that, even if each bearing measurement does not satisfy the persistency of excitation condition, each agent is able to estimate the target position provided that the agents are properly positioned. We examine this condition in terms of spatial excitation and its relationship with geometric configuration of the agents. Additionally, we analyze the convergence rate of the estimation error. Simulation results are provided to illustrate the performance of the proposed estimator. |
Sunghyun Koo / Hyungbo Shim Reference-Tracking Sliding-Mode Control Robust to Mismatched Exogenous Disturbances Proceedings Article In: 2024 14th Asian Control Conference, pp. 848-853, 2024, ISBN: 978-9-8875-8159-8. Abstract | Links | BibTeX | Tags: Internal model principle, Output regulation, Sliding mode control @inproceedings{nokey,A dynamic state-feedback sliding-mode controller (SMC) based on the internal model principle (IMP) is proposed for the tracking of exogenous signals. The proposed SMC is robust to both matched disturbances and mismatched exogenous disturbances. It also achieves robustness to matched parametric uncertainties and a certain degree of mismatched parametric uncertainties. The stability of the closed-loop system and the existence of a global solution are theoretically guaranteed by a specific initialization of the internal model. Its performance is demonstrated through numerical simulations. |
Deuksun Hong / Hyungbo Shim A Reinforcement Learning Approach for Safe Control Using Multi-Agent Q-Learning Proceedings Article In: 2024 14th Asian Control Conference, 2024. Abstract | BibTeX | Tags: Consensus, Multi-agent system, Reinforcement learning @inproceedings{nokey,Reinforcement learning techniques typically optimize a controller only for the trained environment. This characteristic leads to trouble when applying the learned models to other settings, particularly in real control scenarios where control needs to be performed under different conditions than those during the learning phase due to modeling errors or aging. This paper introduces a multi-agent version of Q-learning known as QD-learning. We also present how this algorithm operates when applied to the various environment settings, and experimentally demonstrate its effectiveness for designing a safe controller. |
Gyunghoon Park / Hyungbo Shim / Tomomichi Hagiwara On Existence of Uniformly Marginally Stable Zeros of Linear Sampled-data Systems and its Application to Stable Inversion-based Control Journal Article In: IEEE Access, vol. 12, pp. 49826 - 49836, 2024, ISSN: 2169-3536. Abstract | Links | BibTeX | Tags: Linear Systems, marginal stability, Sampled data system @article{nokey,This paper investigates a class of sampled-data systems in which at least one of the discretetime zeros remains on the unit circle regardless of the sampling period. This type of zero is referred to as an ‘‘uniformly marginally stable’’ (UMS) zero. Utilizing this novel concept, we present necessary conditions as well as sufficient conditions for the continuous-time plant whose sampled-data model has an UMS zero. The significance of the symmetry regarding the zeros and the poles of the continuous-time plant is highlighted as it plays a vital role in enforcing a discrete-time zero of the sampled-data system to be UMS, for both discretization zeros and intrinsic zeros. We develop the theory for sampled-data systems employing a conventional sampler and a zero-order hold together with a single-input single-output continuous-time plant, and then observe that certain results can be extended to the generalized holds. As an application, we establish a condition for sampled-data systems that allow for discrete-time stable inversion-based control where the absence of such an UMS zero is crucial in the design of such control systems. |
Sihyun Ahn / Hyungbo Shim / Daniel Liberzon Semi-global practical stability of nonlinear systems with slow and fast time variation and switching in a separable form Proceedings Article In: 2024 IFAC Conference on Analysis and Control of Nonlinear Dynamics and Chaos, 2024. Abstract | BibTeX | Tags: Lyapunov method, Switched systems @inproceedings{nokey,This paper investigates stability of nonlinear systems, which has the separable form, with time-varying parameters. When the parameters are frozen, the system is stable, and the stability question is for the case when the parameters are fast-varying but its (time-varying) average (defined in a certain sense) varies slowly. Here, we allow the slowly-varying average to be discontinuous as long as its total variation has small growth. While existing results are based on the assumption that the equilibrium is invariant with respect to the parameters, we extend them to the case where the equilibrium is invariant with respect to the average of the fast-varying parameters. |
Miao Guo / Bayu Jayawardhana / Jin Gyu Lee / Hyungbo Shim Maintaining and steering a formation in an unknown dynamic environment via a consistent distributed dynamic map Journal Article In: International Journal of Robust and Nonlinear Control, vol. 34, iss. 13, pp. 8785-8801, 2024, ISSN: 1049-8923. Abstract | Links | BibTeX | Tags: Formation control, Localization, simultaneous localization and mapping @article{nokey,In this paper, we study the problem of maintaining a stable mobile robot formation, steering and localizing all robots in an unknown dynamic environment consisting of multiple periodically moving objects, without the presence of a global positioning system or a robot tracking system. We propose a distributed observer such that each agent can estimate global positions of all mobile robots and that of moving landmarks in an unknown environment. By combining the proposed distributed observer with the distributed formation control and centroid tracking control law, we show that the formation shape can be maintained by utilizing its available relative measurements and the estimated relative measurements to its neighbors, and the group's centroid follows a desired trajectory. We present stability analysis of the closed-loop system. Finally, we validate the proposed methods in a simulation result where a group of mobile robots can maintain a robust formation and maneuver in an unknown dynamic environment. |
Yeongjun Jang / Hamin Chang / Heein Park / Hyungbo Shim Path Generating Inverse Gaussian Process Regression for Data-Driven Ultimate Boundedness Control of Nonlinear Systems Journal Article In: IEEE Control Systems Letters, vol. 8, pp. 748 - 753, 2024, ISSN: 2475-1456. Abstract | Links | BibTeX | Tags: Data-driven control, Gaussian process, nonlinear systems @article{nokey,A data-driven ultimate boundedness controller for a nonlinear system is proposed. The controller is designed based on the inverse model of the system identified by Gaussian process regression with state/input measurement data to track a reference trajectory suitable for achieving a desired ultimate bound. In particular, a suitable reference trajectory is actively generated based on the data that have been used for the identification. For this reason, the controller is named the path generating inverse Gaussian process regression (PGIGP) controller. We provide a sufficient condition on the data under which the PGIGP controller guarantees ultimate boundedness with a desired ultimate bound. It is shown that the condition can serve as a practical guideline for data acquisition and, conversely, be employed to determine the baseline of the control performance achievable from a given dataset. The effectiveness of the PGIGP controller is demonstrated through numerical simulations. |
Hyungbo Shim / Daniel Liberzon Further Results on Stability of Linear Systems with Slow and Fast Time Variation and Switching Proceedings Article In: HSCC24: HYBRID SYSTEMS: COMPUTATION AND CONTROL 2024, HSCC, Hong Kong, 2024. Links | BibTeX | Tags: Linear Systems, Switched system @inproceedings{nokey, |
Taekyoo Kim / Donggil Lee / Hyungbo Shim Decentralized Design and Plug-and-Play Distributed Control for Linear Multi-Channel Systems Journal Article In: IEEE Transactions on Automatic Control, vol. 69, iss. 5, pp. 2807 - 2822, 2024, ISSN: 0018-9286. Abstract | Links | BibTeX | Tags: Distributed algorithm, Multi-channel system, Plug-and-play @article{nokey,We propose a distributed control, in which many identical control agents are deployed for controlling a linear time-invariant plant that has multiple input-output channels. Each control agent can join or leave the control loop during the operation of stabilization without particular initialization over the whole networked agents. Once new control agents join the loop, they self-organize their control dynamics, which does not interfere the control by other active agents, which is achieved by local communication with the neighboring agents. The key idea enabling these features is the use of Bass' algorithm, which allows the distributed computation of stabilizing gains by solving a Lyapunov equation in a distributed manner. |
Hyungbo Shim How Does a Swarm Exhibit Emergent Behavior Through Synchronization? Journal Article In: Journal of Institute of Control, Robotics and Systems, vol. 30, iss. 4, pp. 352, 2024, ISSN: 1976-5622. Abstract | Links | BibTeX | Tags: Blended dynamics, Multi-agent systems, Synchronization @article{nokey,A swarm of individuals often exhibits behaviors that are not possible for each individual. This phenomenon is called emergence, and this paper mathematically demonstrates that new dynamics can arise in swarm behavior that cannot be explained by the dynamics of individuals. In particular, we argue that emergence occurs when heterogeneity is coupled with synchronization. These two concepts may seem conflicting, as heterogeneity is the tendency to differ whereas synchronization is the tendency toward sameness. However, we show that emergent behavior arises from the interplay between the two. |
Jin Gyu Lee / Cyrus Mostajeran / Graham Van Goffrier Node-Wise Monotone Barrier Coupling Law for Formation Control Journal Article In: Entropy, vol. 26, iss. 2, pp. 134, 2024, ISSN: 1099-4300. Abstract | Links | BibTeX | Tags: Consensus, Formation control, Nonlinear space, Positivity @article{nokey,We study a node-wise monotone barrier coupling law, motivated by the synaptic coupling of neural central pattern generators. It is illustrated that this coupling imitates the desirable properties of neural central pattern generators. In particular, the coupling law (1) allows us to assign multiple central patterns on the circle and (2) allows for rapid switching between different patterns via simple ‘kicks’. In the end, we achieve full control by partitioning the state space by utilizing a barrier effect and assigning a unique steady-state behavior to each element of the resulting partition. We analyze the global behavior and study the viability of the design. |
Namguk Kim / Hyungbo Shim Asymptotic output tracking in a class of non-minimum phase nonlinear systems via learning-based inversion Journal Article In: International Journal of Robust and Nonlinear Control, vol. 34, iss. 1, pp. 240-269, 2024, ISSN: 1049-8923. Abstract | Links | BibTeX | Tags: asymptotic output tracking, iterative learning, Non-minimum phase, stable inversion @article{noneb,Asymptotic output tracking of non-minimum phase (NMP) nonlinear systems has been a popular topic in control theory and applications. Many approaches have focused on finding solutions under minimal assumptions either in the target system or desired trajectories, as there is no general solution available. In this article, we propose a practical and simple solution for cases where the reference trajectory is periodic in time. Our approach employs a learning-based scheme to iteratively determine the desired feedforward input. Unlike previous learning-based frameworks, our method only requires the output tracking error to update the feedforward input iteratively and can be applicable to NMP systems. Our method retains the key advantages of the learning-based framework, including robustness to parameter uncertainties and periodic disturbances. We evaluate the effectiveness of our algorithm using simulation results with an inverted pendulum on a cart, a typical NMP nonlinear system. |
Jiyeon Nam / Soojeong Hyeon / Youngjun Joo / DongKi Noh / Hyungbo Shim Spectral Trade-off for Measurement Sparsification of Pose-graph SLAM Journal Article In: IEEE Robotics and Automation Letters, vol. 9, iss. 1, pp. 723 - 730, 2024, ISSN: 2377-3766. Abstract | Links | BibTeX | Tags: optimal control, simultaneous localization and mapping @article{nokey,In this paper, we propose a trade-off optimization algorithm to compute an appropriate number of edges for measurement (edge) sparsification in pose-graph SLAM. The greater the amount of measurement data, the larger is the computational burden. To reduce computational burden, one can remove a portion of measurements. However, reliable data, such as odometric measurements, can be lost if measurements are removed without any principle. To remove measurements which is redundant, we propose a trade-off optimization algorithm between maximization of the Fiedler value and minimization of the largest eigenvalue of adjacency matrix for measurement graph. This problem formulation gives virtues twofold. First, it is scalable. For any dataset, when a weight for trade-off is given, this algorithm determines the appropriate number of edges since this is a trade-off optimization problem. Second, the edges of the measurement graph can be distributed evenly. The algorithm considers the minimization of the largest eigenvalue of the adjacency matrix, so it suppresses the upper bound of the maximum degree of the measurement graph. It removes the redundant information concentrated on a few nodes, and improves the estimation accuracy of the sparsified graph. To validate the performance of the proposed trade-off optimization algorithm, we apply our approach to CSAIL, Intel, and Manhattan datasets. |
Jeong Woo Kim / Jin Gyu Lee / Donggil Lee / Hyungbo Shim A design method of distributed algorithms via discrete-time blended dynamics theorem Journal Article In: Automatica, vol. 159, pp. 111371, 2024, ISSN: 0005-1098. Abstract | Links | BibTeX | Tags: Blended dynamics, Discrete-time blended dynamics, Discrete-time heterogeneous multi-agent system, Multi-step coupling @article{Discrete-timeheterogeneousmulti-agentsystemMulti-stepcouplingBlendeddynamics,We develop a discrete-time version of the blended dynamics theorem for the use of designing distributed computation algorithms. The blended dynamics theorem enables to predict the behavior of heterogeneous multi-agent systems. Therefore, once we get a blended dynamics for a particular computational task, design idea of node dynamics for individual heterogeneous agents can easily occur. In the continuous-time case, prediction by blended dynamics was enabled by high coupling gain among neighboring agents. In the discrete-time case, we propose an equivalent action, which we call multi-step coupling in this paper. Compared to the continuous-time case, the blended dynamics can have more variety depending on the coupling matrix. This benefit is demonstrated with three applications; distributed estimation of network size, distributed computation of the PageRank, and distributed computation of the degree sequence of a graph, which correspond to the coupling by doubly-stochastic, column-stochastic, and row-stochastic matrices, respectively. |
2023 |
Hamin Chang / Stephan Trenn Design of Q-filter-based Disturbance Observer for Differential Algebraic Equations and a Robust Stability Condition: Zero Relative Degree Case Proceedings Article In: 2023 62nd IEEE Conference on Decision and Control (CDC), pp. 8489-8494, IEEE Control Systems Society, Marina Bay Sands, Singapore, 2023, ISBN: 979-8-3503-0124-3. Abstract | Links | BibTeX | Tags: Differential algebraic equation, Disturbance observer, Disturbance rejection @inproceedings{nokey,While the disturbance observer (DOB)-based controller is widely utilized in various practical applications, there has been a lack of extension of its use to differential algebraic equations (DAEs). In this paper, we introduce several lemmas that establish necessary and/or sufficient conditions for specifying the relative degree of DAEs. Using these lemmas, we also figure out that there is a class of DAEs which can be viewed as linear systems with zero relative degree. For the class of DAEs, we propose a design of Q-filter-based DOB as well as a robust stability condition for systems controlled by the DOB through time domain analysis using singular perturbation theory. The proposed stability condition is verified by an illustrative example. |
Joowon Lee / Donggil Lee / Seungbeom Lee / Junsoo Kim / Hyungbo Shim Conversion of Controllers to Have Integer State Matrix for Encrypted Control: Non-Minimal Order Approach Proceedings Article In: 2023 62nd IEEE Conference on Decision and Control (CDC), pp. 5091-5096, IEEE Control Systems Society, Marina Bay Sands, Singapore, 2023, ISBN: 979-8-3503-0124-3. Abstract | Links | BibTeX | Tags: Controller encryption, Homomorphic encryption, Linear Systems @inproceedings{nokey,To implement an encrypted dynamic controller based on homomorphic encryption that operates for an infinite time horizon, it is essential for every component of the controller's state matrix to be an integer. In this paper, we tackle the challenge of converting a pre-designed controller into a new one with an integer state matrix while preserving its control performance in the closed-loop system. This enables encrypted dynamic systems to be realized without re-encryption and approximation of control parameters, compared to the previous results. To achieve this, we propose two approaches and provide sufficient conditions on the design parameter for each. The first approach is to design the new controller as an estimator of the original closed-loop system, and the conditions on the estimator gain are derived. Our second approach is to formulate a problem of finding certain polynomials, whose solution leads to the design of the new controller. In a special case when the numerator of the plant transfer function is a constant, we provide a constructive method to obtain such solution. |
Donggil Lee / Junsoo Kim / Hyungbo Shim Distributed Resilient Observer: Blended Dynamics Theory Meets L1-Minimization Approach Proceedings Article In: 2023 62nd IEEE Conference on Decision and Control (CDC), IEEE IEEE Control Systems Society, Marina Bay Sands, Singapore, 2023. Abstract | Links | BibTeX | Tags: distributed control, distributed observer, Networked control system @inproceedings{nokey,This letter presents a distributed resilient observer for continuous-time linear time-invariant plants that remains functional even under sensor attacks. The proposed method aims to determine the estimation outcome that matches the majority of sensor measurements, which is formulated as an ℓ1 -minimization problem considering all the observable components of each sensor measurement. A distributed observer based on the blended dynamics theory is then proposed to solve the ℓ1 -minimization problem in a distributed manner. As a result, the distributed resilient estimation is enabled for a broader class of systems compared to previous works. The design procedure is constructive with parameters obtained from a specified condition that is equivalent to the well-known null-space property. |
Hyuntae Kim / Hamin Chang Model Reference Gaussian Process Regression: Data-Driven State Feedback Controller Journal Article In: IEEE Access, vol. 11, pp. 134374, 2023, ISSN: 2169-3536. Abstract | Links | BibTeX | Tags: @article{nokey,This paper proposes a data-driven state feedback controller that enables reference tracking for nonlinear discrete-time systems. The controller is designed based on the identified inverse model of the system and a given reference model, assuming that the identification of the inverse model is carried out using only the system’s state/input measurements. When its results are provided, we present conditions that guarantee a certain level of reference tracking performance, regardless of the identification method employed for the inverse model. Specifically, when Gaussian process regression (GPR) is used as the identification method, we propose sufficient conditions for the required data by applying some lemmas related to identification errors to the aforementioned conditions, ensuring that the Model Reference-GPR (MR-GPR) controller can guarantee a certain level of reference tracking performance. Finally, an example is provided to demonstrate the effectiveness of the MR-GPR controller. |
Seungbeom Lee / Jinwook Heo / Soojeong Hyeon / Jiyeon Nam / Hyungbo Shim / Jinsung Kim User-friendly Vehicle-to-Grid Optimal Scheduling Problem and Distributed Implementation for Plug-and-play Operation Proceedings Article In: International Conference on Control, Automation and Systems (ICCAS 2023), IEEE, Yeosu, Korea, Republic of, 2023. Abstract | Links | BibTeX | Tags: Distributed optimization, Initialization-free, Plug-and-play @inproceedings{nokey,In this paper, we propose an optimization method of charging scheduling algorithm based on preference of vehicle owners. To suffice various desires for vehicle charging, we design objective function of optimization problem as weighted sum of some objective function to reflect various desires. To solve the problem without aggregating weight coefficient, distributed optimization based on dynamic average consensus method is implemented. By initialization-free property of dynamic average consensus, plug-and-play operation of electric vehicle is applicable. Finally, we simulate the proposed algorithm to enlighten the meaning of weighted sum for objective function and plug-and-play scenario. |
Jeong Mo Seong / Donggil Lee / Hyungbo Shim Exponential Synchronization of Heterogeneous Multi-agent Systems via Linear-signum-type Diffusive Coupling: Blended Dynamics Approach Proceedings Article In: International Conference on Control, Automation and Systems (ICCAS 2023), IEEE, Yeosu, Korea, Republic of, 2023. Abstract | Links | BibTeX | Tags: Blended dynamics, Exponential synchronization, Heterogeneous multi-agents @inproceedings{nokey,This paper investigates the behavior of heterogeneous agents that interact through diffusive coupling, resulting in emergent blended dynamics that may not be observed in the dynamics of individual agents. In particular, we propose a linear-signum-type diffusive coupling to achieve exponential synchronization among heterogeneous agents. This finding offers a notable advantage over previous research, which primarily focused on linear-type diffusive coupling with remaining steady-state error in synchronization. We provide conditions of both linear and signum coupling strengths for achieving the exponential synchronization and analyze the associated convergence rate. Furthermore, simulation results validate the effectiveness of the proposed approach. |
Jin Gyu Lee / Thomas Berger / Stephan Trenn / Hyungbo Shim Edge-wise funnel output synchronization of heterogeneous agents with relative degree one Journal Article In: Automatica, vol. 156, pp. 111204, 2023, ISSN: 0005-1098. Abstract | Links | BibTeX | Tags: Blended dynamics, Funnel control, Heterogeneous multi-agents, output synchronization @article{nokey,When a group of heterogeneous node dynamics are diffusively coupled with a high coupling gain, the group exhibits a collective emergent behavior which is governed by a simple algebraic average of the node dynamics called the blended dynamics. This finding has been utilized for designing heterogeneous multi-agent systems by building the desired blended dynamics first and then splitting it into the node dynamics. However, to compute the magnitude of the coupling gain, each agent needs to know global information such as the number of participating nodes, the graph structure, and so on, which prevents a fully decentralized design of the node dynamics in conjunction with the coupling laws. To resolve this issue, the idea of funnel control, which is a method for adaptive gain selection, can be exploited for a node-wise coupling, but the price to pay is that the collective emergent behavior is no longer governed by a simple average of the node dynamics. Our analysis reveals that this drawback can be avoided by an edge-wise design premise, which is the idea that we present in this paper. After all, we gain benefits such as a fully decentralized design without global information, collective emergent behavior being governed by the blended dynamics, and the plug-and-play operation based on edge-wise handshaking between two nodes |
Hiroshi Ito / Hyungbo Shim A Toolkit for Globally Robust Observer-Based Feedback with Relaxed Characterization of iISS/ISS Journal Article In: IEEE Transactions on Automatic Control, vol. 68, iss. 7, pp. 3858-3871, 2023, ISSN: 0018-9286. Abstract | Links | BibTeX | Tags: Integral input-to-state stability, Lyapunov function, Output feedback, Small gain theorem @article{nokey,This paper elaborates on flexibility in dealing with the interconnection of integral input-to-state stable (iISS) and input-to-state stable (ISS) systems. The undecoupled characterizations introduced separately for iISS and ISS in the literature are linked to build a framework enabling global analysis without settling for local and semi-global properties. Feedback control design in the presence of measurement noise can benefit from the framework immediately if plants are nonlinear, irrespective of application areas. This paper proposes a toolkit for providing robustness guarantees in observer-based output feedback control subject to measurement noise. For a nonlinear plant, the couplings among the plant state, the estimation error, and the measurement noise arising in the closed-loop equations often hinder global analysis such as ISS with respect to the measurement noise. In the formalism of iISS, this paper demonstrates that the flexibility in dealing with the couplings allows one to establish the robustness globally. Moreover, it gives a condition under which the closed-loop system can possess ISS and strong iISS which are stronger than iISS. |
List of English Publication
2026 |
A Sliding Mode Approach to Asymptotic Recovery of Nominal Performance for Uncertain Linear Systems Journal Article Forthcoming In: IEEE Transactions on Industrial Electronics, Forthcoming, ISSN: 0278-0046. |
2025 |
Taking Advantage of Rational Canonical Form for Faster Ring-LWE based Encrypted Controller with Recursive Multiplication Proceedings Article In: 2025 IEEE 64th Conference on Decision and Control (CDC), IEEE Control Systems Society, Rio de Janeiro, Brazil, 2025, ISBN: 979-8-3315-2627-6. |
A polynomial-based QCQP solver for encrypted optimization Proceedings Article In: 2025 IEEE 64th Conference on Decision and Control (CDC), IEEE Control Systems Society, Rio de Janeiro, Brazil, 2025, ISBN: 979-8-3315-2627-6. |
Distributed Q-Learning on Multi-Agent Markov Decision Process with Heterogeneous State Transition Probabilities Proceedings Article In: 2025 IEEE 64th Conference on Decision and Control (CDC), IEEE Control Systems Society, Rio de Janeiro, Brazil, 2025, ISBN: 979-8-3315-2627-6. |
Adaptation of Parameters in Heterogeneous Multi-agent Systems Proceedings Article In: 2025 IEEE 64th Conference on Decision and Control (CDC), IEEE Control Systems Society, Rio de Janeiro, Brazil, 2025, ISBN: 979-8-3315-2627-6. |
Determination of Bandwidth of Q-Filter in Disturbance Observers to Guarantee Transient and Steady State Performance Under Measurement Noise Proceedings Article In: Institute of Control, Robotics and Systems 2025 25th International Conference on Control, Automation and Systems (ICCAS), Songdo Convensia, Incheon, Korea, 2025. |
Actuator Position Estimation for Electro-Hydraulic Ride Height Control System Using EKF and a Reduced-Order Model Obtained via Singular Perturbation Proceedings Article In: Institute of Control, Robotics and Systems 2025 25th International Conference on Control, Automation and Systems (ICCAS), Songdo Convensia, Incheon, Korea, 2025. |
Stability of linear systems with slow and fast time variation and switching: General case Journal Article In: Nonlinear Analysis: Hybrid Systems, vol. 58, pp. 101626, 2025, ISSN: 1751-570X. |
Two algorithms for distributed mode computing based on blended dynamics approach Journal Article In: Systems & Control Letters, vol. 202, iss. Systems & Control Letters, pp. 106082, 2025, ISBN: 0167-6911 . |
Singularly Perturbed Hybrid Systems for Analysis of Networks With Frequently Switching Graphs Journal Article In: IEEE Transactions on Automatic Control, vol. 70, iss. 7, pp. 4344-4359, 2025, ISSN: 0018-9286. |
Data-driven displacement-based formation control with range-only measurements Journal Article In: IEEE Access, vol. 13, pp. 115167-115177, 2025, ISSN: 2169-3536. |
A Distributed Observer Accommodating a Broad Range of Intermittent Communication Scenarios Journal Article In: IEEE Control Systems Letters, vol. 9, pp. 1682-1687, 2025, ISSN: 2475-1456. |
Ring-LWE-Based Encrypted Controller With Unlimited Number of Recursive Multiplications and Effect of Error Growth Journal Article In: IEEE Transactions on Control of Network Systems, vol. 12, iss. 4, pp. 2604 - 2616, 2025, ISBN: 2325-5870. |
Ring-LWE based encrypted controller with unlimited number of recursive multiplications and effect of error growth Journal Article In: IEEE Transactions on Control of Network Systems, vol. 12, no. 4, pp. 2604 - 2616, 2025, ISSN: 2325-5870. |
Relative entropy regularized reinforcement learning for efficient encrypted policy synthesis Journal Article In: IEEE Control Systems Letters, vol. 9, 2025, ISSN: 2475-1456. |
Robust disturbance rejection for uncertain linear system with time-varying exo-system: A disturbance observer approach Journal Article In: Automatica, iss. 174, pp. 112100, 2025, ISSN: 0005-1098. |
Documentation on Encrypted Dynamic Control Simulation Code Using Ring-LWE Based Cryptosystems Journal Article In: Journal of The Society of Instrument and Control Engineers, vol. 64, iss. 4, pp. 248~254, 2025. |
Complexity Reduction for Resilient State Estimation of Uniformly Observable Nonlinear Systems Journal Article In: IEEE TRANSACTIONS ON AUTOMATIC CONTROL, vol. 70, iss. 2, pp. 1267-1272, 2025, ISSN: 0018-9286. |
Encrypted Dynamic Control Exploiting Limited Number of Multiplications and a Method Using RLWE-based Cryptosystem Journal Article In: IEEE Transactions on Systems, Man, and Cybernetics: Systems, vol. 55, iss. 1, pp. 158-169, 2025, ISSN: 2168-2216. |
2024 |
New Results on Finite Convergence Time Mode Consensus: a Summary Proceedings Article In: 2024 IEEE 63rd Conference on Decision and Control (CDC), IEEE, Milan, Italy, 2024. |
Stability of Nonlinear Systems with Slow and Fast Time Variation and Switching: The Common Equilibrium Case Proceedings Article In: 2024 IEEE 63rd Conference on Decision and Control (CDC), IEEE, Milan, Italy, 2024. |
Fully Distributed EV Charging Scheduling for Load Flattening in V2G Systems Proceedings Article In: 2024 IEEE 63rd Conference on Decision and Control (CDC), IEEE, Milan, Italy, 2024. |
Authentication of Multi-agent System with Verifiable Computation and Distributed Aggregation Proceedings Article In: 2024 IEEE 63rd Conference on Decision and Control (CDC), IEEE, Milan, Italy, 2024. |
Disturbance Observer with Switched Output Redefinition for Robust Stabilization of Non-Minimum Phase Linear Systems Proceedings Article In: 2024 IEEE 63rd Conference on Decision and Control (CDC), IEEE, Milan, Italy, 2024. |
Robust Stability Condition and Simplified Design of Filter-embedded Disturbance Observer Journal Article In: International Journal of Control, Automation, and Systems, vol. 22, pp. 3584-3594, 2024, ISSN: 1598-6446. |
A Lyapunov Characterization of Prescribed Performance Control Systems Journal Article In: IEEE Transactions on Automatic Control, vol. 69, iss. 11, pp. 7917 - 7924, 2024, ISSN: 0018-9286. |
Stability Analysis of Nonlinear Systems Over Switching Networks Using Singularly Perturbed Hybrid Systems Framework Proceedings Article In: 26th International Symposium on Mathematical Theory of Networks and Systems, MTNS, cambridge,UK, 2024. |
Evaluating MR-GPR and MR-NN: An Exploration of Data-driven Control Methods for Nonlinear Systems Journal Article In: International Journal of Control, Automation, and Systems, vol. 22, pp. 2934–2941, 2024, ISSN: 1598-6446. |
Multi-agent Target Position Estimation Using Bearing-only Measurments via Spatial Excitation Proceedings Article In: 2024 American Control Conference, pp. 548-553, IEEE, 2024, ISBN: 979-8-3503-8265-5. |
Reference-Tracking Sliding-Mode Control Robust to Mismatched Exogenous Disturbances Proceedings Article In: 2024 14th Asian Control Conference, pp. 848-853, 2024, ISBN: 978-9-8875-8159-8. |
A Reinforcement Learning Approach for Safe Control Using Multi-Agent Q-Learning Proceedings Article In: 2024 14th Asian Control Conference, 2024. |
On Existence of Uniformly Marginally Stable Zeros of Linear Sampled-data Systems and its Application to Stable Inversion-based Control Journal Article In: IEEE Access, vol. 12, pp. 49826 - 49836, 2024, ISSN: 2169-3536. |
Semi-global practical stability of nonlinear systems with slow and fast time variation and switching in a separable form Proceedings Article In: 2024 IFAC Conference on Analysis and Control of Nonlinear Dynamics and Chaos, 2024. |
Maintaining and steering a formation in an unknown dynamic environment via a consistent distributed dynamic map Journal Article In: International Journal of Robust and Nonlinear Control, vol. 34, iss. 13, pp. 8785-8801, 2024, ISSN: 1049-8923. |
Path Generating Inverse Gaussian Process Regression for Data-Driven Ultimate Boundedness Control of Nonlinear Systems Journal Article In: IEEE Control Systems Letters, vol. 8, pp. 748 - 753, 2024, ISSN: 2475-1456. |
Further Results on Stability of Linear Systems with Slow and Fast Time Variation and Switching Proceedings Article In: HSCC24: HYBRID SYSTEMS: COMPUTATION AND CONTROL 2024, HSCC, Hong Kong, 2024. |
Decentralized Design and Plug-and-Play Distributed Control for Linear Multi-Channel Systems Journal Article In: IEEE Transactions on Automatic Control, vol. 69, iss. 5, pp. 2807 - 2822, 2024, ISSN: 0018-9286. |
How Does a Swarm Exhibit Emergent Behavior Through Synchronization? Journal Article In: Journal of Institute of Control, Robotics and Systems, vol. 30, iss. 4, pp. 352, 2024, ISSN: 1976-5622. |
Node-Wise Monotone Barrier Coupling Law for Formation Control Journal Article In: Entropy, vol. 26, iss. 2, pp. 134, 2024, ISSN: 1099-4300. |
Asymptotic output tracking in a class of non-minimum phase nonlinear systems via learning-based inversion Journal Article In: International Journal of Robust and Nonlinear Control, vol. 34, iss. 1, pp. 240-269, 2024, ISSN: 1049-8923. |
Spectral Trade-off for Measurement Sparsification of Pose-graph SLAM Journal Article In: IEEE Robotics and Automation Letters, vol. 9, iss. 1, pp. 723 - 730, 2024, ISSN: 2377-3766. |
A design method of distributed algorithms via discrete-time blended dynamics theorem Journal Article In: Automatica, vol. 159, pp. 111371, 2024, ISSN: 0005-1098. |
2023 |
Design of Q-filter-based Disturbance Observer for Differential Algebraic Equations and a Robust Stability Condition: Zero Relative Degree Case Proceedings Article In: 2023 62nd IEEE Conference on Decision and Control (CDC), pp. 8489-8494, IEEE Control Systems Society, Marina Bay Sands, Singapore, 2023, ISBN: 979-8-3503-0124-3. |
Conversion of Controllers to Have Integer State Matrix for Encrypted Control: Non-Minimal Order Approach Proceedings Article In: 2023 62nd IEEE Conference on Decision and Control (CDC), pp. 5091-5096, IEEE Control Systems Society, Marina Bay Sands, Singapore, 2023, ISBN: 979-8-3503-0124-3. |
Distributed Resilient Observer: Blended Dynamics Theory Meets L1-Minimization Approach Proceedings Article In: 2023 62nd IEEE Conference on Decision and Control (CDC), IEEE IEEE Control Systems Society, Marina Bay Sands, Singapore, 2023. |
Model Reference Gaussian Process Regression: Data-Driven State Feedback Controller Journal Article In: IEEE Access, vol. 11, pp. 134374, 2023, ISSN: 2169-3536. |
User-friendly Vehicle-to-Grid Optimal Scheduling Problem and Distributed Implementation for Plug-and-play Operation Proceedings Article In: International Conference on Control, Automation and Systems (ICCAS 2023), IEEE, Yeosu, Korea, Republic of, 2023. |
Exponential Synchronization of Heterogeneous Multi-agent Systems via Linear-signum-type Diffusive Coupling: Blended Dynamics Approach Proceedings Article In: International Conference on Control, Automation and Systems (ICCAS 2023), IEEE, Yeosu, Korea, Republic of, 2023. |
Edge-wise funnel output synchronization of heterogeneous agents with relative degree one Journal Article In: Automatica, vol. 156, pp. 111204, 2023, ISSN: 0005-1098. |
A Toolkit for Globally Robust Observer-Based Feedback with Relaxed Characterization of iISS/ISS Journal Article In: IEEE Transactions on Automatic Control, vol. 68, iss. 7, pp. 3858-3871, 2023, ISSN: 0018-9286. |