The characteristics of the system of systems (SoS) present great challenges to the safety analysis of Global Navigation Satellite Systems (GNSS). Traditional safety analysis methods and techniques do not work well in a complex SoS, so new safety analysis technologies are needed to adapt to safety problems in SoS. This study first expounds upon the shortcomings of traditional safety analysis met...

In this paper, we extend the concept of control barrier functions, developed initially for continuous time systems, to the discrete-time domain. We demonstrate safety-critical control for nonlinear discrete-time systems with applications to 3D bipedal robot navigation. Particularly, we mathematically analyze two different formulations of control barrier functions, based on their continuous-time...

Audio watermarking (AW) technology is considered for stealthy information embedding directly into audio signal. Inherent in analog radiotelephone channel interferences against watermarks are analyzed. Robust encoding/decoding algorithms are presented and appropriate project of AW system named as Automatic Radio Telephone Identification System (ARTIS) is proposed. Experiment...

This paper identifies the complex ways in which technical, organisational and political constraints shape the decisions and actions taken by national and international safety organisations. In particular, we assess the interventions made by Swiss Federal agencies and by the Air Navigation Service provider (ANSP) following the Überlingen mid-air collision in July 1 2002. Later sections show that...

Safety navigation of vessels is always the most important issue in maritime field. Recently, according to increasing the use of electronic equipment onboard, the requests for safety related information services have been growing up. To support this, International Hydrographic Organization suggests the concept of common maritime data structure. Since 2010, S-100 standard and relative product spe...

This paper describes the deliberative part of a navigation architecture designed for safe vehicle navigation in dynamic urban environments. It comprises two key modules working together in a hierarchical fashion: (a) the Route Planner whose purpose is to compute a valid itinerary towards the a given goal. An itinerary comprises a geometric path augmented with additional information based on the...

A wide range of in-car computing systems are either already in existence or under development which aim to improve the safety, efficiency and the comfort/pleasure of the driving experience. Several unique forces act on the design process for this technology which must be understood by HCI researchers. In particular, this is an area in which safety concerns dominate perspectives. In this positio...