LNCS

A controller is a device that interacts with a plant. At each time point,it reads the plant’s state and issues commands with the goal that the plant oper-ates optimally. Constructing optimal controllers is a fundamental and challengingproblem. Machine learning techniques have recently been successfully applied totrain controllers, yet they have limitations. Learned controllers are monolithic andhard to reason about. In particular, it is difficult to add features without retraining,to guarantee any level of performance, and to achieve acceptable performancewhen encountering untrained scenarios. These limitations can be addressed bydeploying quantitative run-timeshieldsthat serve as a proxy for the controller.At each time point, the shield reads the command issued by the controller andmay choose to alter it before passing it on to the plant. We show how optimalshields that interfere as little as possible while guaranteeing a desired level ofcontroller performance, can be generated systematically and automatically usingreactive synthesis. First, we abstract the plant by building a stochastic model.Second, we consider the learned controller to be a black box. Third, we mea-surecontroller performanceandshield interferenceby two quantitative run-timemeasures that are formally defined using weighted automata. Then, the problemof constructing a shield that guarantees maximal performance with minimal inter-ference is the problem of finding an optimal strategy in a stochastic2-player game“controller versus shield” played on the abstract state space of the plant with aquantitative objective obtained from combining the performance and interferencemeasures. We illustrate the effectiveness of our approach by automatically con-structing lightweight shields for learned traffic-light controllers in various roadnetworks. The shields we generate avoid liveness bugs, improve controller per-formance in untrained and changing traffic situations, and add features to learnedcontrollers, such as giving priority to emergency vehicles

Outer membrane protein folding from an energy landscape perspective

The cell envelope is essential for the survival of Gram-negative bacteria. This specialised membrane is densely packed with outer membrane proteins (OMPs), which perform a variety of functions. How OMPs fold into this crowded environment remains an open question. Here, we review current knowledge about OFMP folding mechanisms in vitro and discuss how the need to fold to a stable native state has shaped their folding energy landscapes. We also highlight the role of chaperones and the β-barrel assembly machinery (BAM) in assisting OMP folding in vivo and discuss proposed mechanisms by which this fascinating machinery may catalyse OMP folding

The calcium sensing receptor modulates fluid reabsorption and acid secretion in the proximal tubule

The proximal tubule uses a complex process of apical acid secretion and basolateral bicarbonate absorption to regulate both luminal acidification and fluid absorption. One of the primary regulators of apical acid secretion is the luminal sodium-hydrogen exchanger expressed along the apical membrane of the proximal tubule. Similarly, the calcium-sensing receptor (CaSR) is also located along the luminal membrane of the proximal tubule. Here we investigated the role of CaSR in proton secretion and fluid reabsorption in proximal tubules by modulating luminal calcium concentration, using both in vivo micropuncture in rats and in vitro perfused mouse proximal tubules. Using CaSR knockout mice and a calcimimetic agent, we found that increased proton secretion and fluid reabsorption were CaSR dependent. Activating CaSR by either raising the luminal calcium ion concentration or by the calcimimetic caused a concomitant increase in sodium-dependent proton extrusion and fluid reabsorption, whereas in proximal tubules isolated from CaSR knockout mice varying calcium ion concentration had no effect. Application of a calcimimetic in lower concentrations of calcium ion stimulated these processes in vitro and in vivo. Thus, in both rats and mice, increased luminal calcium concentration leads to enhanced fluid reabsorption in the proximal tubule, a process related to activation of CaSR