Quantitative and risk-based framework for unmanned aircraft control system assurance
A generic backtracking process algorithm based on the deductive implementation of a
probabilistic Markov/cell-to-cell mapping technique is proposed for risk-informed …
probabilistic Markov/cell-to-cell mapping technique is proposed for risk-informed …
Design, formalization, and verification of decision making for intelligent systems
The development of autonomous systems requires a rigorous process that can guarantee a
system's reliability in critical applications. At its core, an autonomous system bases its …
system's reliability in critical applications. At its core, an autonomous system bases its …
[PDF][PDF] A hierarchy of finite state machines as a scenario player in interactive training of pilots in flight simulators
The paper presents the concept of a control unit, ie, a scenario player, for interactive training
pilots in flight simulators. This scenario player is modelled as a hierarchy of finite state …
pilots in flight simulators. This scenario player is modelled as a hierarchy of finite state …
Identification of risk significant automotive scenarios under hardware failures
The level of autonomous functions in vehicular control systems has been on a steady rise.
This rise makes it more challenging for control system engineers to ensure a high level of …
This rise makes it more challenging for control system engineers to ensure a high level of …