In the automotive domain the standard ISO 26262 places significant emphasis on the assignment of Automotive Safety Integrity Levels (ASILs). In particular much of Part 3 of the standard is dedicated to the process that determines the three factors that contribute to the final assigned ASIL value: exposure, severity and controllability. In this paper we examine some of the issues that the author...

Stabilization of mechanical control systems by the method of controlled Lagrangians and matching is used to analyze asymptotic stabilization of systems whose underlying dynamics are governed by the Euler-Poincaré equations. In particular, we analyze asymptotic stabilization of a satellite. Copyright c © 2000 IFAC

The paper investigates the status quo of technology and science for compiler safety methods. We consider specific requirements for compilers and generators for automotive applications and discuss established and newly emerging methods of compiler safety in this context. We put the main focus on compiler verification methods on the one hand and testing technology on the other hand and discuss th...

We show that the norm of the commutator defines “almost a metric” on the quotient space of commuting matrices, in the sense that it is a semi-metric satisfying the triangle inequality asymptotically for large matrices drawn from a “good” distribution. We provide theoretical analysis of this results for several distributions of matrices, and show numerical experiments confirming this observation.

for all x, y ∈ X and all natural numbers n, where φn : [0,∞)→ [0,∞) and limn→∞φn = φ, uniformly on any bounded interval [0,b]. Suppose that φ is upper semicontinuous and that φ(t) < t for all t > 0. Furthermore, suppose that there exists a positive integer n∗ such that φn∗ is upper semicontinuous and φn∗(0)= 0. If there exists x0 ∈ X which has a bounded orbit O(x0)= {x0,Tx0,T2x0, . . .}, then T...

It is proved that any static system that is spacetime-geodesically complete at infinity, and whose spacelike-topology outside a compact set is that of R minus a ball, is asymptotically flat. The matter is assumed compactly supported and no energy condition is required. A similar (though stronger) result applies to black holes too. This allows us to state a large generalisation of the uniqueness...

where κ(t) is the curvature of C given as a function of the arclength t and l the length of C. See also McClure and Vitale [7] and for asymptotic formulae for approximation with respect to the Hausdorff metric in higher dimensions R. Schneider [8],[9] and P.M. Gruber [5]. In this article we extend the asymptotic formulae (1) by deriving the second terms in the asymptotic expansions of δ(C,P i n...

Background: The Health & Safety Executive’s (HSE) Indicator Tool offers a measure of exposure to psychosocial work conditions that may be linked to stress-related outcomes. The HSE recommends that Indicator Tool data should be used as a basis for discussions concerned with the identification of psychosocial work conditions that might warrant prioritisation for intervention. However, operational...

Abstract In this article we combine the study of solutions PDEs with asymptotic properties via compactification domain. We define new spaces functions on which equations, prove a version Ascoli–Arzelà Theorem, develop fixed point index results necessary to existence and multiplicity in these also illustrate applicability theory an example.