It was shown in former publications that, in principle, the design of a distributed control system according to IEC 61499 could be proven to be correct. An implementation of such a control system should run correctly....
详细信息
ISBN:
(纸本)9781424468508
It was shown in former publications that, in principle, the design of a distributed control system according to IEC 61499 could be proven to be correct. An implementation of such a control system should run correctly. But there are known issues regarding the specification and implementation of IEC 61499 function blocks execution models, which cause a verified control system design does not necessarily resulting in an implementation with the desired behavior. Another issue influencing the verification process is the granularity of the formal models used for verification. Bringing more plant properties (i.e. time related) into formal models for closed-loop verification will improve the verification process and reliability in its result. In this contribution the authors want to draft a way of covering the above-mentioned issues using the known Net Condition/Event Systems (NCES) as formal models.
About 30%-40% of Type 1 Diabetes (T1D) patients in the United States use insulin pumps. Current insulin infusion systems require users to manually input meal carb count and approve or modify the system-suggested meal ...
详细信息
ISBN:
(纸本)9781467395489
About 30%-40% of Type 1 Diabetes (T1D) patients in the United States use insulin pumps. Current insulin infusion systems require users to manually input meal carb count and approve or modify the system-suggested meal insulin dose. Users can give correction insulin boluses at any time. Since meal carbohydrates and insulin are the two main driving forces of the glucose physiology, the user-specific eating and pump-using behavior has a great impact on the quality of glycemic control. In this paper, we propose an "Eat, Trust, and Correct" (ETC) framework to model the T1D insulin pump users' behavior. We use machine learning techniques to analyze the user behavior from a clinical dataset that we collected on 55 T1D patients who use insulin pumps. We demonstrate the usefulness of the ETC behavior modeling framework by performing in silico experiments. To this end, we integrate the user behavior model with an individually parameterized glucose physiological model, and perform probabilistic model checking on the user-in-the-loop system. The experimental results show that switching behavior types can significantly improve a patient's glycemic control outcomes. These analysis results can boost the effectiveness of T1D patient education and peer support.
Neural network controllers are currently being proposed for use in many safety-critical tasks. Most analysis methods for neural network control systems assume a fixed control period. In control theory, higher frequenc...
详细信息
ISBN:
(纸本)9783031651113;9783031651120
Neural network controllers are currently being proposed for use in many safety-critical tasks. Most analysis methods for neural network control systems assume a fixed control period. In control theory, higher frequency usually improves performance. However, for current analysis methods, increasing the frequency complicates verification. In the limit, when actuation is performed continuously, no existing neural network control systems verification methods are able to analyze the system. In this work, we develop the first verification method for continuously-actuated neural network control systems. We accomplish this by adding a level of abstraction to model the neural network controller. The abstraction is a piecewise linear model with added noise to account for local linearization error. The soundness of the abstraction can be checked using open-loop neural network verification tools, although we demonstrate bottlenecks in existing tools when handling the required specifications. We demonstrate the approach's efficacy by applying it to a vision-based autonomous airplane taxiing system and compare with a fixed frequency analysis baseline.
In load model verification process, the accuracy of model and its parameters makes the actual operating conditions unable to reappear in simulation. The information deviation between measured data and verifiable simul...
详细信息
There has always been an opaque link between economic and control performance in process intensification. In fact, whether the excessive interactions produced by intensification are detrimental or beneficial hinged up...
详细信息
There has always been an opaque link between economic and control performance in process intensification. In fact, whether the excessive interactions produced by intensification are detrimental or beneficial hinged upon the specific circumstances. This gives rise to a systematic approach to controllability analysis, which is discussed on two extractive distillation examples with preconcentration. The detailed frequency domain dependent open-loop controllability analyses are first carried out to investigate set-point tracking and load rejection performance. The closed-loop validation in time domain is then performed. The results show that the remarks of the open-loop analysis are correct in determining the control structure and are ambiguous in loads rejection. Further, a surrogate-based intentional control strategy is applied, faster in response and greater in robustness than the conventional fixed sensitive tray temperature strategy, well similar in energy consumption, under simultaneous disturbances in multiple operation conditions and product specifications.
暂无评论