A Langevin delayed fractional system with multiple delays in control,is a delayed fractional system that includes delay parameters in both state and control,is first introduced.This paper is devoted to investigating t...A Langevin delayed fractional system with multiple delays in control,is a delayed fractional system that includes delay parameters in both state and control,is first introduced.This paper is devoted to investigating the relative controllability of the Langevin delayed fractional system with multiple delays in control.For linear systems to be relatively controllable,necessary and sufficient circumstances are identified by introducing and employing the Gramian matrix.The sufficient conditions for the relative controllability of semilinear systems are ofered based on Schauder's fixed point theorem.As an unusual approach,the controllability results of the delayed system are built for the first time on the exact solution produced by the MittagLeffler type function although controllability ones in the literature are built on the Volterra integral equations or the mild solutions produced by resolvent families.展开更多
An electromagnetic coil topology and its control strategy,which can be incorporated into the electromagnetic docking device,have been proposed for the relative roll control of two satellites in space.The target satell...An electromagnetic coil topology and its control strategy,which can be incorporated into the electromagnetic docking device,have been proposed for the relative roll control of two satellites in space.The target satellite and the chaser satellite are respectively embarked with four and six coils evenly arranged around the docking axis.All the coils on the target satellite are Direct Current(DC)energized,while the currents in the coils of the chaser satellite are regulated to achieve the relative roll control.The electromagnetic force/torque model is built by utilizing the frequentlyused far field model.Based on the fundamental components extracted from that model,this paper proposes a real-time magnetic moment vector distribution formula that simply generates a constant roll torque.This paper not only presents an equation for calculating the relative roll angle through the Euler angles of two satellites,but also an equation that converts the roll torque setpoint to the setpoints of the coil currents.A 3-closed-loop positioning controller composed of angle,angular velocity,and current loop is developed.The proposed topology is verified by finite element simulation,and the control strategy is validated by dynamics simulation and ground-based tests.展开更多
This paper proposes an electromagnetic coil topology and its control strategy,which can be incorporated into the electromagnetic docking device to achieve relative pose control in satellite docking.The target satellit...This paper proposes an electromagnetic coil topology and its control strategy,which can be incorporated into the electromagnetic docking device to achieve relative pose control in satellite docking.The target satellite has a main coil;the chaser satellite possesses a main coil of the same size accompanied by six and four evenly arranged secondary coils inside and outside the main coil,respectively.The coil on the target satellite is DC energized,while the currents in the coils of the chaser satellite are regulated.To remove the coupling between the pitch/yaw torque and translational force,the internal and external secondary coils of the chaser satellite interact with the main coil of the target satellite to perform the control of relative pitch/yaw and relative translation,respectively,so relative pose control can be achieved.The torque and force vectors exerted by the secondary coils of the chaser satellite are synthesized onto the pitch and yaw axes of the body frame.According to their spatial composition relationship,the formulas are proposed,which obtain the magnetic moment vectors of the coils from the set torques and forces.The controllers regulating pitch/yaw,translation,and distance utilize a three-loop cascaded structure that consists of an outer position loop,a middle velocity loop and an inner current loop.The control strategy is verified by dynamics simulation.展开更多
A new set of relative orbit elements（ROEs）is used to derive a new elliptical formation flying model.In-plane and out-of-plane motions can be completely decoupled,which benefts elliptical formation design.The inverse...A new set of relative orbit elements（ROEs）is used to derive a new elliptical formation flying model.In-plane and out-of-plane motions can be completely decoupled,which benefts elliptical formation design.The inverse transformation of the state transition matrix is derived to study the relative orbit control strategy.Impulsive feedback control laws are developed for both in-plane and out-of-plane relative motions.Control of in-plane and out-of-plane relative motions can be completely decoupled using the ROE-based feedback control law.A tangential impulsive control method is proposed to study the relationship of fuel consumption and maneuvering positions.An optimal analytical along-track impulsive control strategy is then derived.Different typical orbit maneuvers,including formation establishment,reconfguration,long-distance maneuvers,and formation keeping,are taken as examples to demonstrate the performance of the proposed control laws.The effects of relative measurement errors are also considered to validate the high accuracy of the proposed control method.展开更多
An adaptive prescribed performance control scheme is proposed for the drag free satellite in the presence of actuator saturation and external disturbances.The relative translation and rotation dynamics between the tes...An adaptive prescribed performance control scheme is proposed for the drag free satellite in the presence of actuator saturation and external disturbances.The relative translation and rotation dynamics between the test mass and outer satellite are firstly derived.To guarantee prescribed performance bounds on the transient and steady control errors of relative states,a performance constrained control law is formulated with an error transformed function.In addition,the requirements to know the system parameters and the upper bound of the external disturbance in advance have been eliminated by adaptive updating technique.A command filter is concurrently used to overcome the problem of explosion of complexity inherent in the backstepping control design.Subsequently,a novel auxiliary system is constructed to compensate the adverse effects of the actuator saturation constrains.It is proved that all signals in the closed?loop system are ultimately bounded and prescribed performance of relative position and attitude control errors are guaranteed.Finally,numerical simulation results are given to demonstrate the effectiveness of the proposed approach.展开更多
This paper investigates the relative controllability problem of semilinear stochastic integro-differential systems with a variable delay in control.Under suitable conditions,it is shown that the semilinear stochastic ...This paper investigates the relative controllability problem of semilinear stochastic integro-differential systems with a variable delay in control.Under suitable conditions,it is shown that the semilinear stochastic system may be steered up to the reachable set of its corresponding linear system in finite terminal time.The results are obtained by using fixed point argument.Finally a numerical example is provided to illustrate the technique.展开更多
This study examines the comparative controllability of bilinear stochastic systems.By applying the Banach fixed-point theorem,necessary conditions for the relative controllability of stochastic bilinear systems with d...This study examines the comparative controllability of bilinear stochastic systems.By applying the Banach fixed-point theorem,necessary conditions for the relative controllability of stochastic bilinear systems with delays are derived.A numerical example is presented to illustrate the applicability and effectiveness of the proposed results.展开更多
Exoatmospheric intercept plays a crucial role in strategic defense.However,existing approaches for exoatmospheric intercept guidance primarily rely on either proportional navigation or Lambert’s problem solution,whic...Exoatmospheric intercept plays a crucial role in strategic defense.However,existing approaches for exoatmospheric intercept guidance primarily rely on either proportional navigation or Lambert’s problem solution,which needs continuous relative measurements or requires constant orbit corrections due to its sensitivity to perturbation forces.To address these limitations,this paper proposes a novel guidance scheme based on relative-motion control.First,by introducing the zero-effort orbit as a reference orbit,the intercept problem is transformed into an equivalent relative-motion control problem with respect to the zero-effort orbit.The relative-motion dynamics model is adopted to analytically solve the velocity-to-be-gained vector,which avoids the iterative computation in the Lambert routine.Then,the guidance scheme is established,which generates a command thrust vector aligned with the velocity-to-be-gained vector in each guidance period.Through feedback control,the desired velocity is incrementally achieved until the velocity-to-be-gained vector becomes zero,ensuring accurate interception.Compared with the existing exoatmospheric intercept guidance methods,the presented method improves 1 or 2 orders of guidance accuracy in the low-Earth orbit intercept mission and 3 orders of guidance accuracy in the high-Earth orbit intercept mission,which are practical options for engineering applications.展开更多
This paper deals with the problem of position and attitude tracking control for a rigid spacecraft.A fully actuated system(FAS)model for the six degree-of-freedom(6DOF)spacecraft motion is derived first from the state...This paper deals with the problem of position and attitude tracking control for a rigid spacecraft.A fully actuated system(FAS)model for the six degree-of-freedom(6DOF)spacecraft motion is derived first from the state-space model by variable elimination.Considering the uncertainties from external disturbance,unknown motion information,and uncertain inertia properties,an extended state observer(ESO)is designed to estimate the total disturbance.Then,a tracking controller based on FAS approach is designed,and this makes the closed-loop system a constant linear one with an arbitrarily assignable eigenstructure.The solution to the parameter matrices of the observer and controller is given subsequently.It is proved via the Lyapunov stability theory that the observer errors and tracking errors both converge into the neighborhood of the origin.Finally,numerical simulation demonstrates the effectiveness of the proposed controller.展开更多
The National Institute of Standards and Technology(NIST)has identified natural language policies as the preferred expression of policy and implicitly called for an automated translation of ABAC natural language access...The National Institute of Standards and Technology(NIST)has identified natural language policies as the preferred expression of policy and implicitly called for an automated translation of ABAC natural language access control policy(NLACP)to a machine-readable form.To study the automation process,we consider the hierarchical ABAC model as our reference model since it better reflects the requirements of real-world organizations.Therefore,this paper focuses on the questions of:how can we automatically infer the hierarchical structure of an ABAC model given NLACPs;and,how can we extract and define the set of authorization attributes based on the resulting structure.To address these questions,we propose an approach built upon recent advancements in natural language processing and machine learning techniques.For such a solution,the lack of appropriate data often poses a bottleneck.Therefore,we decouple the primary contributions of this work into:(1)developing a practical framework to extract authorization attributes of hierarchical ABAC system from natural language artifacts,and(2)generating a set of realistic synthetic natural language access control policies(NLACPs)to evaluate the proposed framework.Our experimental results are promising as we achieved-in average-an F1-score of 0.96 when extracting attributes values of subjects,and 0.91 when extracting the values of objects’attributes from natural language access control policies.展开更多
The National Institute of Standards and Technology(NIST)has identified natural language policies as the preferred expression of policy and implicitly called for an automated translation of ABAC natural language access...The National Institute of Standards and Technology(NIST)has identified natural language policies as the preferred expression of policy and implicitly called for an automated translation of ABAC natural language access control policy(NLACP)to a machine-readable form.To study the automation process,we consider the hierarchical ABAC model as our reference model since it better reflects the requirements of real-world organizations.Therefore,this paper focuses on the questions of:how can we automatically infer the hierarchical structure of an ABAC model given NLACPs;and,how can we extract and define the set of authorization attributes based on the resulting structure.To address these questions,we propose an approach built upon recent advancements in natural language processing and machine learning techniques.For such a solution,the lack of appropriate data often poses a bottleneck.Therefore,we decouple the primary contributions of this work into:(1)developing a practical framework to extract authorization attributes of hierarchical ABAC system from natural language artifacts,and(2)generating a set of realistic synthetic natural language access control policies(NLACPs)to evaluate the proposed framework.Our experimental results are promising as we achieved-in average-an F1-score of 0.96 when extracting attributes values of subjects,and 0.91 when extracting the values of objects’attributes from natural language access control policies.展开更多
文摘A Langevin delayed fractional system with multiple delays in control,is a delayed fractional system that includes delay parameters in both state and control,is first introduced.This paper is devoted to investigating the relative controllability of the Langevin delayed fractional system with multiple delays in control.For linear systems to be relatively controllable,necessary and sufficient circumstances are identified by introducing and employing the Gramian matrix.The sufficient conditions for the relative controllability of semilinear systems are ofered based on Schauder's fixed point theorem.As an unusual approach,the controllability results of the delayed system are built for the first time on the exact solution produced by the MittagLeffler type function although controllability ones in the literature are built on the Volterra integral equations or the mild solutions produced by resolvent families.
基金the Beijing Institute of Spacecraft System Engineering for providing topics,putting forward requirements and granting project funding。
文摘An electromagnetic coil topology and its control strategy,which can be incorporated into the electromagnetic docking device,have been proposed for the relative roll control of two satellites in space.The target satellite and the chaser satellite are respectively embarked with four and six coils evenly arranged around the docking axis.All the coils on the target satellite are Direct Current(DC)energized,while the currents in the coils of the chaser satellite are regulated to achieve the relative roll control.The electromagnetic force/torque model is built by utilizing the frequentlyused far field model.Based on the fundamental components extracted from that model,this paper proposes a real-time magnetic moment vector distribution formula that simply generates a constant roll torque.This paper not only presents an equation for calculating the relative roll angle through the Euler angles of two satellites,but also an equation that converts the roll torque setpoint to the setpoints of the coil currents.A 3-closed-loop positioning controller composed of angle,angular velocity,and current loop is developed.The proposed topology is verified by finite element simulation,and the control strategy is validated by dynamics simulation and ground-based tests.
基金the Beijing Institute of Spacecraft System Engineering for providing topics,putting forward requirements and granting project funding。
文摘This paper proposes an electromagnetic coil topology and its control strategy,which can be incorporated into the electromagnetic docking device to achieve relative pose control in satellite docking.The target satellite has a main coil;the chaser satellite possesses a main coil of the same size accompanied by six and four evenly arranged secondary coils inside and outside the main coil,respectively.The coil on the target satellite is DC energized,while the currents in the coils of the chaser satellite are regulated.To remove the coupling between the pitch/yaw torque and translational force,the internal and external secondary coils of the chaser satellite interact with the main coil of the target satellite to perform the control of relative pitch/yaw and relative translation,respectively,so relative pose control can be achieved.The torque and force vectors exerted by the secondary coils of the chaser satellite are synthesized onto the pitch and yaw axes of the body frame.According to their spatial composition relationship,the formulas are proposed,which obtain the magnetic moment vectors of the coils from the set torques and forces.The controllers regulating pitch/yaw,translation,and distance utilize a three-loop cascaded structure that consists of an outer position loop,a middle velocity loop and an inner current loop.The control strategy is verified by dynamics simulation.
基金supported by the Innovation Foundation of BUAA for PhD Graduates (No.YWF-12-RBYJ-024)the National Natural Science Foundation of China (No.11002008)National Basic Research Program of China (No.2009CB723906)
文摘A new set of relative orbit elements（ROEs）is used to derive a new elliptical formation flying model.In-plane and out-of-plane motions can be completely decoupled,which benefts elliptical formation design.The inverse transformation of the state transition matrix is derived to study the relative orbit control strategy.Impulsive feedback control laws are developed for both in-plane and out-of-plane relative motions.Control of in-plane and out-of-plane relative motions can be completely decoupled using the ROE-based feedback control law.A tangential impulsive control method is proposed to study the relationship of fuel consumption and maneuvering positions.An optimal analytical along-track impulsive control strategy is then derived.Different typical orbit maneuvers,including formation establishment,reconfguration,long-distance maneuvers,and formation keeping,are taken as examples to demonstrate the performance of the proposed control laws.The effects of relative measurement errors are also considered to validate the high accuracy of the proposed control method.
文摘An adaptive prescribed performance control scheme is proposed for the drag free satellite in the presence of actuator saturation and external disturbances.The relative translation and rotation dynamics between the test mass and outer satellite are firstly derived.To guarantee prescribed performance bounds on the transient and steady control errors of relative states,a performance constrained control law is formulated with an error transformed function.In addition,the requirements to know the system parameters and the upper bound of the external disturbance in advance have been eliminated by adaptive updating technique.A command filter is concurrently used to overcome the problem of explosion of complexity inherent in the backstepping control design.Subsequently,a novel auxiliary system is constructed to compensate the adverse effects of the actuator saturation constrains.It is proved that all signals in the closed?loop system are ultimately bounded and prescribed performance of relative position and attitude control errors are guaranteed.Finally,numerical simulation results are given to demonstrate the effectiveness of the proposed approach.
文摘This paper investigates the relative controllability problem of semilinear stochastic integro-differential systems with a variable delay in control.Under suitable conditions,it is shown that the semilinear stochastic system may be steered up to the reachable set of its corresponding linear system in finite terminal time.The results are obtained by using fixed point argument.Finally a numerical example is provided to illustrate the technique.
文摘This study examines the comparative controllability of bilinear stochastic systems.By applying the Banach fixed-point theorem,necessary conditions for the relative controllability of stochastic bilinear systems with delays are derived.A numerical example is presented to illustrate the applicability and effectiveness of the proposed results.
文摘Exoatmospheric intercept plays a crucial role in strategic defense.However,existing approaches for exoatmospheric intercept guidance primarily rely on either proportional navigation or Lambert’s problem solution,which needs continuous relative measurements or requires constant orbit corrections due to its sensitivity to perturbation forces.To address these limitations,this paper proposes a novel guidance scheme based on relative-motion control.First,by introducing the zero-effort orbit as a reference orbit,the intercept problem is transformed into an equivalent relative-motion control problem with respect to the zero-effort orbit.The relative-motion dynamics model is adopted to analytically solve the velocity-to-be-gained vector,which avoids the iterative computation in the Lambert routine.Then,the guidance scheme is established,which generates a command thrust vector aligned with the velocity-to-be-gained vector in each guidance period.Through feedback control,the desired velocity is incrementally achieved until the velocity-to-be-gained vector becomes zero,ensuring accurate interception.Compared with the existing exoatmospheric intercept guidance methods,the presented method improves 1 or 2 orders of guidance accuracy in the low-Earth orbit intercept mission and 3 orders of guidance accuracy in the high-Earth orbit intercept mission,which are practical options for engineering applications.
基金partially supported by the Science Center Program of the National Natural Science Foundation of China under Grant No.62188101the Major Program of the National Natural Science Foundation of China under Grant Nos.61690210 and 61690212the National Natural Science Foundation of China under Grant Nos.62103164 and 61703437.
文摘This paper deals with the problem of position and attitude tracking control for a rigid spacecraft.A fully actuated system(FAS)model for the six degree-of-freedom(6DOF)spacecraft motion is derived first from the state-space model by variable elimination.Considering the uncertainties from external disturbance,unknown motion information,and uncertain inertia properties,an extended state observer(ESO)is designed to estimate the total disturbance.Then,a tracking controller based on FAS approach is designed,and this makes the closed-loop system a constant linear one with an arbitrarily assignable eigenstructure.The solution to the parameter matrices of the observer and controller is given subsequently.It is proved via the Lyapunov stability theory that the observer errors and tracking errors both converge into the neighborhood of the origin.Finally,numerical simulation demonstrates the effectiveness of the proposed controller.
文摘The National Institute of Standards and Technology(NIST)has identified natural language policies as the preferred expression of policy and implicitly called for an automated translation of ABAC natural language access control policy(NLACP)to a machine-readable form.To study the automation process,we consider the hierarchical ABAC model as our reference model since it better reflects the requirements of real-world organizations.Therefore,this paper focuses on the questions of:how can we automatically infer the hierarchical structure of an ABAC model given NLACPs;and,how can we extract and define the set of authorization attributes based on the resulting structure.To address these questions,we propose an approach built upon recent advancements in natural language processing and machine learning techniques.For such a solution,the lack of appropriate data often poses a bottleneck.Therefore,we decouple the primary contributions of this work into:(1)developing a practical framework to extract authorization attributes of hierarchical ABAC system from natural language artifacts,and(2)generating a set of realistic synthetic natural language access control policies(NLACPs)to evaluate the proposed framework.Our experimental results are promising as we achieved-in average-an F1-score of 0.96 when extracting attributes values of subjects,and 0.91 when extracting the values of objects’attributes from natural language access control policies.
基金supported by Princess Nourah bint Abdulrahman University,Riyadh,Saudi Arabia.
文摘The National Institute of Standards and Technology(NIST)has identified natural language policies as the preferred expression of policy and implicitly called for an automated translation of ABAC natural language access control policy(NLACP)to a machine-readable form.To study the automation process,we consider the hierarchical ABAC model as our reference model since it better reflects the requirements of real-world organizations.Therefore,this paper focuses on the questions of:how can we automatically infer the hierarchical structure of an ABAC model given NLACPs;and,how can we extract and define the set of authorization attributes based on the resulting structure.To address these questions,we propose an approach built upon recent advancements in natural language processing and machine learning techniques.For such a solution,the lack of appropriate data often poses a bottleneck.Therefore,we decouple the primary contributions of this work into:(1)developing a practical framework to extract authorization attributes of hierarchical ABAC system from natural language artifacts,and(2)generating a set of realistic synthetic natural language access control policies(NLACPs)to evaluate the proposed framework.Our experimental results are promising as we achieved-in average-an F1-score of 0.96 when extracting attributes values of subjects,and 0.91 when extracting the values of objects’attributes from natural language access control policies.
