2,850 research outputs found

    Tracking control of a marine surface vessel with full-state constraints

    Get PDF

    Active Sampling-based Binary Verification of Dynamical Systems

    Full text link
    Nonlinear, adaptive, or otherwise complex control techniques are increasingly relied upon to ensure the safety of systems operating in uncertain environments. However, the nonlinearity of the resulting closed-loop system complicates verification that the system does in fact satisfy those requirements at all possible operating conditions. While analytical proof-based techniques and finite abstractions can be used to provably verify the closed-loop system's response at different operating conditions, they often produce conservative approximations due to restrictive assumptions and are difficult to construct in many applications. In contrast, popular statistical verification techniques relax the restrictions and instead rely upon simulations to construct statistical or probabilistic guarantees. This work presents a data-driven statistical verification procedure that instead constructs statistical learning models from simulated training data to separate the set of possible perturbations into "safe" and "unsafe" subsets. Binary evaluations of closed-loop system requirement satisfaction at various realizations of the uncertainties are obtained through temporal logic robustness metrics, which are then used to construct predictive models of requirement satisfaction over the full set of possible uncertainties. As the accuracy of these predictive statistical models is inherently coupled to the quality of the training data, an active learning algorithm selects additional sample points in order to maximize the expected change in the data-driven model and thus, indirectly, minimize the prediction error. Various case studies demonstrate the closed-loop verification procedure and highlight improvements in prediction error over both existing analytical and statistical verification techniques.Comment: 23 page

    Fixed-time safe tracking control of uncertain high-order nonlinear pure-feedback systems via unified transformation functions

    Get PDF
    summary:In this paper, a fixed-time safe control problem is investigated for an uncertain high-order nonlinear pure-feedback system with state constraints. A new nonlinear transformation function is firstly proposed to handle both the constrained and unconstrained cases in a unified way. Further, a radial basis function neural network is constructed to approximate the unknown dynamics in the system and a fixed-time dynamic surface control (FDSC) technique is developed to facilitate the fixed-time control design for the uncertain high-order pure-feedback system. Combined with the proposed unified transformation function and the FDSC technique, an adaptive fixed-time control strategy is proposed to guarantee the fixed-time tracking. The novel original results of the paper allow to design the independent unified flexible fixed-time control strategy taking into account the actual possible constraints, either present or missing. Numerical examples are presented to demonstrate the proposed fixed-time tracking control strategy

    Event-Triggered Multi-Lane Fusion Control for 2-D Vehicle Platoon Systems with Distance Constraints

    Get PDF
    This paper investigates the event-triggered fixedtime multi-lane fusion control for vehicle platoon systems with distance keeping constraints where the vehicles are spread in multiple lanes. To realize the fusion of vehicles in different lanes, the vehicle platoon systems are firstly constructed with respect to a two-dimensional (2-D) plane. In case of the collision and loss of effective communication, the distance constraints for each vehicle are guaranteed by a barrier function-based control strategy. In contrast to the existing results regarding the command filter techniques, the proposed distance keeping controller can constrain the distance tracking error directly and the error generated by the command filter is coped with by adaptive fuzzy control technique. Moreover, to offset the impacts of the unknown system dynamics and the external disturbances, an unknown input reconstruction method with asymptotic convergence is developed by utilizing the interval observer technique. Finally, two relative threshold triggering mechanisms are utilized in the proposed fixed-time multi-lane fusion controller design so as to reduce the communication burden. The corresponding simulation results also verify the effectiveness of the proposed strategy

    Neural Adaptive Backstepping Control of a Robotic Manipulator With Prescribed Performance Constraint

    Full text link
    IEEE This paper presents an adaptive neural network (NN) control of a two-degree-of-freedom manipulator driven by an electrohydraulic actuator. To restrict the system output in a prescribed performance constraint, a weighted performance function is designed to guarantee the dynamic and steady tracking errors of joint angle in a required accuracy. Then, a radial-basis-function NN is constructed to train the unknown model dynamics of a manipulator by traditional backstepping control (TBC) and obtain the preliminary estimated model, which can replace the preknown dynamics in the backstepping iteration. Furthermore, an adaptive estimation law is adopted to self-tune every trained-node weight, and the estimated model is online optimized to enhance the robustness of the NN controller. The effectiveness of the proposed control is verified by comparative simulation and experimental results with Proportional-integral-derivative and TBC methods

    Adaptive fuzzy control for coordinated multiple robots with constraint using impedance learning

    Get PDF
    In this paper, we investigate fuzzy neural network (FNN) control using impedance learning for coordinated multiple constrained robots carrying a common object in the presence of the unknown robotic dynamics and the unknown environment with which the robot comes into contact. First, an FNN learning algorithm is developed to identify the unknown plant model. Second, impedance learning is introduced to regulate the control input in order to improve the environment-robot interaction, and the robot can track the desired trajectory generated by impedance learning. Third, in light of the condition requiring the robot to move in a finite space or to move at a limited velocity in a finite space, the algorithm based on the position constraint and the velocity constraint are proposed, respectively. To guarantee the position constraint and the velocity constraint, an integral barrier Lyapunov function is introduced to avoid the violation of the constraint. According to Lyapunov's stability theory, it can be proved that the tracking errors are uniformly bounded ultimately. At last, some simulation examples are carried out to verify the effectiveness of the designed control
    corecore