Presents the table of contents for this issue of this publication.

Provides a listing of current staff, committee members and society officers.

Internet television gets a mobile makeover. A mobile version of IEEE.tv is now available for convenient viewing. Plus a new app for IEEE.tv can also be found in your app store. Bring an entire network of technology insight with you: (1) Convenient access to generations of industry leaders. (2) See the inner-workings of the newest innovations. (3) Find the trends that are shaping the future. IEEE Members

Advertisement: One of the most influential reference resources for engineers around the world. For over 100 years, Proceedings of the IEEE has been the leading journal for engineers looking for in-depth tutorial, survey, and review coverage of the technical developments that shape our world. Offering practical, fully referenced articles, Proceedings of the IEEE serves as a bridge to help readers understand

Provides a listing of current committee members and society officers.

Distributed detection of covert attacks for linear large-scale interconnected systems is addressed in this article. Existing results consider the problem in centralized settings. This article focuses on large-scale systems subject to bounded process and measurement disturbances, where a single subsystem is under a covert attack. A detection methodology is proposed, where each subsystem can detect the

Presents the table of contents for this issue of the publication.

Presents a listing of the editorial board, board of governors, current staff, committee members, and/or society editors for this issue of the publication.

Prospective authors are requested to submit new, unpublished manuscripts for inclusion in the upcoming event described in this call for papers.

Presents a listing of the editorial board, board of governors, current staff, committee members, and/or society editors for this issue of the publication.

This article studies novel attack and defense strategies, based on a class of stealthy attacks, namely the zero-dynamics attack (ZDA), for multiagent control systems. ZDA poses a formidable security challenge since its attack signal is hidden in the null space of the state-space representation of the control system and hence it can evade conventional detection methods. An intuitive defense strategy

As a quantitative criterion for privacy of “mechanisms” in the form of data-generating processes, the concept of differential privacy was first proposed in computer science and has later been applied to linear dynamical systems. However, differential privacy has not been studied in depth together with other properties of dynamical systems, and it has not been fully utilized for controller design. In

In this article, the security issue of remote state estimation in cyber-physical systems (CPS) for a two-hop relay network is investigated. As the system performance depends on communication topology and communication environment over each channel, we explore the channel selection problem to maximize the attack effect, from the perspective of the jammer. Furthermore, for an energy-constrained jammer

This article presents a secure and private implementation of linear time-invariant dynamic controllers using Paillier's encryption, a semihomomorphic encryption method. To avoid overflow or underflow within the encryption domain, the state of the controller is reset periodically. A control design approach is presented to ensure stability and optimize performance of the closed-loop system with encrypted

Presents the table of contents for this issue of the publication.

Presents a listing of the editorial board, board of governors, current staff, committee members, and/or society editors for this issue of the publication.

Prospective authors are requested to submit new, unpublished manuscripts for inclusion in the upcoming event described in this call for papers.

Presents a listing of the editorial board, board of governors, current staff, committee members, and/or society editors for this issue of the publication.

This article investigates the switching-like event-triggered control for networked control systems (NCSs) under the malicious denial of service (DoS) attacks. First, by dividing the DoS attacks into S-interval (DoS-free case) and D-interval (DoS case), a switching-like event-triggered communication scheme (SETC) is well designed to deal with intermittent DoS attacks to improve communication efficiency

Presents the table of contents for this issue of the publication.

Provides a listing of current staff, committee members and society officers.

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

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

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 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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,

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

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

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

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

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

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

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

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.