12,753 research outputs found

    Integrated control-system design via generalized LQG (GLQG) theory

    Get PDF
    Thirty years of control systems research has produced an enormous body of theoretical results in feedback synthesis. Yet such results see relatively little practical application, and there remains an unsettling gap between classical single-loop techniques (Nyquist, Bode, root locus, pole placement) and modern multivariable approaches (LQG and H infinity theory). Large scale, complex systems, such as high performance aircraft and flexible space structures, now demand efficient, reliable design of multivariable feedback controllers which optimally tradeoff performance against modeling accuracy, bandwidth, sensor noise, actuator power, and control law complexity. A methodology is described which encompasses numerous practical design constraints within a single unified formulation. The approach, which is based upon coupled systems or modified Riccati and Lyapunov equations, encompasses time-domain linear-quadratic-Gaussian theory and frequency-domain H theory, as well as classical objectives such as gain and phase margin via the Nyquist circle criterion. In addition, this approach encompasses the optimal projection approach to reduced-order controller design. The current status of the overall theory will be reviewed including both continuous-time and discrete-time (sampled-data) formulations

    Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC

    Full text link
    We present a practically appealing extension of the probabilistic model checker PRISM rendering it to handle fixed-delay continuous-time Markov chains (fdCTMCs) with rewards, the equivalent formalism to the deterministic and stochastic Petri nets (DSPNs). fdCTMCs allow transitions with fixed-delays (or timeouts) on top of the traditional transitions with exponential rates. Our extension supports an evaluation of expected reward until reaching a given set of target states. The main contribution is that, considering the fixed-delays as parameters, we implemented a synthesis algorithm that computes the epsilon-optimal values of the fixed-delays minimizing the expected reward. We provide a performance evaluation of the synthesis on practical examples

    The Postoperative Morbidity Survey was validated and used to describe morbidity after major surgery.

    No full text
    OBJECTIVES: To describe the reliability and validity of the Postoperative Morbidity Survey (POMS). To describe the level and pattern of short-term postoperative morbidity after major elective surgery using the POMS. STUDY DESIGN AND SETTING: This was a prospective cohort study of 439 adults undergoing major elective surgery in a UK teaching hospital. The POMS, an 18-item survey that address nine domains of postoperative morbidity, was recorded on postoperative days 3, 5, 8, and 15. RESULTS: Inter-rater reliability was perfect for 11/18 items (Kappa=1.0), with Kappa=0.94 for 6/18 items. A priori hypotheses that the POMS would discriminate between patients with known measures of morbidity risk, and predict length of stay were generally supported through observation of data trends, and there was statistically significant evidence of construct validity for all but the wound and neurological domains. POMS-defined morbidity was present in 325 of 433 patients (75.1%) remaining in hospital on postoperative day 3 after surgery, 231 of 407 patients (56.8%) on day 5, 138 of 299 patients (46.2%) on day 8, and 70 of 111 patients (63.1%) on day 15. Gastrointestinal (47.4%), infectious (46.5%), pain-related (40.3%), pulmonary (39.4%), and renal problems (33.3%) were the most common forms of morbidity. CONCLUSION: The POMS is a reliable and valid survey of short-term postoperative morbidity in major elective surgery. Many patients remain in hospital without any morbidity as recorded by the POMS

    Training deep neural density estimators to identify mechanistic models of neural dynamics

    Get PDF
    Mechanistic modeling in neuroscience aims to explain observed phenomena in terms of underlying causes. However, determining which model parameters agree with complex and stochastic neural data presents a significant challenge. We address this challenge with a machine learning tool which uses deep neural density estimators-- trained using model simulations-- to carry out Bayesian inference and retrieve the full space of parameters compatible with raw data or selected data features. Our method is scalable in parameters and data features, and can rapidly analyze new data after initial training. We demonstrate the power and flexibility of our approach on receptive fields, ion channels, and Hodgkin-Huxley models. We also characterize the space of circuit configurations giving rise to rhythmic activity in the crustacean stomatogastric ganglion, and use these results to derive hypotheses for underlying compensation mechanisms. Our approach will help close the gap between data-driven and theory-driven models of neural dynamics
    corecore