Robust fractional order PI control for cardiac output stabilisation

Drug regulatory paradigms are dependent on the hemodynamic system as it serves to distribute and clear the drug in/from the body. While focusing on the objective of the drug paradigm at hand, it is important to maintain stable hemodynamic variables. In this work, a biomedical application requiring robust control properties has been used to illustrate the potential of an autotuning method, referred to as the fractional order robust autotuner. The method is an extension of a previously presented autotuning principle and produces controllers which are robust to system gain variations. The feature of automatic tuning of controller parameters can be of great use for data-driven adaptation during intra-patient variability conditions. Fractional order PI/PD controllers are generalizations of the well-known PI/PD controllers that exhibit an extra parameter usually used to enhance the robustness of the closed loop system. (C) 2019, IFAC (International Federation of Automatic Control) Hosting by Elsevier Ltd. All rights reserved

Adaptive feedback analysis and control of programmable stimuli for assessment of cerebrovascular function

The assessment of cerebrovascular regulatory mechanisms often requires flexibly controlled and precisely timed changes in arterial blood pressure (ABP) and/or inspired CO2. In this study, a new system for inducing variations in mean ABP was designed, implemented and tested using programmable sequences and programmable controls to induce pressure changes through bilateral thigh cuffs. The system is also integrated with a computer-controlled switch to select air or a CO2/air mixture to be provided via a face mask. Adaptive feedback control of a pressure generator was required to meet stringent specifications for fast changes, and accuracy in timing and pressure levels applied by the thigh cuffs. The implemented system consists of a PC-based signal analysis/control unit, a pressure control unit and a CO2/air control unit. Initial evaluations were carried out to compare the cuff pressure control performances between adaptive and non-adaptive control configurations. Results show that the adaptive control method can reduce the mean error in sustaining target pressure by 99.57 % and reduce the transient time in pressure increases by 45.21 %. The system has proven a highly effective tool in ongoing research on brain blood flow control

Collaborative Verification-Driven Engineering of Hybrid Systems

Hybrid systems with both discrete and continuous dynamics are an important model for real-world cyber-physical systems. The key challenge is to ensure their correct functioning w.r.t. safety requirements. Promising techniques to ensure safety seem to be model-driven engineering to develop hybrid systems in a well-defined and traceable manner, and formal verification to prove their correctness. Their combination forms the vision of verification-driven engineering. Often, hybrid systems are rather complex in that they require expertise from many domains (e.g., robotics, control systems, computer science, software engineering, and mechanical engineering). Moreover, despite the remarkable progress in automating formal verification of hybrid systems, the construction of proofs of complex systems often requires nontrivial human guidance, since hybrid systems verification tools solve undecidable problems. It is, thus, not uncommon for development and verification teams to consist of many players with diverse expertise. This paper introduces a verification-driven engineering toolset that extends our previous work on hybrid and arithmetic verification with tools for (i) graphical (UML) and textual modeling of hybrid systems, (ii) exchanging and comparing models and proofs, and (iii) managing verification tasks. This toolset makes it easier to tackle large-scale verification tasks

An intracardiac electrogram model to bridge virtual hearts and implantable cardiac devices

Virtual heart models have been proposed to enhance the safety of implantable cardiac devices through closed loop validation. To communicate with a virtual heart, devices have been driven by cardiac signals at specific sites. As a result, only the action potentials of these sites are sensed. However, the real device implanted in the heart will sense a complex combination of near and far-field extracellular potential signals. Therefore many device functions, such as blanking periods and refractory periods, are designed to handle these unexpected signals. To represent these signals, we develop an intracardiac electrogram (IEGM) model as an interface between the virtual heart and the device. The model can capture not only the local excitation but also far-field signals and pacing afterpotentials. Moreover, the sensing controller can specify unipolar or bipolar electrogram (EGM) sensing configurations and introduce various oversensing and undersensing modes. The simulation results show that the model is able to reproduce clinically observed sensing problems, which significantly extends the capabilities of the virtual heart model in the context of device validation

Business Case and Technology Analysis for 5G Low Latency Applications

A large number of new consumer and industrial applications are likely to change the classic operator's business models and provide a wide range of new markets to enter. This article analyses the most relevant 5G use cases that require ultra-low latency, from both technical and business perspectives. Low latency services pose challenging requirements to the network, and to fulfill them operators need to invest in costly changes in their network. In this sense, it is not clear whether such investments are going to be amortized with these new business models. In light of this, specific applications and requirements are described and the potential market benefits for operators are analysed. Conclusions show that operators have clear opportunities to add value and position themselves strongly with the increasing number of services to be provided by 5G.Comment: 18 pages, 5 figure