A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z  

        1 2 | Last   [Sort by number of followers]   [Restore default list]

  Subjects -> ELECTRONICS (Total: 202 journals)
Showing 1 - 200 of 277 Journals sorted alphabetically
Acta Electronica Malaysia     Open Access  
Advanced Materials Technologies     Hybrid Journal  
Advances in Electrical and Electronic Engineering     Open Access   (Followers: 9)
Advances in Electronics     Open Access   (Followers: 99)
Advances in Magnetic and Optical Resonance     Full-text available via subscription   (Followers: 8)
Advances in Power Electronics     Open Access   (Followers: 39)
Advancing Microelectronics     Hybrid Journal  
American Journal of Electrical and Electronic Engineering     Open Access   (Followers: 28)
Annals of Telecommunications     Hybrid Journal   (Followers: 9)
APSIPA Transactions on Signal and Information Processing     Open Access   (Followers: 9)
Archives of Electrical Engineering     Open Access   (Followers: 15)
Australian Journal of Electrical and Electronics Engineering     Hybrid Journal  
Batteries     Open Access   (Followers: 9)
Batteries & Supercaps     Hybrid Journal   (Followers: 4)
Bell Labs Technical Journal     Hybrid Journal   (Followers: 31)
Bioelectronics in Medicine     Hybrid Journal  
Biomedical Instrumentation & Technology     Hybrid Journal   (Followers: 6)
BULLETIN of National Technical University of Ukraine. Series RADIOTECHNIQUE. RADIOAPPARATUS BUILDING     Open Access   (Followers: 2)
Bulletin of the Polish Academy of Sciences : Technical Sciences     Open Access   (Followers: 1)
Canadian Journal of Remote Sensing     Full-text available via subscription   (Followers: 47)
China Communications     Full-text available via subscription   (Followers: 9)
Chinese Journal of Electronics     Hybrid Journal  
Circuits and Systems     Open Access   (Followers: 15)
Consumer Electronics Times     Open Access   (Followers: 5)
Control Systems     Hybrid Journal   (Followers: 305)
ECTI Transactions on Computer and Information Technology (ECTI-CIT)     Open Access  
ECTI Transactions on Electrical Engineering, Electronics, and Communications     Open Access   (Followers: 2)
Edu Elektrika Journal     Open Access   (Followers: 1)
Electrica     Open Access  
Electronic Design     Partially Free   (Followers: 123)
Electronic Markets     Hybrid Journal   (Followers: 7)
Electronic Materials Letters     Hybrid Journal   (Followers: 4)
Electronics     Open Access   (Followers: 108)
Electronics and Communications in Japan     Hybrid Journal   (Followers: 10)
Electronics For You     Partially Free   (Followers: 103)
Electronics Letters     Hybrid Journal   (Followers: 26)
Elkha : Jurnal Teknik Elektro     Open Access  
Energy Harvesting and Systems     Hybrid Journal   (Followers: 4)
Energy Storage     Hybrid Journal   (Followers: 1)
Energy Storage Materials     Full-text available via subscription   (Followers: 4)
EPE Journal : European Power Electronics and Drives     Hybrid Journal  
EPJ Quantum Technology     Open Access   (Followers: 1)
EURASIP Journal on Embedded Systems     Open Access   (Followers: 11)
Facta Universitatis, Series : Electronics and Energetics     Open Access  
Foundations and Trends® in Communications and Information Theory     Full-text available via subscription   (Followers: 6)
Foundations and Trends® in Signal Processing     Full-text available via subscription   (Followers: 10)
Frequenz     Hybrid Journal   (Followers: 1)
Frontiers of Optoelectronics     Hybrid Journal   (Followers: 1)
IACR Transactions on Symmetric Cryptology     Open Access  
IEEE Antennas and Propagation Magazine     Hybrid Journal   (Followers: 100)
IEEE Antennas and Wireless Propagation Letters     Hybrid Journal   (Followers: 81)
IEEE Embedded Systems Letters     Hybrid Journal   (Followers: 56)
IEEE Journal of Electromagnetics, RF and Microwaves in Medicine and Biology     Hybrid Journal   (Followers: 2)
IEEE Journal of Emerging and Selected Topics in Power Electronics     Hybrid Journal   (Followers: 52)
IEEE Journal of the Electron Devices Society     Open Access   (Followers: 9)
IEEE Journal on Exploratory Solid-State Computational Devices and Circuits     Hybrid Journal   (Followers: 1)
IEEE Letters on Electromagnetic Compatibility Practice and Applications     Hybrid Journal   (Followers: 3)
IEEE Magnetics Letters     Hybrid Journal   (Followers: 7)
IEEE Nanotechnology Magazine     Hybrid Journal   (Followers: 42)
IEEE Open Journal of Circuits and Systems     Open Access   (Followers: 2)
IEEE Open Journal of Industry Applications     Open Access   (Followers: 2)
IEEE Open Journal of the Industrial Electronics Society     Open Access   (Followers: 2)
IEEE Power Electronics Magazine     Full-text available via subscription   (Followers: 77)
IEEE Pulse     Hybrid Journal   (Followers: 5)
IEEE Reviews in Biomedical Engineering     Hybrid Journal   (Followers: 22)
IEEE Solid-State Circuits Letters     Hybrid Journal   (Followers: 2)
IEEE Solid-State Circuits Magazine     Hybrid Journal   (Followers: 13)
IEEE Transactions on Aerospace and Electronic Systems     Hybrid Journal   (Followers: 366)
IEEE Transactions on Antennas and Propagation     Full-text available via subscription   (Followers: 74)
IEEE Transactions on Automatic Control     Hybrid Journal   (Followers: 59)
IEEE Transactions on Autonomous Mental Development     Hybrid Journal   (Followers: 8)
IEEE Transactions on Biomedical Engineering     Hybrid Journal   (Followers: 38)
IEEE Transactions on Broadcasting     Hybrid Journal   (Followers: 13)
IEEE Transactions on Circuits and Systems for Video Technology     Hybrid Journal   (Followers: 26)
IEEE Transactions on Consumer Electronics     Hybrid Journal   (Followers: 45)
IEEE Transactions on Electron Devices     Hybrid Journal   (Followers: 19)
IEEE Transactions on Geoscience and Remote Sensing     Hybrid Journal   (Followers: 222)
IEEE Transactions on Haptics     Hybrid Journal   (Followers: 4)
IEEE Transactions on Industrial Electronics     Hybrid Journal   (Followers: 76)
IEEE Transactions on Industry Applications     Hybrid Journal   (Followers: 40)
IEEE Transactions on Information Theory     Hybrid Journal   (Followers: 27)
IEEE Transactions on Learning Technologies     Full-text available via subscription   (Followers: 12)
IEEE Transactions on Power Electronics     Hybrid Journal   (Followers: 79)
IEEE Transactions on Services Computing     Hybrid Journal   (Followers: 4)
IEEE Transactions on Signal and Information Processing over Networks     Hybrid Journal   (Followers: 14)
IEEE Transactions on Software Engineering     Hybrid Journal   (Followers: 79)
IEEE Women in Engineering Magazine     Hybrid Journal   (Followers: 11)
IEEE/OSA Journal of Optical Communications and Networking     Hybrid Journal   (Followers: 16)
IEICE - Transactions on Electronics     Full-text available via subscription   (Followers: 12)
IEICE - Transactions on Information and Systems     Full-text available via subscription   (Followers: 5)
IET Cyber-Physical Systems : Theory & Applications     Open Access   (Followers: 1)
IET Energy Systems Integration     Open Access   (Followers: 1)
IET Microwaves, Antennas & Propagation     Hybrid Journal   (Followers: 35)
IET Nanodielectrics     Open Access  
IET Power Electronics     Hybrid Journal   (Followers: 59)
IET Smart Grid     Open Access   (Followers: 1)
IET Wireless Sensor Systems     Hybrid Journal   (Followers: 18)
IETE Journal of Education     Open Access   (Followers: 4)
IETE Journal of Research     Open Access   (Followers: 11)
IETE Technical Review     Open Access   (Followers: 13)
IJEIS (Indonesian Journal of Electronics and Instrumentation Systems)     Open Access   (Followers: 3)
Industrial Technology Research Journal Phranakhon Rajabhat University     Open Access  
Informatik-Spektrum     Hybrid Journal   (Followers: 2)
Instabilities in Silicon Devices     Full-text available via subscription   (Followers: 1)
Intelligent Transportation Systems Magazine, IEEE     Full-text available via subscription   (Followers: 13)
International Journal of Advanced Research in Computer Science and Electronics Engineering     Open Access   (Followers: 18)
International Journal of Advances in Telecommunications, Electrotechnics, Signals and Systems     Open Access   (Followers: 12)
International Journal of Antennas and Propagation     Open Access   (Followers: 11)
International Journal of Applied Electronics in Physics & Robotics     Open Access   (Followers: 4)
International Journal of Computational Vision and Robotics     Hybrid Journal   (Followers: 5)
International Journal of Control     Hybrid Journal   (Followers: 11)
International Journal of Electronics     Hybrid Journal   (Followers: 7)
International Journal of Electronics and Telecommunications     Open Access   (Followers: 13)
International Journal of Granular Computing, Rough Sets and Intelligent Systems     Hybrid Journal   (Followers: 3)
International Journal of High Speed Electronics and Systems     Hybrid Journal  
International Journal of Hybrid Intelligence     Hybrid Journal  
International Journal of Image, Graphics and Signal Processing     Open Access   (Followers: 16)
International Journal of Microwave and Wireless Technologies     Hybrid Journal   (Followers: 10)
International Journal of Nanoscience     Hybrid Journal   (Followers: 1)
International Journal of Numerical Modelling: Electronic Networks, Devices and Fields     Hybrid Journal   (Followers: 4)
International Journal of Power Electronics     Hybrid Journal   (Followers: 25)
International Journal of Review in Electronics & Communication Engineering     Open Access   (Followers: 4)
International Journal of Sensors, Wireless Communications and Control     Hybrid Journal   (Followers: 10)
International Journal of Systems, Control and Communications     Hybrid Journal   (Followers: 4)
International Journal of Wireless and Microwave Technologies     Open Access   (Followers: 6)
International Transaction of Electrical and Computer Engineers System     Open Access   (Followers: 2)
JAREE (Journal on Advanced Research in Electrical Engineering)     Open Access  
Journal of Biosensors & Bioelectronics     Open Access   (Followers: 4)
Journal of Advanced Dielectrics     Open Access   (Followers: 1)
Journal of Artificial Intelligence     Open Access   (Followers: 12)
Journal of Circuits, Systems, and Computers     Hybrid Journal   (Followers: 4)
Journal of Computational Intelligence and Electronic Systems     Full-text available via subscription   (Followers: 1)
Journal of Electrical and Electronics Engineering Research     Open Access   (Followers: 37)
Journal of Electrical Bioimpedance     Open Access  
Journal of Electrical Bioimpedance     Open Access   (Followers: 2)
Journal of Electrical Engineering & Electronic Technology     Hybrid Journal   (Followers: 7)
Journal of Electrical, Electronics and Informatics     Open Access  
Journal of Electromagnetic Analysis and Applications     Open Access   (Followers: 8)
Journal of Electromagnetic Waves and Applications     Hybrid Journal   (Followers: 9)
Journal of Electronic Design Technology     Full-text available via subscription   (Followers: 6)
Journal of Electronic Science and Technology     Open Access   (Followers: 1)
Journal of Electronics (China)     Hybrid Journal   (Followers: 5)
Journal of Energy Storage     Full-text available via subscription   (Followers: 4)
Journal of Engineered Fibers and Fabrics     Open Access   (Followers: 2)
Journal of Field Robotics     Hybrid Journal   (Followers: 3)
Journal of Guidance, Control, and Dynamics     Hybrid Journal   (Followers: 183)
Journal of Information and Telecommunication     Open Access   (Followers: 1)
Journal of Intelligent Procedures in Electrical Technology     Open Access   (Followers: 3)
Journal of Low Power Electronics     Full-text available via subscription   (Followers: 10)
Journal of Low Power Electronics and Applications     Open Access   (Followers: 10)
Journal of Microelectronics and Electronic Packaging     Hybrid Journal   (Followers: 1)
Journal of Microwave Power and Electromagnetic Energy     Hybrid Journal   (Followers: 3)
Journal of Microwaves, Optoelectronics and Electromagnetic Applications     Open Access   (Followers: 11)
Journal of Nuclear Cardiology     Hybrid Journal  
Journal of Optoelectronics Engineering     Open Access   (Followers: 4)
Journal of Physics B: Atomic, Molecular and Optical Physics     Hybrid Journal   (Followers: 31)
Journal of Power Electronics     Hybrid Journal   (Followers: 1)
Journal of Power Electronics & Power Systems     Full-text available via subscription   (Followers: 11)
Journal of Semiconductors     Full-text available via subscription   (Followers: 5)
Journal of Sensors     Open Access   (Followers: 26)
Journal of Signal and Information Processing     Open Access   (Followers: 9)
Jurnal ELTIKOM : Jurnal Teknik Elektro, Teknologi Informasi dan Komputer     Open Access  
Jurnal Rekayasa Elektrika     Open Access  
Jurnal Teknik Elektro     Open Access  
Jurnal Teknologi Elektro     Open Access  
Kinetik : Game Technology, Information System, Computer Network, Computing, Electronics, and Control     Open Access  
Majalah Ilmiah Teknologi Elektro : Journal of Electrical Technology     Open Access   (Followers: 2)
Metrology and Measurement Systems     Open Access   (Followers: 6)
Microelectronics and Solid State Electronics     Open Access   (Followers: 28)
Nanotechnology, Science and Applications     Open Access   (Followers: 6)
Nature Electronics     Hybrid Journal   (Followers: 1)
Networks: an International Journal     Hybrid Journal   (Followers: 5)
Open Electrical & Electronic Engineering Journal     Open Access  
Open Journal of Antennas and Propagation     Open Access   (Followers: 9)
Paladyn. Journal of Behavioral Robotics     Open Access   (Followers: 1)
Power Electronics and Drives     Open Access   (Followers: 2)
Problemy Peredachi Informatsii     Full-text available via subscription  
Progress in Quantum Electronics     Full-text available via subscription   (Followers: 7)
Radiophysics and Quantum Electronics     Hybrid Journal   (Followers: 2)
Recent Advances in Communications and Networking Technology     Hybrid Journal   (Followers: 4)
Recent Advances in Electrical & Electronic Engineering     Hybrid Journal   (Followers: 11)
Research & Reviews : Journal of Embedded System & Applications     Full-text available via subscription   (Followers: 6)
Revue Méditerranéenne des Télécommunications     Open Access  
Security and Communication Networks     Hybrid Journal   (Followers: 2)
Selected Topics in Applied Earth Observations and Remote Sensing, IEEE Journal of     Hybrid Journal   (Followers: 56)
Semiconductors and Semimetals     Full-text available via subscription   (Followers: 1)
Sensing and Imaging : An International Journal     Hybrid Journal   (Followers: 2)
Solid State Electronics Letters     Open Access  
Solid-State Electronics     Hybrid Journal   (Followers: 9)
Superconductor Science and Technology     Hybrid Journal   (Followers: 3)
Synthesis Lectures on Power Electronics     Full-text available via subscription   (Followers: 3)
Technical Report Electronics and Computer Engineering     Open Access  
TELE     Open Access  
Telematique     Open Access  
TELKOMNIKA (Telecommunication, Computing, Electronics and Control)     Open Access   (Followers: 9)
Transactions on Electrical and Electronic Materials     Hybrid Journal   (Followers: 1)
Universal Journal of Electrical and Electronic Engineering     Open Access   (Followers: 7)
Ural Radio Engineering Journal     Open Access   (Followers: 1)
Visión Electrónica : algo más que un estado sólido     Open Access   (Followers: 1)
Wireless and Mobile Technologies     Open Access   (Followers: 6)

        1 2 | Last   [Sort by number of followers]   [Restore default list]

Similar Journals
Journal Cover
IEEE Transactions on Automatic Control
Journal Prestige (SJR): 3.433
Citation Impact (citeScore): 6
Number of Followers: 59  
  Hybrid Journal Hybrid journal (It can contain Open Access articles)
ISSN (Print) 0018-9286
Published by IEEE Homepage  [228 journals]
  • IEEE Control Systems Society
    • Abstract: Provides a listing of current staff, committee members and society officers.
      PubDate: April 2020
      Issue No: Vol. 65, No. 4 (2020)
  • IEEE Control Systems Society
    • Abstract: Provides a listing of current committee members and society officers.
      PubDate: April 2020
      Issue No: Vol. 65, No. 4 (2020)
  • Performance Recovery of Dynamic Feedback-Linearization Methods for
           Multivariable Nonlinear Systems
    • Authors: Yuanqing Wu;Alberto Isidori;Renquan Lu;Hassan K. Khalil;
      Pages: 1365 - 1380
      Abstract: We show, in this paper, how a classical method for feedback linearization of a multivariable invertible nonlinear system, via dynamic extension and state feedback, can be robustified. The synthesis of the controller is achieved by means of a recursive procedure that, at each stage, consists in the augmentation of the system state space, to the purpose of rendering feedback-linearization possible, and in the design of a high-gain extended observer, to the purpose of estimating the state of the plant as well as the perturbations due to model uncertainties. As a result, a closed-loop system is obtained that, for any bounded set of initial conditions and any bounded input, recovers the performance that would have been obtained by means of the classical technique of feedback linearization via dynamic state feedback.
      PubDate: April 2020
      Issue No: Vol. 65, No. 4 (2020)
  • Variational Integrators for Dissipative Systems
    • Authors: David J. N. Limebeer;Sina Ober-Blöbaum;Farhang Haddad Farshi;
      Pages: 1381 - 1396
      Abstract: This article uses physical arguments to derive variational integration schemes for dissipative mechanical systems. These integration algorithms find utility in the solution of the equations of motion and optimal control problems for these systems. Engineers usually represent dissipation effects using phenomenological devices such as “dampers.” In this article, we replace these dampers with a lossless transmission-line in order that the equations of motion are derivable from a variational principle. The associated system Lagrangian can then be discretized and used to develop low-order variational integration schemes that inherit the advantageous features of their conservative counterparts. The properties of a lossless spring-inerter based transmission system are analyzed in detail, with the resulting variational integration schemes shown to have excellent numerical properties. The article concludes with the analysis of a dissipative variant of the classical Kepler central force problem.
      PubDate: April 2020
      Issue No: Vol. 65, No. 4 (2020)
  • Linear Quadratic Mean Field Games: Asymptotic Solvability and Relation to
           the Fixed Point Approach
    • Authors: Minyi Huang;Mengjie Zhou;
      Pages: 1397 - 1412
      Abstract: Mean field game theory has been developed largely following two routes. One of them, called the direct approach, starts by solving a large-scale game and next derives a set of limiting equations as the population size tends to infinity. The second route is to apply mean field approximations and formalize a fixed point problem by analyzing the best response of a representative player. This paper addresses the connection and difference of the two approaches in a linear quadratic (LQ) setting. We first introduce an asymptotic solvability notion for the direct approach, which means for all sufficiently large population sizes, the corresponding game has a set of feedback Nash strategies in addition to a mild regularity requirement. We provide a necessary and sufficient condition for asymptotic solvability and show that in this case the solution converges to a mean field limit. This is accomplished by developing a re-scaling method to derive a low-dimensional ordinary differential equation (ODE) system, where a non-symmetric Riccati ODE has a central role. We next compare with the fixed point approach which determines a two-point boundary value (TPBV) problem, and show that asymptotic solvability implies feasibility of the fixed point approach, but the converse is not true. We further address non-uniqueness in the fixed point approach and examine the long time behavior of the non-symmetric Riccati ODE in the asymptotic solvability problem.
      PubDate: April 2020
      Issue No: Vol. 65, No. 4 (2020)
  • A New Method for Control Allocation of Aircraft Flight Control System
    • Authors: Yuanchao Yang;Zichen Gao;
      Pages: 1413 - 1428
      Abstract: The next generation of aircraft with a large number of effectors will require advanced methods for control allocation (CA) to compute the effectors’ commands needed to follow the desired objective while respecting associated constraints. Currently, the main challenge of the CA is to achieve low enough computation time with a deterministically optimal result for a real-time application. In this paper, at first, we cast the CA as a nonlinear convex programming problem which depicts the desired objective function subject to three-axis moment demands and the limits of effectors’ movement; then we develop a computationally tractable method for real-time application on the CA of the aircraft flight control system. The method can analytically and deterministically give one optimal solution for the CA and prove this optimal solution to be guaranteed within a certainly maximal computation time. Numerical testing results based on Boeing C-17 transport aircraft and Lockheed-Martin tailless fighter models demonstrate that the method is effective in terms of its computational efficiency, accuracy, and reliability.
      PubDate: April 2020
      Issue No: Vol. 65, No. 4 (2020)
  • Synthesis of Dynamic Masks for Infinite-Step Opacity
    • Authors: Xiang Yin;Shaoyuan Li;
      Pages: 1429 - 1441
      Abstract: We investigate the problem of synthesizing dynamic masks that preserve the infinite-step opacity in the context of discrete-event systems. Dynamic mask is an information acquisition mechanism that controls the observability of the system's events dynamically online, e.g., by turning sensors on/off. A system equipped with a dynamic mask is said to be infinite-step opaque if an outside intruder that can access all acquired information can never infer that the system was at some secret state for any specific previous instant. Existing works on the dynamic mask synthesis problem can only preserve the current-state opacity. However, synthesizing dynamic masks for the infinite-step opacity, which is stronger than the current-state opacity, is much more challenging. The main reason is that the delayed information is involved in this problem and whether or not a current secret can be revealed depends on sensing decisions to be synthesized in the future. In this paper, a new type of information state is proposed to capture all the delayed information in the infinite-step opacity synthesis problem. An effective algorithm is then presented to solve the synthesis problem, which extends existing dynamic mask synthesis techniques from the current-state opacity to infinite-step opacity. Additionally, an information-state-reduction-based approach is proposed to further mitigate the computational complexity of the synthesis procedure. Finally, we discuss how to generalize our results to a class properties with delayed information including infinite-step $K$-anonymity and infinite-step indistinguishability.
      PubDate: April 2020
      Issue No: Vol. 65, No. 4 (2020)
  • Notions of Centralized and Decentralized Opacity in Linear Systems
    • Authors: Bhaskar Ramasubramanian;Rance Cleaveland;Steven I. Marcus;
      Pages: 1442 - 1455
      Abstract: We formulate notions of opacity for cyberphysical systems modeled as discrete-time linear time-invariant systems. A set of secret states is $k$-ISO with respect to a set of nonsecret states if, starting from these sets at time 0, the outputs at time $k$ are indistinguishable to an adversarial observer. Necessary and sufficient conditions to ensure that a secret specification is $k$-ISO are established in terms of sets of reachable states. We also show how to adapt techniques for computing underapproximations and overapproximations of the set of reachable states of dynamical systems in order to soundly approximate $k$-ISO. Furthermore, we provide a condition for output controllability, if $k$-ISO holds, and show that the converse holds under an additional assumption. We extend the theory of opacity for single-adversary systems to the case of multiple adversaries and develop several notions of decentralized opacity. We study the following scenarios: first, the presence or lack of a centralized coordinator, and, second, the presence or absence of collusion among adversaries. In the case of colluding adversaries, we derive a condition for nonopacity that depends on the structure of the directed graph representing the communication between adversaries. Finally, we relax the condition that the outputs be indistinguishable and define a notion of $epsilon$-opacity, and also provide an extension to the case of nonlinear systems.
      PubDate: April 2020
      Issue No: Vol. 65, No. 4 (2020)
  • Distributed Mixed-Integer Linear Programming via Cut Generation and
           Constraint Exchange
    • Authors: Andrea Testa;Alessandro Rucco;Giuseppe Notarstefano;
      Pages: 1456 - 1467
      Abstract: Many problems of interest for cyber-physical network systems can be formulated as mixed-integer linear programs in which the constraints are distributed among the agents. In this paper, we propose a distributed algorithmic framework to solve this class of optimization problems in a peer-to-peer network with no coordinator and with limited computation and communication capabilities. At each communication round, agents locally solve a small linear program, generate suitable cutting planes, and communicate a fixed number of active constraints. Within the distributed framework, we first propose an algorithm that, under the assumption of integer-valued optimal cost, guarantees finite-time convergence to an optimal solution. Second, we propose an algorithm for general problems that provides a suboptimal solution up to a given tolerance in a finite number of communication rounds. Both algorithms work under asynchronous, directed, unreliable networks. Finally, through numerical computations, we analyze the algorithm scalability in terms of the network size. Moreover, for a multi-agent multi-task assignment problem, we show, consistently with the theory, its robustness to packet loss.
      PubDate: April 2020
      Issue No: Vol. 65, No. 4 (2020)
  • Inner-Approximating Reachable Sets for Polynomial Systems With
           Time-Varying Uncertainties
    • Authors: Bai Xue;Martin Fränzle;Naijun Zhan;
      Pages: 1468 - 1483
      Abstract: In this paper, we propose a convex programming based method to address a long-standing problem of inner-approximating backward reachable sets of state-constrained polynomial systems subject to time-varying uncertainties. The backward reachable set is a set of states, from which all trajectories starting will surely enter a target region at the end of a given time horizon without violating a set of state constraints in spite of the actions of uncertainties. It is equal to the zero sublevel set of the unique Lipschitz viscosity solution to a Hamilton–Jacobi partial differential equation (HJE). We show that inner approximations of the backward reachable set can be formed by zero sublevel sets of its viscosity supersolutions. Consequently, we reduce the inner-approximation problem to a problem of synthesizing polynomial viscosity supersolutions to this HJE. Such a polynomial solution in our method is synthesized by solving a single semidefinite program. We also prove that polynomial solutions to the formulated semidefinite program exist and can produce a convergent sequence of inner approximations to the interior of the backward reachable set in measure under appropriate assumptions. This is the main contribution of this paper. Several illustrative examples demonstrate the merits of our approach.
      PubDate: April 2020
      Issue No: Vol. 65, No. 4 (2020)
  • Output Feedback Energy Control of the Sine-Gordon PDE Model Using
           Collocated Spatially Sampled Sensing and Actuation
    • Authors: Yury Orlov;Alexander L. Fradkov;Boris Andrievsky;
      Pages: 1484 - 1498
      Abstract: The present investigation focuses on the output energy control of the nonlinear sine-Gordon model in a practical situation where only spatially sampled sensing and actuation are available. The speed-gradient method that has corroborated its utility for the sine-Gordon model, controlled through the manipulable parameters of the external field and boundary actuation, is now generalized to the spatially sampled sensing and actuation, aiming to pump/dissipate the energy of the model to a desired level. Luenberger-type observers are additionally developed in the present nonlinear PDE setting to be involved into the output feedback synthesis over collocated state (position and/or velocity) measurements. Capabilities of the proposed synthesis are illustrated in numerical simulations.
      PubDate: April 2020
      Issue No: Vol. 65, No. 4 (2020)
  • Scheduling Multiple Agents in a Persistent Monitoring Task Using
           Reachability Analysis
    • Authors: Xi Yu;Sean B. Andersson;Nan Zhou;Christos G. Cassandras;
      Pages: 1499 - 1513
      Abstract: We consider the problem of controlling the dynamic state of each of a finite collection of targets distributed in physical space using a much smaller collection of mobile agents. Each agent can attend to no more than one target at a given time, thus agents must move between targets to control the collective state, implying that the states of each of the individual targets are only controlled intermittently. We assume that the state dynamics of each of the targets are given by a linear, time-invariant, controllable system, and develop conditions on the visiting schedules of the agents to ensure that the property of controllability is maintained in the face of the intermittent control. We then introduce constraints on the magnitude of the control input and a bounded disturbance into the target dynamics and develop a method to evaluate system performance under this scenario. Finally, we use this method to determine how the amount of time the agents spend at a given target, before switching to the next in its sequence, influences the control of the states of the entire collection of targets.
      PubDate: April 2020
      Issue No: Vol. 65, No. 4 (2020)
  • Extending the Best Linear Approximation Framework to the Process Noise
    • Authors: Maarten Schoukens;Rik Pintelon;Tadeusz P. Dobrowiecki;Johan Schoukens;
      Pages: 1514 - 1524
      Abstract: The best linear approximation (BLA) framework has already proven to be a valuable tool to analyze nonlinear systems and to start the nonlinear modeling process. The existing BLA framework is limited to systems with additive (colored) noise at the output. Such a noise framework is a simplified representation of reality. Process noise can play an important role in many real-life applications.This paper generalizes the best linear approximation framework to account also for the process noise, both for the open-loop and the closed-loop setting, and shows that the most important properties of the existing BLA framework remain valid. The impact of the process noise contributions on the robust BLA estimation method is also analyzed.
      PubDate: April 2020
      Issue No: Vol. 65, No. 4 (2020)
  • Analysis of the Existence of Equilibrium Profiles in Nonisothermal Axial
           Dispersion Tubular Reactors
    • Authors: Anthony Hastir;François Lamoline;Joseph J. Winkin;Denis Dochain;
      Pages: 1525 - 1536
      Abstract: This paper deals with the analysis of the nonisothermal axial dispersion tubular reactor. The existence of equilibrium profiles is investigated. In particular, for equal Peclet numbers, it is shown that one or three equilibria can be exhibited, depending on the parameters of the system, especially on the diffusion coefficient. In addition, different and close Peclet numbers are also considered. In these cases, it is also shown that the reactor has one or three equilibrium profiles. Some numerical simulations support the theoretical results.
      PubDate: April 2020
      Issue No: Vol. 65, No. 4 (2020)
  • Competitive Statistical Estimation With Strategic Data Sources
    • Authors: Tyler Westenbroek;Roy Dong;Lillian J. Ratliff;S. Shankar Sastry;
      Pages: 1537 - 1551
      Abstract: In recent years, data have played an increasingly important role in the economy as a good in its own right. In many settings, data aggregators cannot directly verify the quality of the data they purchase, nor the effort exerted by data sources when creating the data. Recent work has explored mechanisms to ensure that the data sources share high-quality data with a single data aggregator, addressing the issue of moral hazard. Oftentimes, there is a unique, socially efficient solution. In this paper, we consider data markets where there is more than one data aggregator. Since data can be cheaply reproduced and transmitted once created, data sources may share the same data with more than one aggregator, leading to free-riding between data aggregators. This coupling can lead to nonuniqueness of equilibria and social inefficiency. We examine a particular class of mechanisms that have received study recently in the literature, and we characterize all the generalized Nash (GN) equilibria of the resulting data market. We show that, in contrast to the single-aggregator case, there is either infinitely many GN equilibria or none. We also provide necessary and sufficient conditions for all equilibria to be socially inefficient. In our analysis, we identify the components of these mechanisms that give rise to these undesirable outcomes, showing the need for research into mechanisms for competitive settings with multiple data purchasers and sellers.
      PubDate: April 2020
      Issue No: Vol. 65, No. 4 (2020)
  • Entropy Maximization for Markov Decision Processes Under Temporal Logic
    • Authors: Yagiz Savas;Melkior Ornik;Murat Cubuktepe;Mustafa O. Karabag;Ufuk Topcu;
      Pages: 1552 - 1567
      Abstract: We study the problem of synthesizing a policy that maximizes the entropy of a Markov decision process (MDP) subject to a temporal logic constraint. Such a policy minimizes the predictability of the paths it generates, or dually, maximizes the exploration of different paths in an MDP while ensuring the satisfaction of a temporal logic specification. We first show that the maximum entropy of an MDP can be finite, infinite, or unbounded. We provide necessary and sufficient conditions under which the maximum entropy of an MDP is finite, infinite, or unbounded. We then present an algorithm which is based on a convex optimization problem to synthesize a policy that maximizes the entropy of an MDP. We also show that maximizing the entropy of an MDP is equivalent to maximizing the entropy of the paths that reach a certain set of states in the MDP. Finally, we extend the algorithm to an MDP subject to a temporal logic specification. In numerical examples, we demonstrate the proposed method on different motion planning scenarios and illustrate the relation between the restrictions imposed on the paths by a specification, the maximum entropy, and the predictability of paths.
      PubDate: April 2020
      Issue No: Vol. 65, No. 4 (2020)
  • Continuous-Time and Sampled-Data Stabilizers for Nonlinear Systems With
           Input and Measurement Delays
    • Authors: Stefano Battilotti;
      Pages: 1568 - 1583
      Abstract: In this paper, we propose continuous-time and sampled-data output feedback controllers for nonlinear multi-input multi-output systems with time-varying measurement and input delays, with no restriction on the bound or serious limitations on the growth of the nonlinearities. A state prediction is generated by chains of saturated high-gain observers with switching error-correction terms and the state prediction is used to stabilize the system with saturated controls. The observers reconstruct the unmeasurable states at different delayed time-instants, which partition the maximal variation interval of the time-varying delays. These delayed time instant depend both on the magnitude of the delays and the growth rate of the nonlinearities. We also design sampled-data stabilizers as zero-order discretization of a hybrid modification (with continuous-time states and discrete-time control and innovations) of the continuous-time stabilizers.
      PubDate: April 2020
      Issue No: Vol. 65, No. 4 (2020)
  • Distributed GNE Seeking Under Partial-Decision Information Over Networks
           via a Doubly-Augmented Operator Splitting Approach
    • Authors: Lacra Pavel;
      Pages: 1584 - 1597
      Abstract: We consider distributed computation of generalized Nash equilibrium (GNE) over networks, in games with shared coupling constraints. Existing methods require that each player has full access to opponents’ decisions. In this paper, we assume that players have only partial-decision information, and can communicate with their neighbors over an arbitrary undirected graph. We recast the problem as that of finding a zero of a sum of monotone operators through primal-dual analysis. To distribute the problem, we doubly augment variables, so that each player has local decision estimates and local copies of Lagrangian multipliers. We introduce a single-layer algorithm, fully distributed with respect to both primal and dual variables. We show its convergence to a variational GNE with fixed step sizes, by reformulating it as a forward–backward iteration for a pair of doubly-augmented monotone operators.
      PubDate: April 2020
      Issue No: Vol. 65, No. 4 (2020)
  • Necessary and Sufficient Bit Rate Conditions to Stabilize a Scalar
           Continuous-Time LTI System Based on Event Triggering
    • Authors: Qiang Ling;
      Pages: 1598 - 1612
      Abstract: This paper considers a scalar continuous-time linear time-invariant system, whose feedback signal is transmitted through a communication network. Such a network has only finite bit rate and suffers from transmission delay which is characterized by both lower and upper delay bounds. The concerned system implements event-triggering strategies, i.e., only when certain events are triggered, the system samples and transmits feedback signals. This paper first derives some lower bounds on the feedback bit rate required to achieve the input-to-state stability under arbitrary event-triggering strategies. Then this paper proposes some constructive methods to design the event-triggering strategy and the controller, and can achieve the input-to-state stability at a bit rate being arbitrarily close to these obtained lower bit rate bounds. Moreover, this paper proves that the stabilizing bit rates under the proposed event-triggering strategies can be strictly lower than the stabilizing bit rate required by any time-triggering strategy. This bit rate superiority comes from the fact that under event triggering, the state information can be freely extracted from the receive time instants of feedback packets without consuming any bit rate. Simulations are done to demonstrate the bit rate superiority of the proposed event-triggering strategies.
      PubDate: April 2020
      Issue No: Vol. 65, No. 4 (2020)
  • Proper Orthogonal Decomposition Method to Nonlinear Filtering Problems in
           Medium-High Dimension
    • Authors: Zhongjian Wang;Xue Luo;Stephen S.-T. Yau;Zhiwen Zhang;
      Pages: 1613 - 1624
      Abstract: In this paper, we investigate the proper orthogonal decomposition (POD) method to numerically solve the forward Kolmogorov equation (FKE). Our method aims to explore the low-dimensional structures in the solution space of the FKE and to develop efficient numerical methods. As an important application and our primary motivation to study the POD method to FKE, we solve the nonlinear filtering (NLF) problems with a real-time algorithm proposed by Yau and Yau combined with the POD method. This algorithm is referred as POD algorithm in this paper. Our POD algorithm consists of offline and online stages. In the offline stage, we construct a small number of POD basis functions that capture the dynamics of the system and compute propagation of the POD basis functions under the FKE operator. In the online stage, we synchronize the coming observations in a real-time manner. Its convergence analysis has also been discussed. Some numerical experiments of the NLF problems are performed to illustrate the feasibility of our algorithm and to verify the convergence rate. Our numerical results show that the POD algorithm provides considerable computational savings over existing numerical methods.
      PubDate: April 2020
      Issue No: Vol. 65, No. 4 (2020)
  • Structuring Multilevel Discrete-Event Systems With Dependence Structure
    • Authors: Martijn Goorden;Joanna van de Mortel-Fronczak;Michel Reniers;Wan Fokkink;Jacobus Rooda;
      Pages: 1625 - 1639
      Abstract: Despite the correct-by-construction property, one of the major drawbacks of supervisory control synthesis is state-space explosion. Several approaches have been proposed to overcome this computational difficulty, such as modular, hierarchical, decentralized, and multilevel supervisory control synthesis. Unfortunately, the modeler needs to provide additional information about the system's structure or controller's structure as input for most of these nonmonolithic synthesis procedures. Multilevel synthesis assumes that the system is provided in a tree-structured format, which may resemble a system decomposition. In this paper, we present a systematic approach to transform a set of plant models and a set of requirement models provided as extended finite automata into a tree-structured multilevel discrete-event system to which multilevel supervisory control synthesis can be applied. By analyzing the dependencies between the plants and the requirements using dependence structure matrix techniques, a multilevel clustering can be calculated. With the modeling framework of extended finite automata, plant models and requirements depend on each other when they share events or variables. We report on experimental results of applying the algorithm's implementation on several models available in the literature to assess the applicability of the proposed method. The benefit of multilevel synthesis based on the calculated clustering is significant for most large-scale systems.
      PubDate: April 2020
      Issue No: Vol. 65, No. 4 (2020)
  • Stability and Stabilization Through Envelopes for Retarded and Neutral
           Time-Delay Systems
    • Authors: Caetano B. Cardeliquio;André R. Fioravanti;Catherine Bonnet;Silviu-Iulian Niculescu;
      Pages: 1640 - 1646
      Abstract: This paper deals with a new approach to develop an envelope that engulfs all poles of a time-delay system. Through linear matrix inequalities, we are able to determine envelopes for retarded and neutral time-delay systems. The envelopes proposed are not only tighter than the ones in the literature, but, with our procedure, they can also be applied to verify the stability of the system and design state-feedback controllers, which cope with design requirements regarding $alpha$-stability.
      PubDate: April 2020
      Issue No: Vol. 65, No. 4 (2020)
  • A Note on Uniform Exponential Stability of Linear Periodic Time-Varying
    • Authors: Robert Vrabel;
      Pages: 1647 - 1651
      Abstract: In this paper, we derive a new criterion for uniform stability assessment of the linear periodic time-varying systems: $dot{x}=A(t)x$ and $A(t+T)=A(t).$ As a corollary, the lower and upper bounds for the Floquet characteristic exponents are established. The approach is based on the use of logarithmic norm of the system matrix ${A(t)}$. Finally, we analyze the robustness of the stability property under external disturbance.
      PubDate: April 2020
      Issue No: Vol. 65, No. 4 (2020)
  • Toward a Comprehensive Impossibility Result for String Stability
    • Authors: Arash Farnam;Alain Sarlette;
      Pages: 1652 - 1659
      Abstract: We provide a comprehensive impossibility result toward achieving string stability, i.e., keeping local relative errors in check with local controllers independently of the size of a chain of subsystems. We significantly extend the existing results, from the linear time-invariant (LTI) setting to any homogeneous controllers that can be nonlinear, time varying, and locally communicating. We prove this impossibility for a set of definitions with various norm choices, including the $L_2$-type standard and a bounded-input implies bounded-output (BIBO) type criterion. All the results hold for a general discrete-time controller, which should cover most applications.
      PubDate: April 2020
      Issue No: Vol. 65, No. 4 (2020)
  • Analysis of Systems With Slope Restricted Nonlinearities Using Externally
           Positive Zames–Falb Multipliers
    • Authors: Matthew C. Turner;Ross Drummond;
      Pages: 1660 - 1667
      Abstract: This paper proposes an approach for assessing the stability of feedback interconnections where one element is a static slope-restricted nonlinearity and the other element is a linear system. The approach is based on the use of Zames–Falb multipliers where the dynamic portion of the multiplier is chosen as an externally positive noncausal transfer function. By restricting attention to a subset of these multipliers, a set of pure linear matrix inequality conditions is obtained which requires no initial parameterization by the user. A useful byproduct of using externally positive systems is that the results are applicable to nonodd slope restricted nonlinearities, which is not the case for all classes of Zames–Falb multipliers.
      PubDate: April 2020
      Issue No: Vol. 65, No. 4 (2020)
  • $mathcal+{L}_p$ +Performance&rft.title=IEEE+Transactions+on+Automatic+Control&rft.issn=0018-9286&rft.date=2020&rft.volume=65&rft.spage=1668&rft.epage=1675&rft.aulast=Marquez;&rft.aufirst=Mohsen&rft.au=Mohsen+Ghodrat;Horacio+Marquez;">Event-Triggered Design With Guaranteed Minimum Interevent Times and
           $mathcal {L}_p$ Performance
    • Authors: Mohsen Ghodrat;Horacio Marquez;
      Pages: 1668 - 1675
      Abstract: In an event-based scenario, a system decides when to update the actuators based on a real-time triggering condition (TC) on the measured signals. This condition can be defined in various forms and varies depending on the system properties and design problem. This paper proposes a framework to design the TC while keeping $mathcal {L}_p$ performance within desired limits. Our general framework captures several existing state-based triggering rules as a special case, and it can achieve the performance objectives while reducing transmissions. Indeed, this general structure is shown to enlarge the minimum interevent time by a specified amount, for a desired period of time. Numerical examples suggest that the proposed mechanism effectively enlarges the average sampling time.
      PubDate: April 2020
      Issue No: Vol. 65, No. 4 (2020)
  • Input-to-State Stability of Time-Delay Systems With Delay-Dependent
    • Authors: Xinzhi Liu;Kexue Zhang;
      Pages: 1676 - 1682
      Abstract: This paper studies input-to-state stability (ISS) of general nonlinear time-delay systems subject to delay-dependent impulse effects. Sufficient conditions for ISS are constructed by using the method of Lyapunov functionals. It is shown that, when the continuous dynamics are ISS but the discrete dynamics governing the delay-dependent impulses are not, the impulsive system as a whole is ISS provided the destabilizing impulses do not occur too frequently. On the contrary, when the discrete dynamics are ISS but the continuous dynamics are not, the delayed impulses must occur frequently enough to overcome the destabilizing effects of the continuous dynamics so that the ISS can be achieved for the impulsive system. Particularly, when the discrete dynamics are ISS and the continuous dynamics are also ISS or just stable for the zero input, the impulsive system is ISS for arbitrary impulse time sequences. Compared with the existing results on impulsive time-delay systems, the obtained ISS criteria are more general in the sense that these results are applicable to systems with delay dependent impulses while the existing ones are not. Moreover, when consider time-delay systems with delay-free impulses, our result for systems with unstable continuous dynamics and stabilizing impulses is less conservative than the existing ones, as a weaker condition on the upper bound of impulsive intervals is obtained. To demonstrate the theoretical results, we provide two examples with numerical simulations, in which distributed delays and discrete delays in the impulses are considered, respectively.
      PubDate: April 2020
      Issue No: Vol. 65, No. 4 (2020)
  • Event-Triggered Control for Semiglobal Robust Consensus of a Class of
           Nonlinear Uncertain Multiagent Systems
    • Authors: Haofei Meng;Hai-Tao Zhang;Zhen Wang;Guanrong Chen;
      Pages: 1683 - 1690
      Abstract: In this note, robust consensus for a class of nonlinear second-order multiagent systems with uncertainties is investigated from an event-triggered control approach. An event-triggered distributed control protocol is designed to achieve semiglobal robust leaderless consensus for directed graphs. To guarantee the feasibility of the proposed scheme, the event-based consensus is converted to an event-based stabilization for analysis. Zeno behavior is avoided under the proposed event-triggered mechanism. The effectiveness of the proposed event-triggered scheme is demonstrated by numerical simulations.
      PubDate: April 2020
      Issue No: Vol. 65, No. 4 (2020)
  • $l_1$ -Norm&rft.title=IEEE+Transactions+on+Automatic+Control&rft.issn=0018-9286&rft.date=2020&rft.volume=65&rft.spage=1691&rft.epage=1696&rft.aulast=Anderson;&rft.aufirst=Jingqiu&rft.au=Jingqiu+Zhou;Xuan+Wang;Shaoshuai+Mou;Brian.+D.+O.+Anderson;">Finite-Time Distributed Linear Equation Solver for Solutions With Minimum
           $l_1$ -Norm
    • Authors: Jingqiu Zhou;Xuan Wang;Shaoshuai Mou;Brian. D. O. Anderson;
      Pages: 1691 - 1696
      Abstract: This paper proposes a continuous-time distributed algorithm for multiagent networks to achieve a solution with the minimum $l_1$-norm to underdetermined linear equations. The proposed algorithm comes from a combination of the Filippov set-valued map with the projection-consensus flow. Given the underlying network is undirected and fixed, it is shown that the proposed algorithm drives all agents’ individual states to converge in finite time to a common value, which is the minimum $l_1$-norm solution.
      PubDate: April 2020
      Issue No: Vol. 65, No. 4 (2020)
  • A Simplified Approach to Analyze Complementary Sensitivity Tradeoffs in
           Continuous-Time and Discrete-Time Systems
    • Authors: Neng Wan;Dapeng Li;Naira Hovakimyan;
      Pages: 1697 - 1703
      Abstract: Continuous-time and discrete-time complementary sensitivity Bode integrals (CSBIs) are investigated via a simplified approach in this note. For continuous-time feedback systems with unbounded frequency domain, the CSBI weighted by $1/omega ^2$ is considered, where this simplified method reveals a more explicit relationship between the value of CSBI and the structure of the open-loop transfer function. With a minor modification of this method, the CSBI of discrete-time system is derived, and illustrative examples are provided. Compared with the existing results on CSBI, neither the Cauchy integral theorem nor the Poisson integral formula is used throughout the analysis, and the analytic constraint on the integrand is removed.
      PubDate: April 2020
      Issue No: Vol. 65, No. 4 (2020)
  • Continuous Discrete Sequential Observers for Time-Varying Systems Under
           Sampling and Input Delays
    • Authors: Frederic Mazenc;Michael Malisoff;
      Pages: 1704 - 1709
      Abstract: We provide continuous-discrete observers for a large class of time-varying linear systems where the inputs and outputs have sampling and delays, and where the systems and outputs contain uncertainties. We allow the delays in the output and input to differ and to be arbitrarily long. We use the observers to design controls that ensure input-to-state stability, under delays and sampling. The observers and controls have no distributed terms. We illustrate our work in a dc motor model.
      PubDate: April 2020
      Issue No: Vol. 65, No. 4 (2020)
  • Matched Disturbance Rejection for a Class of Nonlinear Systems
    • Authors: Joel Ferguson;Alejandro Donaire;Romeo Ortega;Richard H. Middleton;
      Pages: 1710 - 1715
      Abstract: In this paper, we present a method to robustify asymptotically stable nonlinear systems by adding an integral action that rejects unknown additive disturbances. The proposed approach uses a port-Hamiltonian (pH) representation of the open-loop dynamics, which, relying on the asymptotic stability property, is guaranteed to exist. The integral action controller preserves the pH structure, and, by adding a suitable cross term between the plant and the controller states to the closed-loop energy function, it avoids the unnatural coordinate transformation used in the past. The controller is shown to be robust against some common types of modeling uncertainty, including unknown friction dynamics in mechanical systems.
      PubDate: April 2020
      Issue No: Vol. 65, No. 4 (2020)
  • Equilibrium Solutions of Multiperiod Mean-Variance Portfolio Selection
    • Authors: Yuan-Hua Ni;Xun Li;Ji-Feng Zhang;Miroslav Krstic;
      Pages: 1716 - 1723
      Abstract: This is a companion paper of [Mixed equilibrium solution of time-inconsistent stochastic linear-quadratic problem, SIAM J. Control Optim., vol. 57, no. 1, 533–569, 2019], where general theory has been established to characterize the open-loop equilibrium control, feedback equilibrium strategy and mixed equilibrium solution for a time-inconsistent stochastic linear-quadratic problem. This note is, on the one hand, to test the developed theory of that paper and on the other hand to push the solvability of multiperiod mean-variance portfolio selection. A nondegenerate assumption, which is popular in the existing literature about multiperiod mean-variance portfolio selection, has been removed in this note; and neat conditions have been obtained to characterize the existence of equilibrium solutions.
      PubDate: April 2020
      Issue No: Vol. 65, No. 4 (2020)
  • Discrete-Time Systems With Constrained Time Delays and Delay-Dependent
           Lyapunov Functions
    • Authors: Pierdomenico Pepe;
      Pages: 1724 - 1730
      Abstract: It is proved in this paper that the existence of a delay-dependent suitable Lyapunov function is a necessary and sufficient condition for a discrete-time fully nonlinear time-delay system, with given delays digraph, to be globally asymptotically stable. The same result is provided for the input-to-state stability. The less is the number of edges in the delays digraph, the less is the number of inequalities that are involved in the provided necessary and sufficient Lyapunov conditions. The case of arbitrary time-varying time delays, with no constraints as long as bounded, is covered as a special case.
      PubDate: April 2020
      Issue No: Vol. 65, No. 4 (2020)
  • On Robust Parameter Estimation in Finite-Time Without Persistence of
    • Authors: Jian Wang;Denis Efimov;Alexey A. Bobtsov;
      Pages: 1731 - 1738
      Abstract: The problem of adaptive estimation of constant parameters in the linear regressor model is studied without the hypothesis that regressor is persistently excited. First, the initial vector estimation problem is transformed to a series of the scalar ones using the method of dynamic regressor extension and mixing. Second, several adaptive estimation algorithms are proposed for the scalar scenario. In such a case, if the regressor is nullified asymptotically or in finite time, then the problem of estimation is also posed on a finite interval of time. Robustness of the proposed algorithms with respect to measurement noise and exogenous disturbances is analyzed. The efficiency of the designed estimators is demonstrated in numeric experiments for academic examples.
      PubDate: April 2020
      Issue No: Vol. 65, No. 4 (2020)
  • Transforming Opacity Verification to Nonblocking Verification in Modular
    • Authors: Sahar Mohajerani;Stéphane Lafortune;
      Pages: 1739 - 1746
      Abstract: We consider the verification of current-state and $K$-step opacity for systems modeled as interacting nondeterministic finite-state automata. We describe a new methodology for compositional opacity verification that employs abstraction, in the form of a notion called opaque observation equivalence, and that leverages existing compositional nonblocking verification algorithms. The compositional approach is based on a transformation of the system, where the transformed system is nonblocking if and only if the original one is current-state opaque. Furthermore, we prove that $K$-step opacity can also be inferred if the transformed system is nonblocking. We provide experimental results where current-state opacity is verified efficiently for a large scaled-up system.
      PubDate: April 2020
      Issue No: Vol. 65, No. 4 (2020)
  • A Novel Method to Compute the Structured Distance to Instability for
           Combined Uncertainties on Delays and System Matrices
    • Authors: Francesco Borgioli;Wim Michiels;
      Pages: 1747 - 1754
      Abstract: This paper presents a novel method to compute the distance to instability for linear time-invariant delay systems with multiple delays, subjected to combined uncertainties on the system matrices and the delay parameters. The method is able to fully exploit structure and possible interdependencies between the uncertainties affecting the coefficient matrices, the property that realistic perturbations are real valued, and the structure of the delay equation. The resulting algorithm relies on a characterization in terms of the pseudospectral abscissa and on techniques from optimization over manifolds of matrices.
      PubDate: April 2020
      Issue No: Vol. 65, No. 4 (2020)
  • Resilient Leader-Follower Consensus to Arbitrary Reference Values in
           Time-Varying Graphs
    • Authors: James Usevitch;Dimitra Panagou;
      Pages: 1755 - 1762
      Abstract: Several algorithms in prior literature have been proposed, which guarantee the consensus of normally behaving agents in a network that may contain adversarially behaving agents. These algorithms guarantee that the consensus value lies within the convex hull of initial normal agents’ states, with the exact consensus value possibly being unknown. In leader-follower consensus problems, however, the objective is for normally behaving agents to track a reference state that may take on values outside of this convex hull. In this paper, we present methods for agents in time-varying graphs with discrete-time dynamics to resiliently track a reference state propagated by a set of leaders, despite a bounded subset of the leaders and followers behaving adversarially. Our results are demonstrated through simulations.
      PubDate: April 2020
      Issue No: Vol. 65, No. 4 (2020)
  • Distributed Optimal Coordination for Heterogeneous Linear Multiagent
           Systems With Event-Triggered Mechanisms
    • Authors: Zhenhong Li;Zizhen Wu;Zhongkui Li;Zhengtao Ding;
      Pages: 1763 - 1770
      Abstract: This note considers the distributed optimal coordination (DOC) problem for heterogeneous linear multiagent systems. The local gradients are locally Lipschitz and the local convexity constants are unknown. A control law is proposed to drive the states of all agents to the optimal coordination that minimizes a global objective function. By exploring certain features of the invariant projection of the Laplacian matrix, the global asymptotic convergence is guaranteed utilizing only local interaction. The proposed control law is then extended with event-triggered communication schemes, which removes the requirement for continuous communications. Under the event-triggered control law, it is proved that no Zeno behavior is exhibited and the global asymptotic convergence is preserved. The proposed control laws are fully distributed, in the sense that the control design only uses the information in the connected neighborhood. Furthermore, to achieve the DOC for linear multiagent systems with unmeasurable states, an observer-based event-triggered control law is proposed. A simulation example is given to validate the proposed control laws.
      PubDate: April 2020
      Issue No: Vol. 65, No. 4 (2020)
  • Distributed Consensus Observer for Multiagent Systems With High-Order
           Integrator Dynamics
    • Authors: Zongyu Zuo;Michael Defoort;Bailing Tian;Zhengtao Ding;
      Pages: 1771 - 1778
      Abstract: This article presents a distributed consensus observer for multiagent systems with high-order integrator dynamics to estimate the leader state. Stability analysis is carefully studied to explore the convergence properties under undirected and directed communication, respectively. Using Lyapunov functions, fixed-time (resp. finite-time) stability is guaranteed for the undirected (resp. directed) interaction topology. Finally, simulation results are presented to demonstrate the theoretical findings.
      PubDate: April 2020
      Issue No: Vol. 65, No. 4 (2020)
  • Asymptotical Stability of Probabilistic Boolean Networks With State Delays
    • Authors: Shiyong Zhu;Jianquan Lu;Yang Liu;
      Pages: 1779 - 1784
      Abstract: This paper devotes to establishing a bridge between asymptotical stability of a probabilistic Boolean network (PBN) and a solution to its induced equations, which are induced from the PBN's transition matrix. By utilizing the semitensor product technique routinely, the dynamics of a PBN with coincident state delays can be equivalently converted into that of a higher dimensional PBN without delays. Subsequently, several novel stability criteria are derived from the standpoint of equations’ solution. The most significant finding is that a PBN is globally asymptotically stable at a predesignated one-point distribution if and only if a vector, obtained by adding 1 at the bottom of this distribution, is the unique nonnegative solution to PBN's induced equations. Moreover, the influence of coincident state delays on PBN's asymptotical stability is explicitly analyzed without consideration of the convergence rate. Consequently, such bounded state delays are verified to have no impact on PBN's stability, albeit delays are time-varying. Based on this worthwhile observation, the time computational complexity of the aforementioned approach can be reduced by removing delays directly. Furthermore, this universal procedure is summarized to reduce the time complexity of some previous results in the literature to a certain extent. Two examples are employed to demonstrate the feasibility and effectiveness of the obtained theoretical results.
      PubDate: April 2020
      Issue No: Vol. 65, No. 4 (2020)
  • Dual Averaging Push for Distributed Convex Optimization Over Time-Varying
           Directed Graph
    • Authors: Shu Liang;Le Yi Wang;George Yin;
      Pages: 1785 - 1791
      Abstract: Inspired by the subgradient push method developed recently by Nedić et al. we present a distributed dual averaging push algorithm for constrained nonsmooth convex optimization over time-varying directed graph. Our algorithm combines the dual averaging method with the push-sum technique and achieves an $O(1/ sqrt{k})$ convergence rate. Compared with the subgradient push algorithm, our algorithm, first, addresses the constrained problems, and, second, has a faster convergence rate, and, third, simplifies the convergence analysis. We also generalize the proposed algorithm so that input variables of subgradient oracles have guaranteed convergence.
      PubDate: April 2020
      Issue No: Vol. 65, No. 4 (2020)
  • A Set-Membership Approach to Event-Triggered Filtering for General
           Nonlinear Systems Over Sensor Networks
    • Authors: Derui Ding;Zidong Wang;Qing-Long Han;
      Pages: 1792 - 1799
      Abstract: This paper is concerned with the distributed set-membership filtering problem for a class of general discrete-time nonlinear systems under event-triggered communication protocols over sensor networks. To mitigate the communication burden, each intelligent sensing node broadcasts its measurement to the neighboring nodes only when a predetermined event-based media-access condition is satisfied. According to the interval mathematics theory, a recursive distributed set-membership scheme is designed to obtain an ellipsoid set containing the target states of interest via adequately fusing the measurements from neighboring nodes, where both the accurate estimate on Lagrange remainder and the event-based media-access condition are skillfully utilized to improve the filter performance. Furthermore, such a scheme is only dependent on neighbor information and local adjacency weights, thereby fulfilling the scalability requirement of sensor networks. In addition, an optimization algorithm is developed to minimize the trace of the estimated ellipsoid set, and the effect from the adopted event-triggered threshold is thoroughly discussed as well. Finally, a simulation example is utilized to illustrate the usefulness of the proposed distributed set-membership filtering scheme.
      PubDate: April 2020
      Issue No: Vol. 65, No. 4 (2020)
  • A Smooth Double Proximal Primal-Dual Algorithm for a Class of Distributed
           Nonsmooth Optimization Problems
    • Authors: Yue Wei;Hao Fang;Xianlin Zeng;Jie Chen;Panos Pardalos;
      Pages: 1800 - 1806
      Abstract: This technical note studies a class of distributed nonsmooth convex consensus optimization problems. The cost function is a summation of local cost functions which are convex but nonsmooth. Each of the local cost functions consists of a twice differentiable (smooth) convex function and two lower semi-continuous (nonsmooth) convex functions. We call these problems as single-smooth plus double-nonsmooth (SSDN) problems. Under mild conditions, we propose a distributed double proximal primal-dual optimization algorithm. Double proximal splitting is designed to deal with the difficulty caused by the unproximable property of the summation of those two nonsmooth functions. Besides, it can also guarantee that the proposed algorithm is locally Lipschitz continuous. An auxiliary variable in the double proximal splitting is introduced to estimate the subgradient of the second nonsmooth function. Theoretically, we conduct the convergence analysis by employing Lyapunov stability theory. It shows that the proposed algorithm can make the states achieve consensus at the optimal point. In the end, nontrivial simulations are presented and the results demonstrate the effectiveness of the proposed algorithm.
      PubDate: April 2020
      Issue No: Vol. 65, No. 4 (2020)
  • Discrete-Time Sliding-Mode Control With a Desired Switching Variable
    • Authors: Andrzej Bartoszewicz;Katarzyna Adamiak;
      Pages: 1807 - 1814
      Abstract: This paper introduces a new, reference trajectory following, sliding-mode control strategy for disturbed discrete-time systems. The strategy uses an external trajectory generator based on a switching type reaching law. The trajectory following strategy not only ensures all the properties of the quasi-sliding-mode as defined by Gao et al., but with a certain choice of the control parameters it also guarantees a significant reduction of the quasi-sliding-mode band width and the errors of all the state variables. This paper also considers the problem of error calculation in the discrete-time, reaching law based sliding-mode control systems. It is shown that the limitation of the sliding variable in the sliding phase directly results in bounded errors of all state variables. The results are verified with a simulation example.
      PubDate: April 2020
      Issue No: Vol. 65, No. 4 (2020)
  • On the Existence and Uniqueness of Poincaré Maps for Systems With
           Impulse Effects
    • Authors: Jacob R. Goodman;Leonardo Jesus Colombo;
      Pages: 1815 - 1821
      Abstract: The Poincaré map is widely used to study the qualitative behavior of dynamical systems. For instance, it can be used to describe the existence of periodic solutions. The Poincaré map for dynamical systems with impulse effects (SIEs) was introduced in the last decade and mainly employed to study the existence of limit cycles (periodic gaits) for the locomotion of bipedal robots. We investigate sufficient conditions for the existence and uniqueness of Poincaré maps for dynamical SIEs evolving on a differentiable manifold. We apply the results to show the existence and uniqueness of Poincaré maps for systems with multiple domains.
      PubDate: April 2020
      Issue No: Vol. 65, No. 4 (2020)
  • Corrections to “Stochastic Stability of Perturbed Learning Automata in
           Positive-Utility Games”
    • Authors: Georgios C. Chasparis;
      Pages: 1822 - 1822
      Abstract: Presents corrections to the above named paper.
      PubDate: April 2020
      Issue No: Vol. 65, No. 4 (2020)
  • Proceedings of the IEEE
    • Pages: 1823 - 1823
      Abstract: Prospective authors are requested to submit new, unpublished manuscripts for inclusion in the upcoming event described in this call for papers.
      PubDate: April 2020
      Issue No: Vol. 65, No. 4 (2020)
  • Proceedings of the IEEE
    • Pages: 1824 - 1824
      Abstract: Prospective authors are requested to submit new, unpublished manuscripts for inclusion in the upcoming event described in this call for papers.
      PubDate: April 2020
      Issue No: Vol. 65, No. 4 (2020)
School of Mathematical and Computer Sciences
Heriot-Watt University
Edinburgh, EH14 4AS, UK
Email: journaltocs@hw.ac.uk
Tel: +00 44 (0)131 4513762

Your IP address:
Home (Search)
About JournalTOCs
News (blog, publications)
JournalTOCs on Twitter   JournalTOCs on Facebook

JournalTOCs © 2009-