329 research outputs found

    From Uncertainty Data to Robust Policies for Temporal Logic Planning

    Full text link
    We consider the problem of synthesizing robust disturbance feedback policies for systems performing complex tasks. We formulate the tasks as linear temporal logic specifications and encode them into an optimization framework via mixed-integer constraints. Both the system dynamics and the specifications are known but affected by uncertainty. The distribution of the uncertainty is unknown, however realizations can be obtained. We introduce a data-driven approach where the constraints are fulfilled for a set of realizations and provide probabilistic generalization guarantees as a function of the number of considered realizations. We use separate chance constraints for the satisfaction of the specification and operational constraints. This allows us to quantify their violation probabilities independently. We compute disturbance feedback policies as solutions of mixed-integer linear or quadratic optimization problems. By using feedback we can exploit information of past realizations and provide feasibility for a wider range of situations compared to static input sequences. We demonstrate the proposed method on two robust motion-planning case studies for autonomous driving

    Towards a Hand Exoskeleton for a Smart EVA Glove

    Get PDF
    In this paper we investigate the key factors associated with the realization of a hand exoskeleton that could be embedded in an astronaut glove for EVA (Extra Vehicular Activities). Such a project poses several and varied problems, mainly due to the complex structure of the human hand and to the extreme environment in which the glove operates. This work provides an overview of existing exoskeletons and their related technologies and lays the ground for the forthcoming prototype realization, by presenting a preliminary analysis of possible solutions in terms of mechanical structure, actuators and sensors

    Algorithm Engineering in Robust Optimization

    Full text link
    Robust optimization is a young and emerging field of research having received a considerable increase of interest over the last decade. In this paper, we argue that the the algorithm engineering methodology fits very well to the field of robust optimization and yields a rewarding new perspective on both the current state of research and open research directions. To this end we go through the algorithm engineering cycle of design and analysis of concepts, development and implementation of algorithms, and theoretical and experimental evaluation. We show that many ideas of algorithm engineering have already been applied in publications on robust optimization. Most work on robust optimization is devoted to analysis of the concepts and the development of algorithms, some papers deal with the evaluation of a particular concept in case studies, and work on comparison of concepts just starts. What is still a drawback in many papers on robustness is the missing link to include the results of the experiments again in the design

    Short term outcomes of total arterial coronary revascularization in patients above 65 years: a propensity score analysis

    Get PDF
    <p>Abstract</p> <p>Background</p> <p>Despite the advantages of bilateral mammary coronary revascularization, many surgeons are still restricting this technique to the young patients. The objective of this study is to demonstrate the safety and potential advantages of bilateral mammary coronary revascularization in patients older than 65 years.</p> <p>Methods</p> <p>Group I included 415 patients older than 65 years with exclusively bilateral mammary revascularization. Using a propensity score we selected 389 patients (group II) in whom coronary bypass operations were performed using the left internal mammary artery and the great saphenous vein.</p> <p>Results</p> <p>The incidence of postoperative stroke was higher in group II (1.5% vs. 0%, P = 0.0111). The amount of postoperative blood loss was higher in group I (908 ± 757 ml vs. 800 ± 713 ml, P = 0.0405). There were no other postoperative differences between both groups.</p> <p>Conclusion</p> <p>Bilateral internal mammary artery revascularization can be safely performed in patients older than 65 years. T-graft configuration without aortic anastomosis is particularly beneficial in this age group since it avoids aortic manipulation, which is an important risk factor for postoperative stroke.</p

    Average flow constraints and stabilizability in uncertain production-distribution systems

    Get PDF
    We consider a multi-inventory system with controlled flows and uncertain demands (disturbances) bounded within assigned compact sets. The system is modelled as a first-order one integrating the discrepancy between controlled flows and demands at different sites/nodes. Thus, the buffer levels at the nodes represent the system state. Given a long-term average demand, we are interested in a control strategy that satisfies just one of two requirements: (i) meeting any possible demand at each time (worst case stability) or (ii) achieving a predefined flow in the average (average flow constraints). Necessary and sufficient conditions for the achievement of both goals have been proposed by the authors. In this paper, we face the case in which these conditions are not satisfied. We show that, if we ignore the requirement on worst case stability, we can find a control strategy driving the expected value of the state to zero. On the contrary, if we ignore the average flow constraints, we can find a control strategy that satisfies worst case stability while optimizing any linear cost on the average control. In the latter case, we provide a tight bound for the cost
    corecore