A highly autonomous system (HAS) has to assess the situation it is in and derive beliefs, based on which, decides what do next. The beliefs are not solely observations HAS made so far, but also general insights about world, which operates. These have either been built during design or provided by trusted sources its mission. Although may be imprecise might bear flaws, will extrapolate possible ...

This paper presents an overview of the state art for safety-critical optimal control autonomous systems. Optimal methods are well studied, but become computationally infeasible real-time applications when there multiple hard safety constraints involved. To guarantee such constraints, it has been shown that optimizing quadratic costs while stabilizing affine systems to desired (sets of) states s...

Abstract This study attempts to bridge the gap in empirical and philosophical research on lethal autonomous weapons systems (LAWS), through a survey of attitudes using experimental methods. “LAWS” refer “fully weapons” that can set attack targets without human involvement are lethal. Based previous research, we conducted randomized controlled experiment create, present, collect responses scenar...

This paper describes the development of an ontology for autonomous systems, as the initial stage of a research programme on autonomous systems' engineering within a model-based control approach. The ontology aims at providing a unified conceptual framework for the autonomous systems' stakeholders, from developers to software engineers. The modular ontology contains both generic and domain-speci...