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

Mitochondrial respiratory states and rate

As the knowledge base and importance of mitochondrial physiology to human health expands, the necessity for harmonizing the terminologyconcerning mitochondrial respiratory states and rates has become increasingly apparent. Thechemiosmotic theoryestablishes the mechanism of energy transformationandcoupling in oxidative phosphorylation. Theunifying concept of the protonmotive force providestheframeworkfordeveloping a consistent theoretical foundation ofmitochondrial physiology and bioenergetics.We followguidelines of the International Union of Pure and Applied Chemistry(IUPAC)onterminology inphysical chemistry, extended by considerationsofopen systems and thermodynamicsof irreversible processes.Theconcept-driven constructive terminology incorporates the meaning of each quantity and alignsconcepts and symbols withthe nomenclature of classicalbioenergetics. We endeavour to provide a balanced view ofmitochondrial respiratory control and a critical discussion on reporting data of mitochondrial respiration in terms of metabolic flows and fluxes.Uniform standards for evaluation of respiratory states and rates will ultimatelycontribute to reproducibility between laboratories and thussupport the development of databases of mitochondrial respiratory function in species, tissues, and cells.Clarity of concept and consistency of nomenclature facilitate effective transdisciplinary communication, education, and ultimately further discovery

The CDP-Ethanolamine Pathway Regulates Skeletal Muscle Diacylglycerol Content and Mitochondrial Biogenesis without Altering Insulin Sensitivity.

Accumulation of diacylglycerol (DG) in muscle is thought to cause insulin resistance. DG is a precursor for phospholipids, thus phospholipid synthesis could be involved in regulating muscle DG. Little is known about the interaction between phospholipid and DG in muscle; therefore, we examined whether disrupting muscle phospholipid synthesis, specifically phosphatidylethanolamine (PtdEtn), would influence muscle DG content and insulin sensitivity. Muscle PtdEtn synthesis was disrupted by deleting CTP:phosphoethanolamine cytidylyltransferase (ECT), the rate-limiting enzyme in the CDP-ethanolamine pathway, a major route for PtdEtn production. While PtdEtn was reduced in muscle-specific ECT knockout mice, intramyocellular and membrane-associated DG was markedly increased. Importantly, however, this was not associated with insulin resistance. Unexpectedly, mitochondrial biogenesis and muscle oxidative capacity were increased in muscle-specific ECT knockout mice and were accompanied by enhanced exercise performance. These findings highlight the importance of the CDP-ethanolamine pathway in regulating muscle DG content and challenge the DG-induced insulin resistance hypothesis