SEARCH · arXiv Science

Results for “eess.SY”

Search indexed arXiv papers on artificial intelligence, large language models, computer vision and robotics. Read source abstracts and follow links to arXiv.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 19 recordsLinked to original sources

arXiv2012

Sampled-Data and Harmonic Balance Analyses of Average Current-Mode Controlled Buck Converter

Dynamics and stability of average current-mode control of buck converters are analyzed by sampled-data and harmonic balance analyses. An exact sampled-data model is derived. A new continuous-time model "lifted" from the sampled-data model is also derived, and has frequency response matched with experimental data reported previously. Orbital stability is studied and it is found unrelated to the ripple size of the current-loop compensator output. An unstable window of the current-loop compensator pole is found by simulations, and it can be accurately predicted by sampled-data and harmonic balance analyses. A new S plot accurately predicting the subharmonic oscillation is proposed. The S plot assists pole assignment and shows the required ramp slope to avoid instability.

eess.SY↗

arXiv2022

Modeling the Neuromuscular Control System of an Octopus Arm

The octopus arm is a neuromechanical system that involves a complex interplay between peripheral nervous system (PNS) and arm musculature. This makes the arm capable of carrying out rich maneuvers. In this paper, we build a model for the PNS and integrate it with a muscular soft octopus arm. The proposed neuromuscular architecture is used to qualitatively reproduce several biophysical observations in real octopuses, including curled rest shapes and target-directed arm reaching motions. Two control laws are proposed for target-oriented arm motions, and their performance is compared against a benchmark. Several analytical results, including rest-state characterization and stability properties of the proposed control laws, are provided.

eess.SY↗

arXiv2012

Boundary Conditions of Subharmonic Oscillations in Fixed-Switching-Frequency DC-DC Converters

Design-oriented boundary conditions for subharmonic oscillations are of great interest recently. Based on a subharmonic oscillation boundary condition reported in a PhD thesis more than a decade ago, extended new boundary conditions are derived in closed forms for general switching DC-DC converters. Sampled-data and harmonic balance analyses are applied and generate equivalent results. It is shown that equivalent series resistance causes the boundary conditions for voltage/current mode control to have similar forms. Some recently reported boundary conditions become special cases in view of the general boundary conditions derived. New Nyquist-like design-oriented plots are proposed to predict or prevent the occurrence of the subharmonic oscillation. The relation between the crossover frequency and the subharmonic oscillation is also analyzed.

eess.SY↗

arXiv2019

EV-based Smart E-mobility System -- Part I: Concept

The first of this two-paper series proposes and elaborates a concept of electric vehicle (EV)-based e-mobility system. To this end, models designed to reap the benefits of EVs' flexibility in the literature almost exclusively consider charging stations as active players exploiting the EVs' flexibility. Such stations are seen as static loads able to provide flexibility only when EVs are connected to them. However, this standpoint suffers from two major issues. First, the charging stations need to anticipate some important parameters of the incoming EVs, e.g. time of arrival and departure, state-of-energy of the EV's battery at arrival and the required state-of-energy at its departure. Second, it observes the EVs only when they are connected to these charging stations, thus overlooking the arbitrage and charging opportunities when the EVs are connected to other charging stations. This paper proposes a new viewpoint, where EVs are observed as dynamic movable storage systems which can provide flexibility at any charging station. The paper defines both systems, the existing one, where the flexibility is viewed from the standpoint of charging stations, and the proposed one, where the flexibility is viewed from the EVs' standpoint.

eess.SY↗

arXiv2023

Application of reciprocity for facilitation of wave field visualization and defect detection

The motion visualization in a structural component was studied for defect detection. Elastic motions were excited by hammer impacts at multiple points and received by an accelerometer at a fixed point. Reciprocity in elastodynamics is only valid under certain conditions. Its validity under given experimental conditions was derived from the elastodynamic reciprocity theorem. Based on this, the dynamic motion of the structural component was obtained for fixed-point excitation from measurements performed using multipoint excitations. In the visualized eigenmodes, significant additional deformation was observed at the wall thinning inserted as an artificial defect. To prevent the dependence of defect detection on its position within the mode shape, another approach was proposed based on the extraction of guided wave modes immediately after impact excitation. It is shown that this maximum intensity projection method works well in detecting defects.

eess.SP↗

arXiv2012

Unified model of voltage/current mode control to predict saddle-node bifurcation

A unified model of voltage mode control (VMC) and current mode control (CMC) is proposed to predict the saddle-node bifurcation (SNB). Exact SNB boundary conditions are derived, and can be further simplified in various forms for design purpose. Many approaches, including steady-state, sampled-data, average, harmonic balance, and loop gain analyses are applied to predict SNB. Each approach has its own merits and complement the other approaches.

eess.SY↗

arXiv2020

A Frequency-Domain Stability Method for Reset Systems

Nowadays, the demand for an alternative to linear PID controllers has increased because of the rising expectations of the high-precision industry. The potential of reset controllers to solve this important challenge has been extensively demonstrated in the literature. However, similarly to other non-linear controllers, the stability analysis for these controllers is complex and relies on parametric models of the systems which may hinder the applicability of these controllers in industry. The well-known Hbeta method tries to solve this significant issue. However, assessing the H\b{eta} condition in the frequency-domain is complex, especially for high dimensional plants. In addition, it cannot be used to assess UBIBS stability of reset control systems in the case of reseting to non-zero values. These problems have been solved in this paper for the first order reset elements, and an easy-to-use frequency approach for assessing stability of reset control systems is proposed. The effectiveness of the proposed approach is demonstrated through a practical example.

eess.SY↗

arXiv2023

A Robustness Analysis to Structured Channel Tampering Over Secure-by-Design Consensus Networks

This work addresses multi-agent consensus networks where adverse attackers affect the convergence performances of the protocol by manipulating the edge weights. We generalize (Fabris and Zelazo, 2022) and provide guarantees on the agents' agreement in the presence of attacks on multiple links in the network. A stability analysis is conducted to show the robustness to channel tampering in the scenario where part of the codeword, corresponding to the value of the edge weights, is corrupted. Exploiting the built-in objective coding, we show how to compensate the conservatism that may emerge because of multiple threats in exchange for higher encryption capabilities. Numerical examples related to semi-autonomous networks are provided.

eess.SY↗

arXiv2020

Social Resource Allocation in a Mobility System with Connected and Automated Vehicles: A Mechanism Design Problem

In this paper, we investigate the social resource allocation in an emerging mobility system consisting of connected and automated vehicles (CAVs) using mechanism design. CAVs provide the most intriguing opportunity for enabling travelers to monitor mobility system conditions efficiently and make better decisions. However, this new reality will influence travelers' tendency-of-travel and might give rise to rebound effects, e.g., increased-vehicle-miles traveled. To tackle this phenomenon, we propose a mechanism design formulation that provides an efficient social resource allocation of travel time for all travelers. Our focus is on the socio-technical aspect of the problem, i.e., by designing appropriate socio-economic incentives, we seek to prevent potential rebound effects. In particular, we propose an economically inspired mechanism to influence the impact of the travelers' decision-making on the well-being of an emerging mobility system.

eess.SY↗

arXiv2011

A Maximum Entropy solution of the Covariance Extension Problem for Reciprocal Processes

Stationary reciprocal processes defined on a finite interval of the integer line can be seen as a special class of Markov random fields restricted to one dimension. Non stationary reciprocal processes have been extensively studied in the past especially by Jamison, Krener, Levy and co-workers. The specialization of the non-stationary theory to the stationary case, however, does not seem to have been pursued in sufficient depth in the literature. Stationary reciprocal processes (and reciprocal stochastic models) are potentially useful for describing signals which naturally live in a finite region of the time (or space) line. Estimation or identification of these models starting from observed data seems still to be an open problem which can lead to many interesting applications in signal and image processing. In this paper, we discuss a class of reciprocal processes which is the acausal analog of auto-regressive (AR) processes, familiar in control and signal processing. We show that maximum likelihood identification of these processes leads to a covariance extension problem for block-circulant covariance matrices. This generalizes the famous covariance band extension problem for stationary processes on the integer line. As in the usual stationary setting on the integer line, the covariance extension problem turns out to be a basic conceptual and practical step in solving the identification problem. We show that the maximum entropy principle leads to a complete solution of the problem.

math.OC↗

arXiv2021

Model-Free Practical Cooperative Control for Diffusively Coupled Systems

In this paper, we develop a data-based controller design framework for diffusively coupled systems with guaranteed convergence to an $ε$-neighborhood of the desired formation. The controller is comprised of a fixed controller with an adjustable gain on each edge. Via passivity theory and network optimization we not only prove that there exists a gain attaining the desired formation control goal, but we present a data-based method to find an upper bound on this gain. Furthermore, by allowing for additional experiments, the conservatism of the upper bound can be reduced via iterative sampling schemes. The introduced scheme is based on the assumption of passive systems, which we relax by discussing different methods for estimating the systems' passivity shortage, as well as applying transformations passivizing them. Finally, we illustrate the developed model-free cooperative control scheme with a case study.

eess.SY↗

arXiv2016

Adaptive-Robust Control of a Class of Uncertain Nonlinear Systems Utilizing Time-Delayed Input and Position Feedback

In this paper, the tracking control problem of a class of Euler-Lagrange systems subjected to unknown uncertainties is addressed and an adaptive-robust control strategy, christened as Time-Delayed Adaptive Robust Control (TARC) is presented. The proposed control strategy approximates the unknown dynamics through time-delayed logic, and the switching logic provides robustness against the approximation error. The novel adaptation law for the switching gain, in contrast to the conventional adaptive-robust control methodologies, does not require either nominal modelling or predefined bounds of the uncertainties. Also, the proposed adaptive law circumvents the overestimation-underestimation problem of switching gain. The state derivatives in the proposed control law is estimated from past data of the state to alleviate the measurement error when state derivatives are not available directly. Moreover, a new stability notion for time-delayed control is proposed which in turn provides a selection criterion for controller gain and sampling interval. Experimental result of the proposed methodology using a nonholonomic wheeled mobile robot (WMR) is presented and improved tracking accuracy of the proposed control law is noted compared to time-delayed control and adaptive sliding mode control.

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↗

arXiv2022

Adaptive Visual Servo Control for Autonomous Robots

This paper focuses on an adaptive and fault-tolerant vision-guided robotic system that enables to choose the most appropriate control action if partial or complete failure of the vision system in the short term occurs. Moreover, the autonomous robotic system takes physical and operational constraints into account to perform the demands of a specific visual servoing task in a way to minimize a cost function. A hierarchical control architecture is developed based on interwoven integration of a variant of the iterative closest point (ICP) image registration, a constrained noise-adaptive Kalman filter, a fault detection logic and recovery, together with a constrained optimal path planner. The dynamic estimator estimates unknown states and uncertain parameters required for motion prediction while imposing a set of inequality constraints for consistency of the estimation process and adjusting adaptively the Kalman filter parameters in the face of unexpected vision errors. It is followed by the implementation of a fault recovery strategy based on a fault detection logic that monitors the health of the visual feedback using the metric fit error of the image registration. Subsequently, the estimated/predicted pose and parameters are passed to an optimal path planner in order to bring the robot end-effector to the grasping point of a moving target as quickly as possible subject to multiple constraints such as acceleration limit, smooth capture, and line-of-sight angle of the target.

cs.RO↗

arXiv2021

Robust AC Transmission Expansion Plans from A Novel Dual Based Bi-level Approach

The rapid integration of Renewable Energy Sources (RESs) strengthens the need for a power network that can robustly handle the system's uncertain scenarios. Thus, this paper proposes the first nonlinear novel dual based bi-level approach for robust AC Transmission Expansion Planning (TEP) plans with uncertainties in RES generations and loads. It utilizes a convex relaxation and is solved by Benders Decomposition (BD), where the master determines the robust AC TEP plan. The novel dual slave model for the second level of BD circumvents the issues in using the conventional conic dual theory and aids in the worst-case realization of uncertainties using additional novel constraints. The novel dual slave is solved using Interior Point Method (IPM), as it is not a mixed-integer problem. The proposed work also includes additional linear constraints to reduce the BD's slow convergence and direct the master towards optimality. The robustness of the AC TEP plans is verified by Monte-Carlo Simulation (MCS) of the actual nonlinear and non-convex AC Optimal Power Flow (OPF). The effect of the budget of uncertainty on the AC TEP plans is also investigated. A comparison with the results of a previous work reveals the superiority of the proposed work.

eess.SY↗

arXiv2013

Stabilizing switching signals for switched linear systems

This article deals with stability of continuous-time switched linear systems under constrained switching. Given a family of linear systems, possibly containing unstable dynamics, we characterize a new class of switching signals under which the switched linear system generated by it and the family of systems is globally asymptotically stable. Our characterization of such stabilizing switching signals involves the asymptotic frequency of switching, the asymptotic fraction of activation of the constituent systems, and the asymptotic densities of admissible transitions among them. Our techniques employ multiple Lyapunov-like functions, and extend preceding results both in scope and applicability.

eess.SY↗

arXiv2023

Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design

Contract-based design is a method to facilitate modular system design. While there has been substantial progress on the theory of contracts, there has been less progress on scalable algorithms for the algebraic operations in this theory. In this paper, we present: 1) principles to implement a contract-based design tool at scale and 2) Pacti, a tool that can efficiently compute these operations. We then illustrate the use of Pacti in a variety of case studies.

cs.LO↗

arXiv2019

Dynamic State Estimation of Synchronous Machines Using Robust Cubature Kalman Filter Against Complex Measurement Noise Statistics

Cubature Kalman Filter (CKF) has good performance when handling nonlinear dynamic state estimations. However, it cannot work well in non-Gaussian noise and bad data environment due to the lack of auto-adaptive ability to measure noise statistics on line. In order to address the problem of behavioral decline and divergence when measure noise statistics deviate prior noise statistics, a new robust CKF (RCKF) algorithm is developed by combining the Huber's M-estimation theory with the classical CKF, and thereby it is proposed to coping with the dynamic state estimation of synchronous generators in this study. The simulation results on the IEEE-9 bus system and New England 16-machine-68-bus system demonstrate that the estimation accuracy and convergence of the proposed RCKF are superior to those of the classical CKF under complex measurement noise environments including different measurement noises and bad data, and that the RCKF is capable of effectively eliminating the impact of bad data on the estimation effects.

eess.SY↗