Model-Oriented Safety Analysis of Dynamic Technological Systems

2014 ◽  
Vol 474 ◽  
pp. 127-134
Author(s):  
Milan Strbo ◽  
Pavol Tanuska ◽  
Augustin Gese ◽  
Marek Korytar
Keyword(s):  
System Development ◽  
Safety Analysis ◽  
Hybrid Models ◽  
Technological Systems ◽  
Critical States ◽  
Safety Critical ◽  
Qualitative And Quantitative ◽  
Quantitative Models ◽  
Qualitative Models ◽  
On Line

The paper deals with the safety analysis for dynamic technological systems. The analysis is performed in the phase of control system development. The SQMD method has been proposed to use for safety analysis of dynamical systems. We created models for safety-critical states of system using this method. The models are divided to qualitative and quantitative. Qualitative models are created by using of fuzzy logic. There we will use the knowledge and experience of safety analysis of similar systems. Quantitative models are constructed by using of differential and difference equations. Mathematical models are verified by simulation. Hybrid models for individual safety-critical states are constructed by synthesis of qualitative and quantitative models. Finally is performed on-line monitoring and fault detection in real system by using these hybrid models.

scholarly journals The Proposal of the Process of Safety Analysis for Complex Dynamic Technology Systems

2013 ◽  
Vol 21 (Special-Issue) ◽  
pp. 104-108
Author(s):  
Milan Štrbo ◽  
Pavol Tanuška ◽  
Augustín Gese
Keyword(s):  
Control System ◽  
Dynamic Systems ◽  
Quantitative Methods ◽  
Safety Analysis ◽  
Complex Dynamic ◽  
Critical States ◽  
Safety Critical ◽  
Qualitative And Quantitative ◽  
Qualitative And Quantitative Methods ◽  
Complex Dynamic Systems

Abstract The aim of this article is the proposal of process of the safety analysis for complex dynamic systems in process of the proposal of control system for safety-critical processes. The method of safety analysis depends on various safety-critical states of system which are system are controlled by models. We propose to use the method SQMD for modeling these states. This method combines qualitative and quantitative methods of modeling states and takes advantage of both methods. The model of the proposal is shown in the diagram. The article includes detailed description of the tasks for each step of analysis.

The Dynamical Systems Safety Analysis by SQMD Method

2014 ◽  
Vol 693 ◽  
pp. 92-97
Author(s):  
Pavol Tanuska ◽  
Milan Strbo ◽  
Augustin Gese ◽  
Barbora Zahradnikova
Keyword(s):  
Dynamical System ◽  
Control System ◽  
Dynamical Systems ◽  
Critical Points ◽  
Safety Analysis ◽  
Critical System ◽  
Safety Critical ◽  
Qualitative And Quantitative ◽  
Safety Critical System

The objective of the article is to demonstrate the principle of the SQMD method concept for performing safety analysis on the example of a dynamical system. The safety analysis is performed in the process of designing a control system for safety-critical system processes. The safety analysis is aimed at using the models to monitor different critical points of the system. For the purpose of modelling, we suggest using the SQMD method combining qualitative and quantitative procedures of modelling and taking both methods advantages.

In Silico Strategy for Diagnosis of Chronic Kidney Disease

2017 ◽  
Vol 2 (1) ◽  
pp. 80-94
Author(s):  
Nikita Basant ◽  
Shikha Gupta
Keyword(s):  
Chronic Kidney Disease ◽  
Kidney Disease ◽  
Test Data ◽  
Binary Classification ◽  
High Confidence ◽  
Qualitative And Quantitative ◽  
Quantitative Models ◽  
The Third ◽  
Large Populations ◽  
Qualitative Models

Chronic kidney disease (CKD) is the third deadliest reason for mortality worldwide. An early detection of CKD would help to decelerate the loss of kidney function. Computational approaches provide opportunities to screen large populations for diagnosis of CKD. In this study, qualitative and quantitative models were developed to discriminate CKD and non-CKD subjects and to predict serum creatinine (SC) levels in populations using three simple clinical attributes as the predictors. The models were rigorously validated using stringent statistical coefficients, and applicability domains were also determined. The qualitative models yielded a binary classification accuracy >94% in test data, whereas, the quantitative models rendered a correlation (R2) of >0.94 in the test data. Values of all the statistical checks were within their respective thresholds, thus putting a high confidence in the proposed models. The proposed models can be used as the tools for screening large populations for their renal status.

The Methodology Proposal for the Model-Oriented Safety Analysis of Dynamical Systems

2014 ◽  
Vol 693 ◽  
pp. 86-91 ◽  
Author(s):  
Milan Strbo ◽  
Pavol Tanuska ◽  
Augustin Gese ◽  
Lukas Smolarik
Keyword(s):  
Control System ◽  
Dynamical Systems ◽  
Process Monitoring ◽  
System Development ◽  
Safety Analysis ◽  
System Operation ◽  
Safety Critical ◽  
Model Driven ◽  
The Individual ◽  
Critical Process

The aim of the article is to propose a methodology for implementing a model-driven safety analysis of dynamical technology systems. The safety analysis is performed in the process of control system development, especially aiming at safety-critical processes of system operation. The methodology was divided into six basic steps. The individual steps of the methodology are carried out in a hierarchical sequence. Further, roles of individual methodology steps are detailed. In the next part of the article, the principle of safety-critical process monitoring based on models is described.

Safety Analysis for Complex Dynamic Systems

2013 ◽  
Vol 404 ◽  
pp. 719-725
Author(s):  
Milan Strbo ◽  
Pavol Tanuska ◽  
Lukas Smolarik ◽  
Igor Hagara ◽  
Augustin Gese
Keyword(s):  
Control System ◽  
Dynamic Systems ◽  
Quantitative Methods ◽  
Hazard Analysis ◽  
Safety Analysis ◽  
Complex Dynamic ◽  
Safety Critical ◽  
Qualitative And Quantitative ◽  
Qualitative And Quantitative Methods ◽  
Complex Dynamic Systems

The content of this article is the proposal of process of the safety analysis for complex dynamic systems. The safety analysis is carried out in process of the proposal of control system for safety-critical processes. In preliminary hazard analysis is done the identifying all possible risks by PHI method. The PHA method is used to analyze these risks. The method of safety analysis depends on various safety-critical states of system which are system are controlled by models. We propose to use the method SQMD for modeling these states. This method combines qualitative and quantitative methods of modeling states and takes advantage of both methods. The model of the proposal is shown in the diagram. The article includes detailed description of the tasks for each step of analysis.

The study of mixed assets allocation based on Black–Litterman model

2021 ◽  
pp. 2150022
Author(s):  
Jianwu Lin ◽  
Mengwei Tang ◽  
Jiachang Wang ◽  
Ping He
Keyword(s):  
Stock Market ◽  
Asset Allocation ◽  
Private Equity ◽  
Equity Market ◽  
Research Topic ◽  
Allocation Model ◽  
Quantitative Models ◽  
Challenging Research ◽  
Qualitative Models ◽  
New Type

With Private Funds having a new type of license for asset allocation practice in China, comprehensive asset allocation cross private equity and stock market has received more attention. However, most of the studies focus more on the stock market, and asset allocation models for private equity market that are mainly made based on experience. Thus, the joint allocation of assets crosses both markets making it a challenging research topic. This paper introduces the Black–Litterman model into the private equity market, realizing the transition from qualitative models to quantitative models. It lays a solid quantitative ground for the mixed asset allocation model in both the markets.

scholarly journals Model-driven Design-Runtime Interaction in Safety Critical System Development: an Experience Report.

2019 ◽  
Vol 18 (2) ◽  
pp. 1:1 ◽  
Author(s):  
Romina Eramo ◽  
Florent Marchand de Kerchove ◽  
Maximilien Colange ◽  
Michele Tucci ◽  
Julien Ouy ◽  
...  
Keyword(s):  
System Development ◽  
Experience Report ◽  
Critical System ◽  
Safety Critical ◽  
Model Driven ◽  
Safety Critical System
Sign in / Sign up

Export Citation Format

Share Document