180,313 Hits in 7.2 sec

Context Aware Middleware Model for Handling Vehicular Safety Issues

2012 Journal of Computer Science  
Problem statement: This study proposed a mathematical model for the existing framework InVANET; context prediction and simulation for vehicle safety.  ...  Conclusion: The importance of middleware and modeling is discussed and simulation shows the performance of the proposed model for handling vehicle safety issues.  ...  Acknowledgments are due to for encouraging us to carry out the research, Carsim ( and Net Research Lab forum ( members for guiding and helping in setting  ... 
doi:10.3844/jcssp.2012.1244.1252 fatcat:o5q5y3t4vbaxnkpu26i6dkmfcy

A paradigm for safe adaptation of collaborating robots

Emilia Cioroaica, Barbora Buhnova, Emrah Tomur
2022 Proceedings of the 17th Symposium on Software Engineering for Adaptive and Self-Managing Systems  
Adjusting to the needs and opportunities of fast AI development within digital ecosystems, in this paper, we envision a novel method and framework for runtime predictive evaluation of intelligent robots  ...  The dynamic forces that transit back and forth traditional boundaries of system development have led to the emergence of digital ecosystems.  ...  Information Infrastructures Center of Excellence" (No.  ... 
doi:10.1145/3524844.3528061 fatcat:dxcnxhutrfhldbzo7ckf5wl2li

Dynamic Models in Atmospheric Monitoring Signal Evaluation for Safety, Health and Cost Benefits

G. L. Danko, W. K. Asante, D. Bahrami, C. Stewart
2019 Mining Metallurgy & Exploration  
A dynamic, numerical ventilation model with heat and gas contaminant simulation components is used for the analysis of atmospheric data.  ...  Several mine examples are studied using controlled, synthetic data for malfunction simulations to evaluate time delays between the detection time of suspicious signal trends and the time of dangerous threshold  ...  Acknowledgments A research grant from National Institute of Occupational Safety and Health (NIOSH), USA, is gratefully recognized for the MULTIFLUX model tests in the "Assessing, Modeling, and Cooling  ... 
doi:10.1007/s42461-019-0099-x fatcat:dfa65vnlkjes5jsoycficfveam

A Verification Framework for Certifying Learning-Based Safety-Critical Aviation Systems [article]

Ali Baheri, Hao Ren, Benjamin Johnson, Pouria Razzaghi, Peng Wei
2022 arXiv   pre-print
We present a safety verification framework for design-time and run-time assurance of learning-based components in aviation systems. Our proposed framework integrates two novel methodologies.  ...  From the run-time assurance perspective, we propose reachability- and statistics-based online monitoring and safety guards for a learning-based decision-making model to complement the offline verification  ...  Formal methods have been widely used for the safety verification of safety-critical autonomous systems.  ... 
arXiv:2205.04590v2 fatcat:gq73ubvlajb5dbjpwlrnvur7o4

Numerical Analysis on Parameters Adjustment of Smoke Control System in a Complicated Underground Commercial Zone

De Wen Li, Jing Zhao Zhang
2013 Applied Mechanics and Materials  
The required safety egress time is calculated based on the data of actual simulation exercises and numerical simulation by Building EXODUS.  ...  The technical parameters adjustment of smoke control system in a complicated underground commercial zone is studied by numerical simulations.  ...  Numerical Simulation Prediction of the Available Safety Egress Times.  ... 
doi:10.4028/ fatcat:i4cpjkg76rg53mkdwb2m2ehuba

Simulation Assisted Safety Impact Analyses for Signalized Urban Intersections

Michael Haberl, Martin Fellendorf, Harald Kolk, Ernst Tomasch
2018 Zenodo  
This study primarily investigates the combination of a microscopic traffic flow simulation and a crash prediction model to develop effective surrogate safety assessment measures at signalized urban intersections  ...  This approach enables the early identification of safety risks in traffic flow and can be utilized for risk assessment of different traffic sites as part of road safety audits by identifying the probability  ...  Acknowledgements This study is part of the project IMPROVE and is financially supported by the FFG, the Austrian Research Promotion Agency of the Austrian Federal Ministry for Transport, Innovation and  ... 
doi:10.5281/zenodo.1445957 fatcat:tnmgwk3rszchlghov7hbai7bpy

DeepGuard: A Framework for Safeguarding Autonomous Driving Systems from Inconsistent Behavior [article]

Manzoor Hussain, Nazakat Ali, Jang-Eui Hong
2022 arXiv   pre-print
This study proposes an autoencoder and time series analysis based anomaly detection system to prevent the safety critical inconsistent behavior of autonomous vehicles at runtime.  ...  Our simulation results show that the best variant of DeepGuard can predict up to 93 percent on the CHAUFFEUR ADS, 83 percent on DAVE2 ADS, and 80 percent of inconsistent behavior on the EPOCH ADS model  ...  Acknowledgement This work is supported by the Korea National Research Foundation of the Ministry of ICT and Science (NRF2020R1A2C1007571).  ... 
arXiv:2111.09533v2 fatcat:abzgzqsjmvgk7gjezhs4fmzgha

A modelling and simulation based process for dependable systems design

Miriam Zia, Sadaf Mustafiz, Hans Vangheluwe, Jörg Kienzle
2007 Journal of Software and Systems Modeling  
We introduce a modelling and simulation based approach which allows for the analysis and prediction of dependability constraints.  ...  In our model-based development process, modelling, simulation and eventual deployment of the system are seamlessly integrated. HRT-HOOD.  ...  We plan to further investigate a generic process for the analysis and design of dependable systems.  ... 
doi:10.1007/s10270-007-0050-3 fatcat:ilz4qdckgbannbvftjtynknxem

Novel Approach to Ensure Safe Power Supply for Safety-Relevant Consumers

Lars Braun, Minh Le, Jürgen Motz, Kai Peter Birke
2022 Batteries  
Using simulation, first the beginning of a drive cycle is simulated to determine the state of the powernet, and afterwards a critical driving maneuver is simulated to validate the predicted minimum terminal  ...  A potential risk is undervoltage for a safety-relevant consumer, which leads to its fault.  ...  In this case, there is only a short time left for the driver to react accordingly, which can be safety critical.  ... 
doi:10.3390/batteries8050047 fatcat:erk6t5bx7jcfzomr5cfg6csmtq

From Simulation to Runtime Verification and Back: Connecting Single-Run Verification Techniques

Kristin Yvonne Rozier
2019 2019 Spring Simulation Conference (SpringSim)  
Modern safety-critical systems, such as aircraft and spacecraft, crucially depend on rigorous verification, from design time to runtime.  ...  ABSTRACT Modern safety-critical systems, such as aircraft and spacecraft, crucially depend on rigorous verification, from design time to runtime.  ...  Jones, Giles Reger, and Joseph Zambreno for constructive feedback on earlier drafts of this paper.  ... 
doi:10.23919/springsim.2019.8732915 dblp:conf/springsim/Rozier19 fatcat:xpkq4w5lf5b3xbpq2wzoizvtqi

Improving glycemic control in critically ill patients: personalized care to mimic the endocrine pancreas

J. Geoffrey Chase, Thomas Desaive, Julien Bohe, Miriam Cnop, Christophe De Block, Jan Gunst, Roman Hovorka, Pierre Kalfon, James Krinsley, Eric Renard, Jean-Charles Preiser
2018 Critical Care  
Finally, we provide a set of concise recommendations to advance the safety, quality, consistency, and clinical uptake of GC in critical care.  ...  The review is structured around the specific clinical hurdles of: understanding the patient's metabolic state; designing GC to fit clinical practice, safety, efficacy, and workload; and the need for standardized  ...  Simulations are only valid for predicting cohort-level responses, such as average glycemia and variability, safety from hypoglycemia, and required insulin/nutrition inputs.  ... 
doi:10.1186/s13054-018-2110-1 pmid:30071851 pmcid:PMC6091026 fatcat:wvgjjvm36zfavmubpfbrpnjjna

Integrated Systems Health Management to Achieve Autonomy in Complex Systems [chapter]

Gautam Biswas, Eric J. Manders
2007 Fault Detection, Supervision and Safety of Technical Processes 2006  
For safety-critical systems, ISHM must maintain safe operations while increasing availability by preserving functionality and minimizing downtime.  ...  By incorporating physics of failure models into component models the dynamic behavior of a failing or degrading system can be derived by simulation.  ...  Simulating complex models is fairly resource intensive. Here the ability to customize the system models based on needs is critical.  ... 
doi:10.1016/b978-008044485-7/50192-5 fatcat:2cnv4kikizduhm53scqxax3hre

Safety-Critical Model Predictive Control with Discrete-Time Control Barrier Function [article]

Jun Zeng, Bike Zhang, Koushil Sreenath
2021 arXiv   pre-print
In order to obtain safe optimal performance in the context of set invariance, we present a safety-critical model predictive control strategy utilizing discrete-time control barrier functions (CBFs), which  ...  guarantees system safety and accomplishes optimal performance via model predictive control.  ...  ACKNOWLEDGEMENT We would like to thank Ugo Rosolia for his insightful discussions.  ... 
arXiv:2007.11718v3 fatcat:t2scd35amvctvofx7hx5al37na

Data-driven Adaptive Safety Monitoring Using Virtual Subjects in Medical Cyber-Physical Systems: A Glucose Control Case Study

Sanjian Chen, Oleg Sokolsky, James Weimer, Insup Lee
2016 Journal of Computing Science and Engineering  
The proposed monitor predicts safety-critical events at run-time using only clinically available measurements. We apply the technique to a surgical glucose control case study.  ...  The proposed monitor predicts safety-critical events at run-time using only clinically available measurements. We apply the technique to a surgical glucose control case study.  ...  (Operations Director) at HUP for advising us with expert knowledge, providing data, and helping with clinical interpretation of our results.  ... 
doi:10.5626/jcse.2016.10.3.75 fatcat:qxo5m327arbttn7r3q6ezsv35q

Simulation Model Based Response Management Related to Railway (Earthquake) Disaster

Sergey Kinzhikeyev, József Rohács, Dániel Rohács, Anita Boros
2021 Periodica polytechnica. Civil engineering  
The novelty includes a new approach in the identification of the critical infrastructure, the risk assessment, the prediction of aftershocks and the recursive application of the adaptive Markov process  ...  After the concept inspiration, the paper describes the applicable novel models and introduces an improved response management being developed for railway systems, damaged by earthquakes.  ...  This method uses 4 random values, 2 for Monte Carlo simulation and 2 for the prediction of the location.  ... 
doi:10.3311/ppci.17578 fatcat:c5ikui7arjb45exxderaqhwd44
« Previous Showing results 1 — 15 out of 180,313 results