The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Unmanned aerial vehicles (UAVs) have been applied for both civilian and military applications; scientific research involving UAVs has encompassed a wide range of scientific study. However, communication with unmanned vehicles are subject to attack and compromise. Such attacks have been reported as early as 2009, when a Predator UAV's video stream was compromised. Since UAVs extensively utilize autonomous...
Verifying safety of closed-loop drug delivery systems is a crucial step to obtain regulatory approval for such devices. Recently, we proposed a safety-preserving platform to formally verify the safety of closed-loop propofol anesthesia in the presence of uncertainty in patient models. This platform verifies that closed-loop anesthesia maintains the propofol concentration within the therapeutic window...
The significant role of predicting weather conditions in daily life, the new era of innovative machine learning approaches along with the availability of high volumes of data and high computer performance capabilities, creates increasing perspectives for novel improved short-range forecasting of main meteorological parameters. Among the various algorithms for forecasting parameters, ensemble learning...
With the rapid development of inspection techniques, more emphases should be placed on the improvement of the reliability, safety and intelligence of the robot system. In this paper, a framework for the patrol robot that automatically finishes complex task and motion planning in the indoor substation is proposed. To realize real-time response to the environmental changes, the proposed framework keeps...
Safe operations in the National Airspace System (NAS) require understanding the individual failure space of avionics technologies, the joint failure space as faults propagate within the distributed environment, and a framework to quantify safety. This paper focuses on the last point, in which the safety assessment framework consists of a set of safety metrics: Loss of Separation (LoS), Traffic Collision...
Safety-critical systems in domains such as aviation, railway, and automotive are often subject to a formal process of safety certification. The goal of this process is to ensure that these systems will operate safely without posing risks to the user, the public, or the environment [1]. It is typically expensive and time consuming for companies to certify their software. Therefore, any attempt to automate...
The control performance and safety of current brain-controlled mobile robots are limited. To address this problem, in this paper, we design an assistive controller based on the model predictive control method. The proposed controller fuses tracking user intention and guaranteeing safety of brain-controlled mobile robots into an optimization problem. In this way, the proposed controller can make users...
Even highly sophisticated and reliable driver assistance systems might encounter critical situations that are outside system design capacity. This can lead to a conflict in viewpoints between the driver and automation. To evaluate the effects of such conflicts on human-machine interaction and cooperation, overall performance, and safety, an experiment was designed to determine driver responses to...
Expert drivers, which have a wealth of driving experience, can perceive deeper structures of the environment, and can adapt to a changing environment, and can therefore take a hazard-anticipatory driving behavior to increase safety margins. This study focuses on assessing the potential risk for a pedestrian who initiates a road crossing from the driver's blind areas, and we have developed an advanced...
Autonomous vehicle technology has been rapidly expanding through the incorporation of advanced driver assistance systems in many new vehicles. The integration of autonomous vehicle technology to assist and alert drivers is essential to increase driver safety. The main aim of this paper is to (1) compare real driving data from the Next Generation SIMulation I-80 dataset to an "ideal" driving...
Autonomous Driving (AD) and Advanced Driver Assistance Systems (ADAS) are being vigorously developed for improving traffic safety and transportation efficiency. AD and ADAS need to provide smooth and comfortable driving experiences to drivers and passengers as well as accommodation of other traffic. Individual drivers have different driving styles. This paper proposes a driver-adapted narrow road...
Real-time applications are usually well-defined and operate based on a particular system model. However, in practical scenarios, the applications can perform differently because of the uncertainties in the environment. The system can use video streams to capture sequential real-time information of its surroundings. The system also needs to identify various constraints that have significant effects...
Blockchain is the basic technology of bitcoin. With the value appreciation and stable operation of bitcoin, blockchain is attracting more and more attention in many areas. Blockchain has the characteristics of decentralization, stability, security, and non-modifiability. It has the potential to change the network architecture. The consensus algorithm plays a crucial role in maintaining the safety...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.