Changes in postural syntax characterize sensory modulation and natural variation of C. elegans locomotion

Locomotion is driven by shape changes coordinated by the nervous system through time; thus, enumerating an animal's complete repertoire of shape transitions would provide a basis for a comprehensive understanding of locomotor behaviour. Here we introduce a discrete representation of behaviour in the nematode C. elegans. At each point in time, the worm's posture is approximated by its closest matching template from a set of 90 postures and locomotion is represented as sequences of postures. The frequency distribution of postural sequences is heavy-tailed with a core of frequent behaviours and a much larger set of rarely used behaviours. Responses to optogenetic and environmental stimuli can be quantified as changes in postural syntax: worms show different preferences for different sequences of postures drawn from the same set of templates. A discrete representation of behaviour will enable the use of methods developed for other kinds of discrete data in bioinformatics and language processing to be harnessed for the study of behaviour

The Reach-Avoid Problem for Constant-Rate Multi-Mode Systems

A constant-rate multi-mode system is a hybrid system that can switch freely among a finite set of modes, and whose dynamics is specified by a finite number of real-valued variables with mode-dependent constant rates. Alur, Wojtczak, and Trivedi have shown that reachability problems for constant-rate multi-mode systems for open and convex safety sets can be solved in polynomial time. In this paper, we study the reachability problem for non-convex state spaces and show that this problem is in general undecidable. We recover decidability by making certain assumptions about the safety set. We present a new algorithm to solve this problem and compare its performance with the popular sampling based algorithm rapidly-exploring random tree (RRT) as implemented in the Open Motion Planning Library (OMPL).Comment: 26 page

Sampling-based Algorithms for Optimal Motion Planning

During the last decade, sampling-based path planning algorithms, such as Probabilistic RoadMaps (PRM) and Rapidly-exploring Random Trees (RRT), have been shown to work well in practice and possess theoretical guarantees such as probabilistic completeness. However, little effort has been devoted to the formal analysis of the quality of the solution returned by such algorithms, e.g., as a function of the number of samples. The purpose of this paper is to fill this gap, by rigorously analyzing the asymptotic behavior of the cost of the solution returned by stochastic sampling-based algorithms as the number of samples increases. A number of negative results are provided, characterizing existing algorithms, e.g., showing that, under mild technical conditions, the cost of the solution returned by broadly used sampling-based algorithms converges almost surely to a non-optimal value. The main contribution of the paper is the introduction of new algorithms, namely, PRM* and RRT*, which are provably asymptotically optimal, i.e., such that the cost of the returned solution converges almost surely to the optimum. Moreover, it is shown that the computational complexity of the new algorithms is within a constant factor of that of their probabilistically complete (but not asymptotically optimal) counterparts. The analysis in this paper hinges on novel connections between stochastic sampling-based path planning algorithms and the theory of random geometric graphs.Comment: 76 pages, 26 figures, to appear in International Journal of Robotics Researc

Mitochondrial Oxidative Stress Alters a Pathway in Caenorhabditis elegans Strongly Resembling That of Bile Acid Biosynthesis and Secretion in Vertebrates

Mammalian bile acids (BAs) are oxidized metabolites of cholesterol whose amphiphilic properties serve in lipid and cholesterol uptake. BAs also act as hormone-like substances that regulate metabolism. The Caenorhabditis elegans clk-1 mutants sustain elevated mitochondrial oxidative stress and display a slow defecation phenotype that is sensitive to the level of dietary cholesterol. We found that: 1) The defecation phenotype of clk-1 mutants is suppressed by mutations in tat-2 identified in a previous unbiased screen for suppressors of clk-1. TAT-2 is homologous to ATP8B1, a flippase required for normal BA secretion in mammals. 2) The phenotype is suppressed by cholestyramine, a resin that binds BAs. 3) The phenotype is suppressed by the knock-down of C. elegans homologues of BA–biosynthetic enzymes. 4) The phenotype is enhanced by treatment with BAs. 5) Lipid extracts from C. elegans contain an activity that mimics the effect of BAs on clk-1, and the activity is more abundant in clk-1 extracts. 6) clk-1 and clk-1;tat-2 double mutants show altered cholesterol content. 7) The clk-1 phenotype is enhanced by high dietary cholesterol and this requires TAT-2. 8) Suppression of clk-1 by tat-2 is rescued by BAs, and this requires dietary cholesterol. 9) The clk-1 phenotype, including the level of activity in lipid extracts, is suppressed by antioxidants and enhanced by depletion of mitochondrial superoxide dismutases. These observations suggest that C. elegans synthesizes and secretes molecules with properties and functions resembling those of BAs. These molecules act in cholesterol uptake, and their level of synthesis is up-regulated by mitochondrial oxidative stress. Future investigations should reveal whether these molecules are in fact BAs, which would suggest the unexplored possibility that the elevated oxidative stress that characterizes the metabolic syndrome might participate in disease processes by affecting the regulation of metabolism by BAs

A Regulated Response to Impaired Respiration Slows Behavioral Rates and Increases Lifespan in Caenorhabditis elegans

When mitochondrial respiration or ubiquinone production is inhibited in Caenorhabditis elegans, behavioral rates are slowed and lifespan is extended. Here, we show that these perturbations increase the expression of cell-protective and metabolic genes and the abundance of mitochondrial DNA. This response is similar to the response triggered by inhibiting respiration in yeast and mammalian cells, termed the “retrograde response”. As in yeast, genes switched on in C. elegans mitochondrial mutants extend lifespan, suggesting an underlying evolutionary conservation of mechanism. Inhibition of fstr-1, a potential signaling gene that is up-regulated in clk-1 (ubiquinone-defective) mutants, and its close homolog fstr-2 prevents the expression of many retrograde-response genes and accelerates clk-1 behavioral and aging rates. Thus, clk-1 mutants live in “slow motion” because of a fstr-1/2–dependent pathway that responds to ubiquinone. Loss of fstr-1/2 does not suppress the phenotypes of all long-lived mitochondrial mutants. Thus, although different mitochondrial perturbations activate similar transcriptional and physiological responses, they do so in different ways

The Multilayer Connectome of Caenorhabditis elegans.

Connectomics has focused primarily on the mapping of synaptic links in the brain; yet it is well established that extrasynaptic volume transmission, especially via monoamines and neuropeptides, is also critical to brain function and occurs primarily outside the synaptic connectome. We have mapped the putative monoamine connections, as well as a subset of neuropeptide connections, in C. elegans based on new and published gene expression data. The monoamine and neuropeptide networks exhibit distinct topological properties, with the monoamine network displaying a highly disassortative star-like structure with a rich-club of interconnected broadcasting hubs, and the neuropeptide network showing a more recurrent, highly clustered topology. Despite the low degree of overlap between the extrasynaptic (or wireless) and synaptic (or wired) connectomes, we find highly significant multilink motifs of interaction, pinpointing locations in the network where aminergic and neuropeptide signalling modulate synaptic activity. Thus, the C. elegans connectome can be mapped as a multiplex network with synaptic, gap junction, and neuromodulator layers representing alternative modes of interaction between neurons. This provides a new topological plan for understanding how aminergic and peptidergic modulation of behaviour is achieved by specific motifs and loci of integration between hard-wired synaptic or junctional circuits and extrasynaptic signals wirelessly broadcast from a small number of modulatory neurons

A Survey on Continuous Time Computations

We provide an overview of theories of continuous time computation. These theories allow us to understand both the hardness of questions related to continuous time dynamical systems and the computational power of continuous time analog models. We survey the existing models, summarizing results, and point to relevant references in the literature

Mitochondrial DNA level, but not active replicase, is essential for Caenorhabditis elegans development

A number of studies showed that the development and the lifespan of Caenorhabditis elegans is dependent on mitochondrial function. In this study, we addressed the role of mitochondrial DNA levels and mtDNA maintenance in development of C. elegans by analyzing deletion mutants for mitochondrial polymerase gamma (polg-1(ok1548)). Surprisingly, even though previous studies in other model organisms showed necessity of polymerase gamma for embryonic development, homozygous polg-1(ok1548) mutants had normal development and reached adulthood without any morphological defects. However, polg-1 deficient animals have a seriously compromised gonadal function as a result of severe mitochondrial depletion, leading to sterility and shortened lifespan. Our results indicate that the gonad is the primary site of mtDNA replication, whilst the mtDNA of adult somatic tissues mainly stems from the developing embryo. Furthermore, we show that the mtDNA copy number shows great plasticity as it can be almost tripled as a response to the environmental stimuli. Finally, we show that the mtDNA copy number is an essential limiting factor for the worm development and therefore, a number of mechanisms set to maintain mtDNA levels exist, ensuring a normal development of C. elegans even in the absence of the mitochondrial replicase

Boolean-controlled systems via receding horizon and linear programing.

We consider dynamic systems controlled by boolean signals or decisions. We show that in a number of cases, the receding horizon formulation of the control problem can be solved via linear programing by relaxing the binary constraints on the control. The idea behind our approach is conceptually easy: a feasible control can be forced by imposing that the boolean signal is set to one at least one time over the horizon. We translate this idea into constraints on the controls and analyze the polyhedron of all feasible controls. We specialize the approach to the stabilizability of switched and impulsively controlled systems