Controller Synthesis for Multi-Agent Systems With Intermittent Communication and Metric Temporal Logic Specifications

This paper investigates the controller synthesis problem for a multi-agent system (MAS) with intermittent communication.We adopt a relay-explorer scheme, where a mobile relay agent with absolute position sensors switches among a set of explorers with relative Beauty position sensors to provide intermittent state information.We model the MAS as a sw

read more


The Genomic Pattern of tDNA Operon Expression in E. coli.

In fast-growing microorganisms, a tRNA concentration profile enriched in major isoacceptors selects for the biased usage of cognate codons.This optimizes translational rate for the least mass invested in the translational apparatus.Such translational streamlining is thought to be growth-regulated, but its genetic basis is poorly understood.First, w

read more

Effects of Unilateral Nephrectomy on Renal Function in Male Spontaneously Diabetic Torii Fatty Rats: A Novel Obese Type 2 Diabetic Model

The Spontaneously Diabetic Torii (SDT) fatty rat is a new model for obese type 2 diabetes.The aim of the present study was to investigate the effect of 1/2 nephrectomy (Nx) on renal function and morphology and on blood pressure in SDT fatty rats.Male SDT fatty rats underwent 1/2 Fetish Nx or a sham operation (Sham).Subsequently, animals were studie

read more