-
作者：Boche, Holger; Boeck, Yannik; Deppe, Christian; Fitzek, Frank H. P.
作者单位：Technical University of Munich; University of Munich; Braunschweig University of Technology; Technische Universitat Dresden
摘要：This article analyzes aspects of the problem of remote state estimation (RSE) via noisy communication channels for their Blum-Shub-Smale (BSS) computability, motivated by an exemplary application to a formal model of virtual twinning subject to stringent integrity requirements. Computability theory provides a unique framework for the formal and mathematically rigorous analysis of algorithms and computing machines. Therefore, computability theory is essential in the domain of safety- and life-c...
-
作者：Liu, Qinyuan; Nie, Yao; Wang, Zidong; Dong, Hongli; Jiang, Changjun
作者单位：Tongji University; Tongji University; Tongji University; Shanghai Artificial Intelligence Laboratory; Brunel University; Northeast Petroleum University; Northeast Petroleum University
摘要：In this article, the Kalman filter design problem is investigated for linear discrete-time systems under binary encoding schemes. Under such a scheme, the local information is quantized into a bit string by the remote sensor based on a probabilistic quantizer, and then the bit string is transmitted via memoryless binary symmetric channels (BSCs). Due to the communication link noises, the bit flipping occurs in a random manner, and thus, the transmission of the bit string would suffer from spec...
-
作者：Shivakumar, Sachin; Das, Amritam; Weiland, Siep; Peet, Matthew
作者单位：Iowa State University; Eindhoven University of Technology; Arizona State University; Arizona State University-Tempe
摘要：Partial integral equation (PIE) representation of a partial differential equation (PDE) allows using computationally tractable algorithms for analysis, simulation, and optimal control. However, the PIE representation has not previously been extended to many of the complex, higher order PDEs that may be encountered in speculative or data-based models. In this article, we propose PIE representations for a large class of such PDE models, including higher order derivatives, boundary-valued inputs,...
-
作者：Wang, Licheng; Wang, Zidong; Liu, Shuai; Peng, Daogang
作者单位：Shanghai University of Electric Power; Brunel University; University of Shanghai for Science & Technology
摘要：In this article, a modified unscented Kalman filter design algorithm is proposed for discrete-time stochastic nonlinear systems over full-duplex relay networks with binary encoding schemes. In order to enhance the transmission reliability, a full-duplex relay is deployed between sensors and the filter, and a self-interference cancellation scheme is introduced to eliminate the interference caused by the relay itself. To accommodate the digital communication manner, a binary encoding scheme is a...
-
作者：Bartosiewicz, Zbigniew; Kaldmae, Arvo; Kotta, Ulle; Wyrwas, Malgorzata
作者单位：Bialystok University of Technology; Tallinn University of Technology
摘要：In the article, accessibility of an analytic discrete-time control system given by a set of difference equations is studied. Ideals of germs of analytic functions and modules of germs of one-forms, associated with the considered system and invariant with respect to shift operators defined by the state equations, are used to present sufficient and necessary conditions for accessibility. The conditions are given both in terms of germs of analytic functions and germs of one-forms.
-
作者：Zhao, Dan; Ho, Daniel W. C.; Wen, Guanghui
作者单位：Southeast University - China; City University of Hong Kong
摘要：This article addresses the isolation problem of collusive false data injection attacks and covert attacks for interconnected systems, particularly in establishing generalized graph-dependent conditions responsible for attack isolation. Two algorithms involving inclusive neighbor information and neighbor information are introduced to accomplish attack isolation. By exploring the mechanism of attack collusion, it is found that both the number of subsystems' one-hop neighbors and the size of cycl...
-
作者：Heath, William P.; Carrasco, Joaquin
作者单位：Bangor University; University of Manchester
摘要：We consider Lurye systems, whose nonlinear operator is characterized by a nonlinearity that is bounded above and below by monotone functions. Absolute stability can be established using a subclass of the O'Shea-Zames-Falb multipliers. We develop phase conditions for both continuous-time and discrete-time systems under which there can be no such suitable multiplier for the transfer function of a given plant. In discrete time the condition can be tested via a linear program, while in continuous ...
-
作者：Mehdipour, Noushin; Vasile, Cristian-Ioan; Belta, Calin
作者单位：Boston University; Lehigh University; University System of Maryland; University of Maryland College Park
摘要：Robustness functions provide quantitative scores to measure the satisfaction of temporal logic formulas. We introduce a general class of parameterized robustness functions for signal temporal logic (STL), and demonstrate how it can be used for control problems involving STL specifications. We employ power means and generalized functional means to capture robust satisfaction over space and time. We show that our general definition encompasses many of the STL robustness functions in the literatu...
-
作者：Scarabaggio, Paolo; Carli, Raffaele; Grammatico, Sergio; Dotoli, Mariagrazia
作者单位：Politecnico di Bari; Delft University of Technology
摘要：In this article, we address a class of Nash games with nonconvex coupling constraints for which we define a novel notion of local equilibrium, here named local generalized Nash equilibrium (LGNE). Our first technical contribution is to show the stability in the game theoretic sense of these equilibria on a specific local subset of the original feasible set. Remarkably, we show that the proposed notion of local equilibrium can be equivalently formulated as the solution of a quasi-variational in...
-
作者：Williams, Alan; Krstic, Miroslav; Scheinker, Alexander
作者单位：University of California System; University of California San Diego; United States Department of Energy (DOE); Los Alamos National Laboratory
摘要：We introduce a safe extremum-seeking algorithm that achieves the minimization of an unknown objective function while ensuring that an unknown, yet measured, control barrier function (CBF) remains above an arbitrarily small negative value for all time. In other words, practical safety is maintained during the entire period of convergence to the constrained extremum. Our design is based on quadratic program (QP) CBF style filters for safety, which is applied in an average and estimated sense. Us...
