scholarly journals RiskStructures: A design algebra for risk-aware machines

Author(s):  
Mario Gleirscher ◽  
Radu Calinescu ◽  
Jim Woodcock

AbstractMachines, such as mobile robots and delivery drones, incorporate controllers responsible for a task while handling risk (e.g. anticipating and mitigating hazards; preventing and alleviating accidents). We refer to machines with this capability as risk-awaremachines. Risk awareness includes robustness and resilience and complicates monitoring (i.e., introspection, sensing, prediction), decision making, and control. From an engineering perspective, risk awareness adds a range of dependability requirements to system assurance. Such assurance mandates a correct-by-construction approach to controller design, based on mathematical theory.We introduce RiskStructures, an algebraic framework for risk modelling intended to support the design of safety controllers for risk-aware machines. Using the concept of a risk factor as a modelling primitive, this framework provides facilities to construct, examine, and assure these controllers.We prove desirable algebraic properties of these facilities, and demonstrate their applicability by using them to specify key aspects of safety controllers for risk-aware automated driving and collaborative robots.

2005 ◽  
Vol 24 (4, Suppl) ◽  
pp. S106-S110 ◽  
Author(s):  
Kevin D. McCaul ◽  
Ellen Peters ◽  
Wendy Nelson ◽  
Michael Stefanek

2012 ◽  
Vol 2012 (1) ◽  
pp. 163-192
Author(s):  
Sonja Rinofner-Kreidl

Autonomy is associated with intellectual self-preservation and self-determination. Shame, on the contrary, bears a loss of approval, self-esteem and control. Being afflicted with shame, we suffer from social dependencies that by no means have been freely chosen. Moreover, undergoing various experiences of shame, our power of reflection turns out to be severly limited owing to emotional embarrassment. In both ways, shame seems to be bound to heteronomy. This situation strongly calls for conceptual clarification. For this purpose, we introduce a threestage model of self-determination which comprises i) autonomy as capability of decision-making relating to given sets of choices, ii) self-commitment in terms of setting and harmonizing goals, and iii) self-realization in compliance with some range of persistently approved goals. Accordingly, the presuppositions and distinctive marks of shame-experiences are made explicit. Within this framework, we explore the intricate relation between autonomy and shame by focusing on two questions: on what conditions could conventional behavior be considered as self-determined? How should one characterize the varying roles of actors that are involved in typical cases of shame-experiences? In this connection, we advance the thesis that the social dynamics of shame turns into ambiguous positions relating to motivation, intentional content,and actors’ roles.


1992 ◽  
Vol 25 (3) ◽  
pp. 13-21
Author(s):  
R. L. Williamson

The American approach to environmental regulation is characterized by fragmentation of responsibilities, primary reliance on command and control regulations, extraordinary complexity, a preference for identifiable standards, and heavy resort to litigation. This system has provided important benefits, including significant reduction of environmental contamination, substantial use of science in decision-making, broad participatory rights, and the stimulation of new treatment technologies. However, these gains have been achieved at excessive cost. Too much reliance is placed on command and control methods and especially on technology-based standards. There is too much resort to litigation, and inadequate input from science. Participatory rights are being undermined, and there is a poor allocation of decision-making among the federal agencies and the states. Over-regulation sometimes leads to under-regulation, and insufficient attention is given to the impact on small entities. The responsibility for these difficulties rests with everyone, including the federal agencies, the Congress, the general public and the courts. Changes in the regulatory system are needed. We should abandon the use of technology-based standards to control toxic substances under the Clean Water Act in favor of strong health- and environmentally based standards, coupled with taxes on toxic substances in wastewater.


Author(s):  
H. Golan ◽  
A. Parush ◽  
E. Jaffe

Using a simulated Emergency Medical Services (EMS) dispatch center during multi-casualty incident management, this study explored whether the presence of a separate situation display in a Command and Control (C2) setting might require attention at the expense of attending an individual task display, and how it influenced performance and situational awareness. Overall, participants always attended the task display more than the situation display. However, the situation display drew attention at the expense of attending less the task display. The presence of the situation display was related to improved performance and better situational awareness (SA), particularly in the projection level of the SA, which could account also for the better decision-making performance. Participants may have developed an attention allocation strategy to effectively utilize the information of the situation display and execute their tasks on the task display.


2021 ◽  
pp. 1-21
Author(s):  
Muhammad Shabir ◽  
Rimsha Mushtaq ◽  
Munazza Naz

In this paper, we focus on two main objectives. Firstly, we define some binary and unary operations on N-soft sets and study their algebraic properties. In unary operations, three different types of complements are studied. We prove De Morgan’s laws concerning top complements and for bottom complements for N-soft sets where N is fixed and provide a counterexample to show that De Morgan’s laws do not hold if we take different N. Then, we study different collections of N-soft sets which become idempotent commutative monoids and consequently show, that, these monoids give rise to hemirings of N-soft sets. Some of these hemirings are turned out as lattices. Finally, we show that the collection of all N-soft sets with full parameter set E and collection of all N-soft sets with parameter subset A are Stone Algebras. The second objective is to integrate the well-known technique of TOPSIS and N-soft set-based mathematical models from the real world. We discuss a hybrid model of multi-criteria decision-making combining the TOPSIS and N-soft sets and present an algorithm with implementation on the selection of the best model of laptop.


2020 ◽  
pp. 1-7
Author(s):  
Sharif S. Aly ◽  
Betsy M. Karle ◽  
Deniece R. Williams ◽  
Gabriele U. Maier ◽  
Sasha Dubrovsky

Abstract Bovine respiratory disease (BRD) is the leading natural cause of death in US beef and dairy cattle, causing the annual loss of more than 1 million animals and financial losses in excess of $700 million. The multiple etiologies of BRD and its complex web of risk factors necessitate a herd-specific intervention plan for its prevention and control on dairies. Hence, a risk assessment is an important tool that producers and veterinarians can utilize for a comprehensive assessment of the management and host factors that predispose calves to BRD. The current study identifies the steps taken to develop the first BRD risk assessment tool and its components, namely the BRD risk factor questionnaire, the BRD scoring system, and a herd-specific BRD control and prevention plan. The risk factor questionnaire was designed to inquire on aspects of calf-rearing including management practices that affect calf health generally, and BRD specifically. The risk scores associated with each risk factor investigated in the questionnaire were estimated based on data from two observational studies. Producers can also estimate the prevalence of BRD in their calf herds using a smart phone or tablet application that facilitates selection of a true random sample of calves for scoring using the California BRD scoring system. Based on the risk factors identified, producers and herd veterinarians can then decide the management changes needed to mitigate the calf herd's risk for BRD. A follow-up risk assessment after a duration of time sufficient for exposure of a new cohort of calves to the management changes introduced in response to the risk assessment is recommended to monitor the prevalence of BRD.


2021 ◽  
Vol 13 (14) ◽  
pp. 7550
Author(s):  
Roberto Cervelló-Royo ◽  
Marina Segura ◽  
Regina García-Pérez ◽  
Baldomero Segura-García del Río

This paper examines key aspects of the behavior of housing demand from a sustainable standpoint. Most studies have mainly focused on housing supply, looking at quantitative predictions without considering the qualitative relationship found between housing values and housing demand on a sustainable and microeconomic scale. We used a multicriteria decision methodology (analytic hierarchy process—AHP) for the analysis of preferences in demand, based on the theory of multi-attribute utility of housing, to determine the relative importance of each characteristic of housing and its influence on the decision-making process. For this purpose, we carried out the study over three main groups of stakeholders in the housing market: real estate surveyors, real estate agents, and housing buyers (the latter representing the housing demand). Results show that although there might be some slight discrepancies among the three groups in the decision-making process and the weighting of housing attributes, the three groups agree in most of the process, especially when defining the criteria and the importance that each criterion has on the process of valuation. This study provides important managerial and sustainable implications for the real estate market related to urban public policy, as we highlight which criteria are most preferred.


Sign in / Sign up

Export Citation Format

Share Document