We consider a communication network over which transmissions must fulfill the so-called token bucket traffic specification, with a rollout (i.e., predictive) controller that both schedules transmissions and computes t...
详细信息
We consider a communication network over which transmissions must fulfill the so-called token bucket traffic specification, with a rollout (i.e., predictive) controller that both schedules transmissions and computes the corresponding control values. In the token bucket specification, a transmission is allowed if the current level of tokens is above a certain threshold. Recently, it has been shown that having a full bucket at the time of a set point change significantly improves the control performance as compared to when the bucket level is low. In this work, we develop mechanisms that guarantee that the bucket fills up after the controlled plant has converged to a set point. To do this, we consider two different setups. First, we consider that all transmissions over the network must fulfill the token bucket specification and show convergence to the upper sector of the bucket by adding a slight terminal cost on the bucket level. Afterwards, we consider a modified network which additionally features a direct link over which transmissions need not fulfill the token bucket specification. In this setup, we prove convergence of the bucket level exactly to the upper rim. These mechanisms enable a similar level of flexibility as event-triggered control: In converged state, little communication is used while in precarious operating conditions, a burst of transmissions is possible. Other than event-triggered approaches, the proposed methods allow to specify the network traffic beforehand by means of the token bucket. Lastly, we validate the proposed approaches in a numerical example.
In the field, robots often need to operate in unknown and unstructured environments, where accurate sensing and state estimation (SE) becomes a major challenge. Cameras have been used to great success in mapping and p...
详细信息
This paper investigates a novel finite-time gradient descent-based adaptive neural network finite-time control strategy for the attitude tracking of a 3-DOF lab helicopter platform subject to composite disturbances. F...
详细信息
Consensus and cluster forming of multiagent systems in the face of jamming attacks along with reactive recovery actions by a defender are discussed. The attacker is capable to disable some of the edges of the network ...
详细信息
The deployment of autonomous systems in uncertain and dynamic environments has raised fundamental questions. Addressing these is pivotal to build fully autonomous systems and requires a systematic integration of plann...
详细信息
This work studies formal verification of continuous-time continuous-space systems with unknown dynamics against safety specifications. The proposed framework is based on a data-driven construction of barrier certifica...
详细信息
ISBN:
(纸本)9781450383394
This work studies formal verification of continuous-time continuous-space systems with unknown dynamics against safety specifications. The proposed framework is based on a data-driven construction of barrier certificates using which the safety of unknown systems is verified via a finite set of data collected from trajectories of systems with a priori guaranteed confidence. In the proposed scheme, we first cast the original safety problem as a robust convex program (RCP). Since the unknown model appears in one of the constraints of the proposed RCP, we provide the scenario convex program (SCP) corresponding to the original RCP by collecting finite numbers of data from systems' evolutions. We then establish a probabilistic closeness between the optimal value of SCP and that of RCP. Accordingly, we formally quantify the safety guarantee of unknown systems based on the number of data and the required level of safety confidence. Motivations. In the past few years, formal methods have become a promising approach to analyze dynamical systems against high-level logic properties, e.g., those expressed as linear temporal logic (LTL) formulae, in a reliable way. In this regard, barrier certificates, as a discretization-free approach, have received significant attention as a useful tool for formal analysis of complex dynamical systems. In particular, barrier certificates are Lyapunov-like functions defined over the state space of systems subjected to a set of inequalities on both the function itself and its time derivative along the flow of the system. The existence of such a function provides a formal certificate for the safety of the system [1, 2]. To employ the proposed approaches in the setting of barrier certificates, one needs to know precise models of dynamical systems and, hence, those approaches are not applicable where the model is unknown. Although there are some identification techniques in the relevant literature to first learn the model and then provide the analys
This paper considers distributed optimization for minimizing the average of local nonconvex cost functions, by using local information exchange over undirected communication networks. To reduce the required communicat...
详细信息
The large-scale use of renewable energy (RE) requires proportional investment in energy storage to solve the uncertainty of both the supply and demand sides of the power grid, which brings about the problems of high i...
详细信息
The distribution of power flow can be effectively improved by optimizing the configuration of Distributed Generators (DGs) and Shunt Capacitors (SCs). Proper placements and capacities of DGs or SCs for real power loss...
详细信息
Rotor and ducted-fan structured unmanned helicopters have shown energy efficiency in low flight speed and hovering, due to the novel ducted-fan structure. However, its aerodynamic characteristics may change dramatical...
详细信息
Rotor and ducted-fan structured unmanned helicopters have shown energy efficiency in low flight speed and hovering, due to the novel ducted-fan structure. However, its aerodynamic characteristics may change dramatically when flight at higher speed,resulting in a wide flight envelope when compared with conventional structured helicopters. Hence, the flight controller is required to schedule itself based on the flight states and guarantees the overall performances of the helicopter on the entire flight envelop. This paper presents a switching system theory based approach to design the optimal controllers over a wide region of flight envelop. In the proposed method, a family of robust controller are designed based on typical operational conditions and the controller is adjusted to guarantee the stability when the switching event is trigged. A hysteresis switching logic is utilized to ensure smooth transient between specific operational subspaces. The stability of the proposed control method was analyzed through Lyapunov theory. Nonlinear simulations based flight dynamics of the prototype helicopter have demonstrated the flexibility and efficiency of the proposed work.
暂无评论