Hybrid systems play a crucial role in modeling real-world applications where discrete and continuous dynamics interact, including autonomous vehicles, power systems, and traffic networks. Safety verification for these...
详细信息
The fault detection problem is addressed in this paper for a class of state-saturated systems with time-delay and nonlinearities under communication *** particular,the phenomenon of state saturation is introduced to c...
详细信息
The fault detection problem is addressed in this paper for a class of state-saturated systems with time-delay and nonlinearities under communication *** particular,the phenomenon of state saturation is introduced to characterize the physical limitations of the ***,the event-triggered communication strategy is adopted to achieve the purpose of saving network resources and preventing data ***,an event-based fault detection filter is *** selecting the appropriate Lyapunov functional,several sufficient conditions are obtained such that the addressed augmented system is globally asymptotically stable with a satisfactory H performance ***,the filter parameters are gained through solving certain matrix ***,the effectiveness of the proposed fault detection approach is demonstrated by a numerical example.
For a stratospheric airship under internal and external uncertainties, controller strategies with robust integral sign of the error (RISE) are proposed for asymptotic trajectory tracking control. Specifically, a fully...
详细信息
— This paper discusses modelling, controllability and gait design for a spherical flexible swimmer. We first present a kinematic model of a low Reynolds number spherical flexible swimming mechanism with periodic surf...
详细信息
For the formal verification and design of controlsystems, abstractions with quantified accuracy are crucial. This is especially the case when considering accurate deviation bounds between a stochastic continuous-stat...
详细信息
Marine toxins present considerable challenges to public health due to their intricate biochemical profiles that complicate effectual analysis. In addressing this, our study utilizes a pioneering Ecoinformatics method,...
Marine toxins present considerable challenges to public health due to their intricate biochemical profiles that complicate effectual analysis. In addressing this, our study utilizes a pioneering Ecoinformatics method, employing artificial intelligence to meticulously examine the hepatotoxic effects of stonefish venom on murine models. The convergence of biochemical assays, histopathological scrutiny, and cutting-edge machine learning algorithms is strategically designed to unravel the complex modalities of venom-induced toxicity. Our findings offer unprecedented insight into the hepatotoxic dynamics of marine venoms, underscoring the utility of AI in advancing marine toxin research. This multifaceted research not only deepens our comprehension of venom pathology but also forges a pathway toward enhanced antivenom solutions, thereby reinforcing public health measures in marine and coastal ecosystems.
We introduce a new setting in information theory where a receiver tries to exactly recover a source signal from a dishonest sender who sends messages with an intention to maximize its utility. The sender can send mess...
详细信息
ISBN:
(数字)9781728188959
ISBN:
(纸本)9781728188966
We introduce a new setting in information theory where a receiver tries to exactly recover a source signal from a dishonest sender who sends messages with an intention to maximize its utility. The sender can send messages to the receiver over a noiseless channel whose input space is the entire signal space, but due to its dishonesty, not all signals can be recovered. We formulate the problem as a game between the sender and the receiver, where the receiver chooses a strategy such that it can recover the maximum number of source signals. We show that, despite the strategic nature of the sender, the receiver can recover an exponentially large number of signals. We show that this maximum rate of strategic communication is lower bounded by the independence number of a suitably defined graph on the alphabet and upper bounded by the Shannon capacity of this graph. This allows us to exactly characterize the rate of strategic communication for perfect graphs.
This paper considers a network of collaborating agents for local resource allocation subject to nonlinear model constraints. In many applications, it is required (or desirable) that the solution be anytime feasible in...
详细信息
In the note, we analyze the properties of a contrast-detection autofocusing (CD-AF) algorithm. The scene is modeled as a separable stationary random field and the optical path as a linear system with a separable point...
详细信息
The development of efficient propositional satisfiability problem solving algorithms (SAT solvers) in the past two decades has made automated planning using SAT-solvers an established AI planning approach. Modern SAT ...
ISBN:
(数字)9781728189567
ISBN:
(纸本)9781728189574
The development of efficient propositional satisfiability problem solving algorithms (SAT solvers) in the past two decades has made automated planning using SAT-solvers an established AI planning approach. Modern SAT solvers can accommodate a wide variety of planning problems with a large number of variables. However, fast computing of reasonably long plans proves challenging for planning as satisfiability. In order to address this challenge, we present a compositional approach based on abstraction refinement that iteratively generates, solves and composes partial solutions from a parameterized planning problem. We show that this approach decomposes the monolithic planning problem into smaller problems and thus significantly speeds up plan calculation, at least for a class of tested planning problems.
暂无评论