This study focuses on the finite-time set reachability of probabilistic Boolean multiplex control networks (PBMCNs). Firstly, based on the state transfer graph (STG) reconstruction technique, the PBMCNs are extended to random logic dynamical systems....
In this paper, we focus on the symmetrical relationship between multi-properties objective reachability problems and multi-objective sets reachability problems over FKS based on Zadeh logic. First, we give the formal definitions of those two problems...
This paper investigates reachable set estimation and state-feedback controller design for linear time-delay control systems with bounded disturbances. By constructing an appropriate Lyapunov–Krasovskii functional, we obtain a delay-dependent co...
Collision risk assessment is essential for navigators or automatic navigation systems to identify potential risks in specific encounter scenarios and to make informed decisions regarding subsequent collision avoidance measures. This paper proposes a...
This paper presents a solution strategy for deterministic time-optimal pursuit–evasion games with linear state constraints, convex control constraints, and linear dynamics that is consistent with linearized relative orbital motion models such a...
This paper studies the estimation of reachable sets for discrete-time singular systems with time-varying delays and bounded peak inputs. A novel linear matrix inequality condition for the reachable set estimation of the time-varying time-delay discre...
In this paper, the mixed performance and reachable set of uncertain discrete systems with slow variation interval time-varying delay are considered. The original uncertain discrete systems with interval time-varying delay are first transformed into a...
This work investigates the short-term dynamics caused by shape changes of morphing aircraft. We select a symmetric variable sweep morphing aircraft as the object of study and establish a six-degree-of-freedom multi-loop cascade model, and the couplin...
Advanced air defense methods are essential to address the growing complexity of aerial threats. The increasing number of targets necessitates better defensive coordination, and a promising strategy involves the use of interceptors together to protect...
This paper proposes a method for the stability analysis of dynamic neural networks. The stability analysis of dynamic neural networks is a challenging task due to internal feedback connections. In this research work, we propose an algorithm based on...
This paper considers the active fault isolation problem for a class of uncertain multimode fault systems with a high-dimensional state-space model. It has been observed that the existing approaches in the literature based on a steady-state active fau...
In this paper, the distributed interval estimation problem for networked Cyber-Physical systems suffering from both disturbances and noise is investigated. In the distributed interval observers, there are some connected interval observers built for t...
This paper addresses the controller design problem for linear systems with time-varying delays. By constructing a novel Lyapunov–Krasovskii functional incorporating delay-partitioning techniques, we establish delay-dependent stability criteria...
Optimal control is a critical tool for mechanical robotic systems, facilitating the precise manipulation of dynamic processes. These processes are described through differential equations governed by a control function, addressing a time-optimal prob...
Maritime search and rescue operations rely on accurate drift predictions to define effective search areas for missing persons. Existing systems often depict uncertainty using statistical ellipses or ensemble-based probability maps, which may not effe...
The reachable set of controlled dynamical systems is the set of all reachable states from an initial condition over a certain time horizon, subject to operational constraints and exogenous disturbances. In astrodynamics, rapid approximation of reacha...
There are many problems based on solving nonautonomous differential equations of the form
This paper investigates a specialized variant of the set covering problem, addressing the optimal allocation of service centers to ensure that all customers (or larger entities, such as urban areas) have access to specialized services within a predef...
Recent progress in autonomous vehicle technology has led to the development of accurate and efficient tools for ensuring safety, which is crucial for verifying the reliability and security of vehicles. These vehicles operate under diverse conditions,...
If
In modern fishery management, fishing vessel trajectory data are used to monitor and analyze fishing vessel activities. However, trajectory data are often of low quality, probably due to environmental factors, equipment failures, signal loss and oper...
B-series were defined to unify the formalism of solutions for ordinary differential equations defined by series. Runge–Kutta schemes can be seen as truncated B-series, similar to Taylor series. In the prolific domain of reachability analysis, i...
Using the algebraic state space representation, this paper studies the robust consensus of networked evolutionary games (NEGs) with attackers and forbidden profiles. Firstly, an algebraic form is established for NEGs with attackers and forbidden prof...
Given a directed graph, a k-hop reachability query,
Path planning for stratospheric airships in dynamic wind fields is challenging due to complex wind variations and strict nighttime energy constraints. This paper proposes a hybrid Level-Set Particle Swarm Optimization (LS-PSO) framework. Firstly, it...
Within the framework of evidence theory, maximum entropy is regarded as a measure of total uncertainty that satisfies a comprehensive set of mathematical properties and behavioral requirements. However, its practical applicability is severely questio...
We address the question of how to reduce the inevitable loss of performance that is incurred by robust multi-stage NMPC due to the lack of knowledge compared to the case where the exact plant model (no uncertainty) is available. Multi-stage NMPC in t...
In vehicular Ad Hoc Networks (VANETs), smart data dissemination is crucial for efficient exchange of traffic and road information. Given the dynamic nature of VANET, the challenge is to design an adaptive multi-hop broadcast scheme that achieves high...
This work develops an energy-based reachability framework for linear fractional-order dynamical systems governed by Caputo derivatives of order
Reachability, as a vital parameter in product maintainability design, exerts a tremendous influence in practical maintenance, especially in the usage stage. To decrease subjectivity in maintenance reachability analysis, this study proposes an automat...
In this article, the inverse problem of the differential inclusion theory is considered. For a given ε > 0 and a given special type set valued map t → V(t), t ∈ [t*, t*], it is required to define differential inclusion such that the Hausdorff dist...
The time-optimal control problem for a system consisting of two non-synchronous oscillators is considered. Each oscillator is controlled with a shared limited scalar control. The objective of the control is to accelerate the oscillatory system to a g...
Autonomous driving helps drivers avoid paying attention to keeping to a lane or keeping a distance from the vehicle ahead. However, the autonomous driving is limited by the need to park upon the completion of driving. In this sense, automated valet p...
Business processes without inconsistent data errors resulting from inappropriate data operations are regarded as a fundamental and important subject in major application areas. At present, such errors are always explored by only focusing on process d...
In this paper, we investigate the problem of grasping previously unseen objects in unstructured environments which are cluttered with multiple objects. Object geometry, reachability, and force-closure analysis are considered to address this problem....
In this paper, we consider the problem of improving the reachability of a graph. We approach the problem from a graph augmentation perspective, in which a limited set size of edges is added to the graph to increase the overall number of reachable nod...
In this paper, we discuss the approximate controllability for a class of retarded semilinear neutral control systems of fractional order by investigating the relations between the reachable set of the semilinear retarded neutral system of fractional...
In a household setting, a wheelchair-mounted robotic arm (WMRA) can be useful for assisting elderly and disabled individuals. However, the current WMRA can only perform movement and grasping tasks through joystick remote control. This method results...
This work applies concepts from algorithmic probability to Boolean and quantum combinatorial logic circuits. The relations among the statistical, algorithmic, computational, and circuit complexities of states are reviewed. Thereafter, the probability...
This paper addresses the design of Petri net (PN) supervisor using the theory of regions for forbidden state problem with a set of general mutual exclusion constraints. In fact, as any method of supervisory control based on reachability graph, the th...
Continuous-time linear systems with uncertain parameters are widely used for modeling real-life processes. The uncertain parameters, contained in the system and input matrices, can be constant or time-varying. In the latter case, they may represent s...
Fault detection is an important topic in control theory and engineering. This article analyzes the active fault detection of switched multi-valued logical control networks with state constraints based on the semi-tensor product of matrices. Firstly,...
To address the triple challenges of data sparsity, highly nonlinear dynamics, and maneuver uncertainty in tracking non-cooperative targets in cislunar space, we propose a collaborative framework combining Particle Filter (PF) and Unscented Kalman Fil...
The traditional set stability of Boolean networks (BNs) refers to whether all the states can converge to a given state subset. Different from the existing results, the set stability investigated in this paper is whether all states in a given initial...
High-altitude low-speed aerostats are ideal unmanned platforms for communication coverage, remote sensing, environmental monitoring, aviation support, and other applications. To address practical operational needs such as rapid emergency deployment,...
In this paper, we study the time optimal control problem in a DC-DC buck converter in the underdamped oscillatory regime. In particular, we derive analytic expressions for the admissible regions in the state space, satisfying the condition that every...
Theoretical models on network formation focus mostly on the stability and efficiency of equilibria, but they cannot deliver an understanding of why specific equilibrium networks are selected or whether they are all actually reachable from any startin...
In recent years, many applications, as well as theoretical properties of interval analysis have been investigated. Without any claim for completeness, such applications and methodologies range from enclosing the effect of round-off errors in highly a...
Due to the development of financial markets, products, financial and mathematical models, portfolio selection today represents a comprehensive set of activities. Investors take into consideration many different factors, such as the market factors, re...
In this paper, we compare the performance of three different folding models when they are applied to three different map folding settings. Precisely, the three folding models include the simple folding model, the simple folding–unfolding model,...
of 3