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

Utilizing Dependencies to Obtain Subsets of Reachable Sets

Reachability analysis, in general, is a fundamental method that supports formally-correct synthesis, robust model predictive control, set-based observers, fault detection, invariant computation, and conformance checking, to name but a few. In many of these applications, one requires to compute a reachable set starting within a previously computed reachable set. While it was previously required to re-compute the entire reachable set, we demonstrate that one can leverage the dependencies of states within the previously computed set. As a result, we almost instantly obtain an over-approximative subset of a previously computed reachable set by evaluating analytical maps. The advantages of our novel method are demonstrated for falsification of systems, optimization over reachable sets, and synthesizing safe maneuver automata. In all of these applications, the computation time is reduced significantly

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

Morphological and physiological alterations induced by lactofen in soybean leaves are reduced with nitric oxide

Lactofen is a diphenylether herbicide recommended to control broad-leaved weeds in soybean (Glycine max) fields and its mechanism of action is the inhibition of protoporphyrinogen-IX oxidase (Protox), which acts in the chlorophyll biosynthesis. This inhibition results in an accumulation of protoporphyrin-IX, which leads to the production of reactive oxygen species (ROS) that cause oxidative stress. Consequently, spots, wrinkling and leaf burn may occur, resulting in a transitory crop growth interruption. However, nitric oxide (NO) acts as an antioxidant in direct ROS scavenging. Thus, the aim of this work was to verify, through phytometric and biochemical evaluations, the protective effect of NO in soybean plants treated with the herbicide lactofen. Soybean plants were pre-treated with different levels of sodium nitroprusside (SNP), a NO-donor substance, and then sprayed with 168 g a.i. ha-1 lactofen. Pre-treatment with SNP was beneficial because NO decreased the injury symptoms caused by lactofen in young leaflets and kept low the soluble sugar levels. Nevertheless, NO caused slower plant growth, which indicates that further studies are needed in order to elucidate the action mechanisms of NO in signaling the stress caused by lactofen in soybean crop.O lactofen é um herbicida difeniléter recomendado para controlar plantas daninhas de folhas largas em campos de soja (Glycine max) e seu mecanismo de ação é a inibição da protoporfirinogênio-IX oxidase (Protox), que atua na biossíntese de clorofilas. Essa inibição resulta em um acúmulo de protoporfirina-IX, o que leva à produção de espécies reativas de oxigênio (ROS), causando estresse oxidativo. Conseqüentemente, podem ocorrer manchas, enrugamento e queima das folhas, o que leva à paralisação temporária do crescimento da cultura. Porém, o óxido nítrico (NO) atua como um antioxidante na eliminação direta das ROS. Assim, o objetivo deste trabalho foi verificar, por meio de avaliações fitométricas e bioquímicas, o efeito protetor do NO em plantas de soja tratadas com o herbicida lactofen. Plantas de soja foram pré-tratadas com diferentes doses de Nitroprussiato de Sódio (SNP), substância doadora de NO, e então pulverizadas com 168 g a.i. ha-1 lactofen. O pré-tratamento com SNP foi benéfico, pois o NO reduziu os sintomas de injúria causados pelo lactofen nos folíolos jovens e manteve baixos teores de açúcares solúveis. Porém, o NO proporcionou crescimento mais lento das plantas. Desta forma, posteriores estudos são necessários para elucidar os mecanismos de ação do NO na sinalização do estresse promovido pelo lactofen na cultura da soja

Use of herbicides on turfgrass

Nas culturas agrícolas as plantas daninhas devem ser controladas de modo a não afetar negativamente o rendimento e a qualidade do produto colhido. Deste modo, quantidades pequenas de plantas daninhas em um campo, na maioria dos casos, não é um problema, exceto na produção de sementes. Ressalta-se que em gramados não existe um componente de produção a se colhido. O valor do gramado é a sua qualidade inerente a estética e usabilidade. Qualidade estética é a beleza e o valor que acrescenta ao gramado em uma paisagem gerenciada. Usabilidade pode ser a durabilidade de um campo de esporte ou a redução na perda de solo pela erosão da água ou do vento. A presença de qualquer planta daninha em gramados pode diminuir a qualidade estética e usabilidade do gramado. Enquanto for possível reduzir a população de plantas daninhas utilizando práticas culturais ou mecânicas, não se poderá eliminá-las completamente. A utilização de herbicidas é a única maneira de controlar completamente as plantas daninhas em áreas de gramados. Esta revisão irá rever os principais herbicidas utilizados em gramados nos Estados Unidos com relação a seus modos de ação, a família de herbicidas e uso primário no gramado.In crop production, weeds must be controlled so as not to adversely affect crop yield and crop quality. Thus, a low level of weeds infesting a field, in most instances, is not a problem. Except in sod or seed production, turfgrass does not have a yield component. The value of turfgrass is its inherent aesthetic quality and usability. Aesthetic quality is the beauty and value that turfgrass adds to a managed landscape. Usability can be the durability of a sport field, trueness of golf putting green roll, or reduction in soil loss from water runoff or wind. Any weed presence in turfgrass can decrease the aesthetic quality and usability of turfgrass. Utilizing herbicides is the only way to completely control weeds in a turfgrass stand. While it is possible to reduce weed populations using cultural or mechanical management practices, it is impossible to completely eliminate weeds as can be accomplished with herbicides. This manuscript will review the major herbicides used in turfgrass in the United States with respect to their modes of action, herbicide family, and primary use in turfgrass

THE -MODULAR LOCAL LANGLANDS CORRESPONDENCE AND LOCAL CONSTANTS

AbstractLet $F$ be a non-archimedean local field of residual characteristic $p$, $\ell \neq p$ be a prime number, and $\text{W}_{F}$ the Weil group of $F$. We classify equivalence classes of $\text{W}_{F}$-semisimple Deligne $\ell$-modular representations of $\text{W}_{F}$ in terms of irreducible $\ell$-modular representations of $\text{W}_{F}$, and extend constructions of Artin–Deligne local constants to this setting. Finally, we define a variant of the $\ell$-modular local Langlands correspondence which satisfies a preservation of local constants statement for pairs of generic representations.</jats:p

A characterization of the relation between two ℓ\ell -modular correspondences

Let F be a non archimedean local field of residual characteristic p and ℓ a prime number different from p. Let V denote Vignéras’ ℓ-modular local Langlands correspondence [7], between irreducible ℓ-modular representations of GLn(F) and n-dimensional ℓ-modular Deligne representations of the Weil group WF. In [4], enlarging the space of Galois parameters to Deligne representations with non necessarily nilpotent operators allowed us to propose a modification of the correspondence of Vignéras into a correspondence C, compatible with the formation of local constants in the generic case. In this note, following a remark of Alberto Mínguez, we characterize the modification C∘V−1 by a short list of natural properties

Test vectors for local periods

Let E/F be a quadratic extension of non-Archimedean local fields of characteristic zero. An irreducible admissible representation pi of GL(n, E) is said to be distinguished with respect to GL(n, F) if it admits a non-trivial linear form that is invariant under the action of GL(n, F). It is known that there is exactly one such invariant linear form up to multiplication by scalars, and an explicit linear form is given by integrating Whittaker functions over the F-points of the mirabolic subgroup when pi is unitary and generic. In this paper, we prove that the essential vector of [14] is a test vector for this standard distinguishing linear form and that the value of this form at the essential vector is a local L-value. As an application we determine the value of a certain proportionality constant between two explicit distinguishing linear forms. We then extend all our results to the non-unitary generic case