LNCS

We address the problem of analyzing the reachable set of a polynomial nonlinear continuous system by over-approximating the flowpipe of its dynamics. The common approach to tackle this problem is to perform a numerical integration over a given time horizon based on Taylor expansion and interval arithmetic. However, this method results to be very conservative when there is a large difference in speed between trajectories as time progresses. In this paper, we propose to use combinations of barrier functions, which we call piecewise barrier tube (PBT), to over-approximate flowpipe. The basic idea of PBT is that for each segment of a flowpipe, a coarse box which is big enough to contain the segment is constructed using sampled simulation and then in the box we compute by linear programming a set of barrier functions (called barrier tube or BT for short) which work together to form a tube surrounding the flowpipe. The benefit of using PBT is that (1) BT is independent of time and hence can avoid being stretched and deformed by time; and (2) a small number of BTs can form a tight over-approximation for the flowpipe, which means that the computation required to decide whether the BTs intersect the unsafe set can be reduced significantly. We implemented a prototype called PBTS in C++. Experiments on some benchmark systems show that our approach is effective

Herbicide-Resistant Crops: Utilities and Limitations for Herbicide-Resistant Weed Management

Since 1996, genetically modified herbicide-resistant (HR) crops, particularly glyphosate-resistant (GR) crops, have transformed the tactics that corn, soybean, and cotton growers use to manage weeds. The use of GR crops continues to grow, but weeds are adapting to the common practice of using only glyphosate to control weeds. Growers using only a single mode of action to manage weeds need to change to a more diverse array of herbicidal, mechanical, and cultural practices to maintain the effectiveness of glyphosate. Unfortunately, the introduction of GR crops and the high initial efficacy of glyphosate often lead to a decline in the use of other herbicide options and less investment by industry to discover new herbicide active ingredients. With some exceptions, most growers can still manage their weed problems with currently available selective and HR crop-enabled herbicides. However, current crop management systems are in jeopardy given the pace at which weed populations are evolving glyphosate resistance. New HR crop technologies will expand the utility of currently available herbicides and enable new interim solutions for growers to manage HR weeds, but will not replace the long-term need to diversify weed management tactics and discover herbicides with new modes of action. This paper reviews the strengths and weaknesses of anticipated weed management options and the best management practices that growers need to implement in HR crops to maximize the long-term benefits of current technologies and reduce weed shifts to difficult-to-control and HR weeds

Competitive interaction of three peroxidizing herbicides with the binding of 3H acifluorfen to corn etioplast membranes

International audienc