Search
Search Results
-
The Safety Problem for Nonlinear Systems with Delay in Terms of Barrier Functions
We study the safety problem for nonlinear nonautonomous systems described by the Cauchy problem for differential equation with delay with ordinary...
-
Multi-Period Telser’s Safety-First Portfolio Selection Problem in a Defined Contribution Pension Plan
This paper investigates a multi-period portfolio optimization problem for a defined contribution pension plan with Telser’s safety-first criterion....
-
Assessing Safety for Control Systems Using Sum-of-Squares Programming
In this chapter we introduce the concept of safety for control systems in both continuous and discrete time form. Given a system and a safe set, we... -
Safety Control of a Class of Fully Actuated Systems Subject to Uncertain Actuation Dynamics
Safety is an essential requirement for control systems. Typically, controlled mobile robots are subject to safety constraints, to which control laws...
-
Reachable Set Estimation and Safety Verification of Nonlinear Systems via Iterative Sums of Squares Programming
In this paper, the problems of forward reachable set estimation and safety verification of uncertain nonlinear systems with polynomial dynamics are...
-
Safety-Critical Optimal Control for Autonomous Systems
This paper presents an overview of the state of the art for safety-critical optimal control of autonomous systems. Optimal control methods are well...
-
Supervisory controller synthesis and implementation for safety PLCs
The development of supervisory controllers for cyber-physical systems is a laborious and error-prone process. Supervisor synthesis enables control...
-
Improving Biological Safety on Ships Using Nanotechnology
Nanotechnology has recently emerged as a rapidly growing field with numerous biomedical science applications. In 2013 started an investigation to use... -
Modification of Safety Level Assessment Methods in Air Traffic Services Using ADS-B
AbstractIn the document of the Radio Technical Commission for Aeronautics (RTCA) [
1 ], a methodology has been developed for the flight safety level... -
A Qualitative Counterpart of Belief Functions with Application to Uncertainty Propagation in Safety Cases
Critical systems such as those developed in the aerospace, railway or automotive industries need official documents to certify their safety via... -
Safety-first portfolio selection
Das, Markowitz, Scheid, and Statman (2010) introduced portfolio optimization with mental accounts (POMA), which connects modern investment theory...
-
Controlled Semi-Markov Processes with Constraints on Control Strategies and Construction of Optimal Strategies in Reliability and Safety Models
AbstractWe study the structure of a distribution for which a linear fractional functional attains an extremum in the case of uncountably many...
-
Occupational health and safety risk assessment using an integrated SWARA-MABAC model under bipolar fuzzy environment
Occupational health and safety (OHS) is a systemic and multidisciplinary activity for anticipating, recognizing, evaluating and controlling the...
-
Modelling and Simulation for Preclinical Cardiac Safety Assessment of Drugs with Human iPSC-Derived Cardiomyocytes
As a potentially life threatening side effect, pharmaceutical compounds may trigger cardiac arrhythmias by impeding the heart’s electrical and...
-
Reachability and Safety Objectives in Markov Decision Processes on Long but Finite Horizons
We consider discrete-time Markov decision processes in which the decision maker is interested in long but finite horizons. First we consider...
-
SDN Controller Scheduling Decision Mechanism Based on Mimic Defense Affects Safety
Nowadays, with complex network structures, diversified network equipment, and diversified network applications, more and more complex functions and... -
Year 2019 ForHLR II HPC Experience Under the Project “High-Performance Monte Carlo Methods for SAFETY Demonstration-From Proof of Concept to Realistic Safety Analysis and Industry Applications (McSAFE)”
Driven by the growing interest in the nuclear industry in high-fidelity simulations for design and safety analysis of nuclear reactors, the EU... -
An Approach to Ensuring Vortex Safety of an Aircraft
AbstractThe paper aims to create a mathematical model of a wake vortex behind a civil aircraft and to determine the parameters of a flight zone that...
-
Reliability and Numerical Analysis of a Robot Safety System
This paper discusses a model for a repairable robot safety system composed of a safety component and two redundant robots according to a semi-group...
-
An Analysis of Safety and Health Issues in Agriculture Towards Work Automation
Agriculture is a sector which employs a plethora of workers worldwide and has experienced a lot of technological advances that has improved the...