Dynamic update of discrete event controllers

Discrete event controllers are at the heart of many software systems that require continuous operation. Changing these controllers at runtime to cope with changes in its execution environment or system requirements change is a challenging open problem. In this paper we address the problem of dynamic update of controllers in reactive systems. We present a general approach to specifying correctness criteria for dynamic update and a technique for automatically computing a controller that handles the transition from the old to the new specification, assuring that the system will reach a state in which such a transition can correctly occur and in which the underlying system architecture can reconfigure. Our solution uses discrete event controller synthesis to automatically build a controller that guarantees both progress towards update and safe update

Assured and Correct Dynamic Update of Controllers

We present a general approach to specifying correctness criteria for dynamic update and a technique for automatically computing a controller that handles the transition from the old to the new specification, assuring that the system will reach a state in which such a transition can correctly occur. Indeed, using controller synthesis we show how to automatically build a controller that guarantees both progress towards update and safe update.Sociedad Argentina de Informática e Investigación Operativa (SADIO

Assured and Correct Dynamic Update of Controllers

We present a general approach to specifying correctness criteria for dynamic update and a technique for automatically computing a controller that handles the transition from the old to the new specification, assuring that the system will reach a state in which such a transition can correctly occur. Indeed, using controller synthesis we show how to automatically build a controller that guarantees both progress towards update and safe update.Sociedad Argentina de Informática e Investigación Operativa (SADIO

Assured and Correct Dynamic Update of Controllers

We present a general approach to specifying correctness criteria for dynamic update and a technique for automatically computing a controller that handles the transition from the old to the new specification, assuring that the system will reach a state in which such a transition can correctly occur. Indeed, using controller synthesis we show how to automatically build a controller that guarantees both progress towards update and safe update.Sociedad Argentina de Informática e Investigación Operativa (SADIO

Acute effects of remote ischemic preconditioning on cutaneous microcirculation - a controlled prospective cohort study

<p>Abstract</p> <p>Background</p> <p>Therapeutic strategies aiming to reduce ischemia/reperfusion injury by conditioning tissue tolerance against ischemia appear attractive not only from a scientific perspective, but also in clinics. Although previous studies indicate that remote ischemic intermittent preconditioning (RIPC) is a systemic phenomenon, only a few studies have focused on the elucidation of its mechanisms of action especially in the clinical setting. Therefore, the aim of this study is to evaluate the acute microcirculatory effects of remote ischemic preconditioning on a distinct cutaneous location at the lower extremity which is typically used as a harvesting site for free flap reconstructive surgery in a human in-vivo setting.</p> <p>Methods</p> <p>Microcirculatory data of 27 healthy subjects (25 males, age 24 ± 4 years, BMI 23.3) were evaluated continuously at the anterolateral aspect of the left thigh during RIPC using combined Laser-Doppler and photospectrometry (Oxygen-to-see, Lea Medizintechnik, Germany). After baseline microcirculatory measurement, remote ischemia was induced using a tourniquet on the contralateral upper arm for three cycles of 5 min.</p> <p>Results</p> <p>After RIPC, tissue oxygen saturation and capillary blood flow increased up to 29% and 35% during the third reperfusion phase versus baseline measurement, respectively (both p = 0.001). Postcapillary venous filling pressure decreased statistically significant by 16% during second reperfusion phase (p = 0.028).</p> <p>Conclusion</p> <p>Remote intermittent ischemic preconditioning affects cutaneous tissue oxygen saturation, arterial capillary blood flow and postcapillary venous filling pressure at a remote cutaneous location of the lower extremity. To what extent remote preconditioning might ameliorate reperfusion injury in soft tissue trauma or free flap transplantation further clinical trials have to evaluate.</p> <p>Trial registration</p> <p>ClinicalTrials.gov: <a href="http://www.clinicaltrials.gov/ct2/show/NCT01235286">NCT01235286</a></p

Autologous microsurgical breast reconstruction and coronary artery bypass grafting: an anatomical study and clinical implications

OBJECTIVE: To identify possible avenues of sparing the internal mammary artery (IMA) for coronary artery bypass grafting (CABG) in women undergoing autologous breast reconstruction with deep inferior epigastric artery perforator (DIEP) flaps. BACKGROUND: Optimal autologous reconstruction of the breast and coronary artery bypass grafting (CABG) are often mutually exclusive as they both require utilisation of the IMA as the preferred arterial conduit. Given the prevalence of both breast cancer and coronary artery disease, this is an important issue for women's health as women with DIEP flap reconstructions and women at increased risk of developing coronary artery disease are potentially restricted from receiving this reconstructive option should the other condition arise. METHODS: The largest clinical and cadaveric anatomical study (n=315) to date was performed, investigating four solutions to this predicament by correlating the precise requirements of breast reconstruction and CABG against the anatomical features of the in situ IMAs. This information was supplemented by a thorough literature review. RESULTS: Minimum lengths of the left and right IMA needed for grafting to the left-anterior descending artery are 160.08 and 177.80 mm, respectively. Based on anatomical findings, the suitable options for anastomosis to each intercostals space are offered. In addition, 87-91% of patients have IMA perforator vessels to which DIEP flaps can be anastomosed in the first- and second-intercostal spaces. CONCLUSION: We outline five methods of preserving the IMA for future CABG: (1) lowering the level of DIEP flaps to the fourth- and fifth-intercostals spaces, (2) using the DIEP pedicle as an intermediary for CABG, (3) using IMA perforators to spare the IMA proper, (4) using and end-to-side anastomosis between the DIEP pedicle and IMA and (5) anastomosis of DIEP flaps using retrograde flow from the distal IMA. With careful patient selection, we hypothesize using the IMA for autologous breast reconstruction need not be an absolute contraindication for future CABG

Assured Mission Adaptation of UAVs

The design of systems that can change their behaviour to account for scenarios that were not foreseen at design time remains an open challenge. In this paper we propose an approach for adaptation of mobile robot missions that is not constrained to a predefined set of mission evolutions. We implement an adaptive software architecture and show how controller synthesis can be used both to guarantee correct transitioning from the old to the new mission goals with runtime architectural reconfiguration to include new software actuators and sensors if necessary. The architecture brings together architectural concepts that are commonplace in robotics such as temporal planning, discrete, hybrid and continuous control layers together with architectural concepts from adaptive systems such as runtime models and runtime synthesis. We validate the architecture flying several missions taken from the robotic literature for different real and simulated UAVs