Arabidopsis glycogen synthase kinase 3 (GSK3)-like kinases have versatile functions in plant development and in responding to abiotic stresses. Although physiological evidence suggested a potential role of GSK3-like kinases in abscisic acid (ABA) signaling, the underlying molecular mechanism was largely unknown. Here we identified members of Snf1-related kinase 2s (SnRK2s), SnRK2.2 and SnRK2.3, that can interact with and be phosphorylated by a GSK3-like kinase, brassinosteroid insensitive 2 (BIN2). bin2-3 bil1 bil2, a loss-offunction mutant of BIN2 and its two closest homologs, BIN2 like 1 (BIL1) and BIN2 like 2 (BIL2), was hyposensitive to ABA in primary root inhibition, ABA-responsive gene expression, and phosphorylating ABA Response Element Binding Factor (ABF) 2 fragment by in-gel kinase assays, whereas bin2-1, a gain-of-function mutation of BIN2, was hypersensitive to ABA, suggesting that these GSK3-like kinases function as positive regulators in ABA signaling. Furthermore, BIN2 phosphorylated SnRK2.3 on T180, and SnRK2.3 T180A had decreased kinase activity in both autophosphorylation and phosphorylating ABFs. Bikinin, a GSK3 kinase inhibitor, inhibited the SnRK2.3 kinase activity and its T180 phosphorylation in vivo. Our genetic analysis further demonstrated that BIN2 regulates ABA signaling downstream of the PYRABACTIN RESISTANCE1/PYR1-LIKE/REGULATORY COMPONENTS OF ABA RECEPTORS receptors and clade A protein phosphatase 2C but relies on SnRK2.2 and SnRK2.3. These findings provide significant insight into the modulation of ABA signaling by Arabidopsis GSK3-like kinases.signal transduction | phosphorylation cascades | kinase activation

Abscisic acid (ABA) and brassinosteroid (BR) antagonistically regulate many aspects of plant growth and development. Previous physiological studies have revealed that the inhibition of BR signaling by ABA is largely dependent on ABI1 and ABI2. However, the genetic and molecular basis of how ABI1 and ABI2 are involved in inhibiting BR signaling remains unclear. Although it is known that in the BR signaling pathway the ABA-BR crosstalk occurs in the downstream of BR receptor complex but upstream of BIN2 kinase, a negative regulator of BR signaling, the component that acts as the hub to directly mediate their crosstalk remains a big mystery. Here, we found that ABI1 and ABI2 interact with and dephosphorylate BIN2 to regulate its activity toward the phosphorylation of BES1. By in vitro mimicking ABA signal transduction, we found that ABA can promote BIN2 phosphorylation by inhibiting ABI2 through ABA receptors. RNA-sequencing analysis further demonstrated that ABA inhibits BR signaling through the ABA primary signaling components, including its receptors and ABI2, and that ABA and GSK3s co-regulate a common set of stress-responsive genes. Because BIN2 can interact with and phosphorylate SnRK2s to activate its kinase activity, our study also reveals there is a module of PP2Cs-BIN2-SnRK2s in the ABA signaling pathway. Collectively, these findings provide significant insights into how plants balance growth and survival by coordinately regulating the growth-promoting signaling pathway and stress responses under abiotic stresses.

In Arabidopsis, root hair and non-hair cell fates are determined by a MYB-bHLH-WD40 transcriptional complex and are regulated by many internal and environmental cues. Brassinosteroids play important roles in regulating root hair specification by unknown mechanisms. Here, we systematically examined root hair phenotypes in brassinosteroid-related mutants, and found that brassinosteroid signaling inhibits root hair formation through GSK3-like kinases or upstream components. We found that with enhanced brassinosteroid signaling, GL2, a cell fate marker for non-hair cells, is ectopically expressed in hair cells, while its expression in non-hair cells is suppressed when brassinosteroid signaling is reduced. Genetic analysis demonstrated that brassinosteroid-regulated root epidermal cell patterning is dependent on the WER-GL3/EGL3-TTG1 transcriptional complex. One of the GSK3-like kinases, BIN2, interacted with and phosphorylated EGL3, and EGL3s mutated at phosphorylation sites were retained in hair cell nuclei. BIN2 phosphorylated TTG1 to inhibit the activity of the WER-GL3/EGL3-TTG1 complex. Thus, our study provides insights into the mechanism of brassinosteroid regulation of root hair patterning.DOI: http://dx.doi.org/10.7554/eLife.02525.001

Motivated by the challenge of developing control software provably meeting specifications for real world problems, this paper applies formal methods to adaptive cruise control (ACC). Starting from a Linear Temporal Logic specification for ACC, obtained by interpreting relevant ACC standards, we discuss in this paper two different control software synthesis methods. Each method produces a controller that is correct-byconstruction, meaning that trajectories of the closed-loop systems provably meet the specification. Both methods rely on fixed-point computations of certain set-valued mappings. However, one of the methods performs these computations on the continuous state space whereas the other method operates on a finitestate abstraction. While controller synthesis is based on a lowdimensional model, each controller is tested on CarSim, an industry-standard vehicle simulator. Our results demonstrate several advantages over classical control design techniques. First, a formal approach to control design removes potential ambiguity in textual specifications by translating them into precise mathematical requirements. Second, because the resulting closed-loop system is known a priori to satisfy the specification, testing can then focus on the validity of the models used in control design and whether the specification captures the intended requirements. Finally, the set from where the specification (e.g., safety) can be enforced is explicitly computed and thus conditions for passing control to an emergency controller are clearly defined.

No abstract