Formal Methods in Resilient Systems Design: Application to Multi-UAV System-of-Systems Control

2017 ◽  
pp. 407-418 ◽  
Author(s):  
Azad M. Madni ◽  
Michael W. Sievers ◽  
James Humann ◽  
Edwin Ordoukhanian ◽  
Barry Boehm ◽  
...  
Keyword(s):  
Formal Methods ◽  
Systems Design ◽  
System Of Systems ◽  
Systems Control ◽  
Multi Uav

scholarly journals Strategic risk dominance in collective systems design

2019 ◽  
Vol 5 ◽  
Author(s):  
Paul T. Grogan ◽  
Ambrosio Valencia-Romero
Keyword(s):  
Systems Design ◽  
System Of Systems ◽  
Decision Makers ◽  
Organizational Boundaries ◽  
System Architectures ◽  
Risk Dominance ◽  
Strategic Risk ◽  
Level Problem ◽  
The Stability ◽  
Design Scenario

Engineered system architectures leveraging collaboration among multiple actors across organizational boundaries are envisioned to be more flexible, robust, or efficient than independent alternatives but also carry significant downside risks from new interdependencies added between constituents. This paper transitions the concept of risk dominance from equilibrium selection in game theory to engineering design as a strategic measure of collective stability for system of systems. A proposed method characterizes system design as a bi-level problem with two or more asymmetric decision-makers. A measure of risk dominance assesses strategic dynamics with respect to the stability of joint or collaborative architectures relative to independent alternatives using a novel linearization technique to approximate linear incentives among actors. An illustrative example case for an asymmetric three-player design scenario shows how strategic risk dominance can identify and mitigate architectures with unstable risk-reward dynamics.

scholarly journals Transdisciplinary System of Systems Development in the Trend to X4.0

2020 ◽  
Author(s):  
John P.T. Mo ◽  
Ronald C. Beckett
Keyword(s):  
Internet Of Things ◽  
Industry 4.0 ◽  
Systems Design ◽  
System Of Systems ◽  
Systems Perspective ◽  
Platform Process ◽  
Quality Water ◽  
High Level ◽  
World Environment ◽  
The Internet Of Things

Since the announcement of Industry 4.0 in 2012, multiple variants of this industry paradigm have emerged and built on the common platform of Internet of Things. Traditional engineering driven industries such as aerospace and automotive are able to align with Industry 4.0 and operate on requirements of the Internet of Things platform. Process driven industries such as water treatment and food processing are more influenced by societal perspectives and evolve into Water 4.0 or Dairy 4.0. In essence, the main outcomes of these X4.0 (where X can be any one of Quality, Water or a combination of) paradigms are facilitating communications between socio-technical systems and accumulating large amount of data. As the X4.0 paradigms are researched, defined, developed and applied, many real examples in industries have demonstrated the lack of system of systems design consideration, e.g. the issue of training together with the use of digital twin to simulate operation scenarios and faults in maintenance may lag behind events triggered in the hostile real world environment. This paper examines, from a high level system of systems perspective, how transdisciplinary engineering can incorporate data quality on the often neglected system elements of people and process while adapting applications to operate within the X4.0 paradigms.

Bio-Inspired Heuristic Network Configuration in Air Transportation System-of-Systems Design Optimization

2017 ◽  
Vol 139 (8) ◽  
Author(s):  
Ibrahim M. Chamseddine ◽  
Michael Kokkolaras
Keyword(s):  
Design Optimization ◽  
Systems Design ◽  
Air Transportation ◽  
Transportation System ◽  
System Of Systems ◽  
Network Configuration ◽  
Route Network ◽  
Blackbox Optimization ◽  
City Network ◽  
Optimization Loop

Previous work in air transportation system-of-systems (ATSoSs) design optimization considered integrated aircraft sizing, fleet allocation, and route network configuration. The associated nested multidisciplinary formulation posed a numerically challenging blackbox optimization problem; therefore, direct search methods with convergence properties were used to solve it. However, the complexity of the blackbox impedes greatly the solution of larger-scale problems, where the number of considered nodes in the route network is high. The research presented here adopts a rule-based route network design inspired by biological transfer principles. This bio-inspired approach decouples the network configuration problem from the optimization loop, leading to significant numerical simplifications. The usefulness of the bio-inspired approach is demonstrated by comparing its results to those obtained using the nested formulation for a 15 city network. We then consider introduction of new aircraft as well as a larger problem with 20 cities.

Pseudo-Hierarchical Multistage Model for System of Systems Design and Operations

2007 ◽  
Author(s):  
Harrison M. Kim ◽  
I. Jessica Hidalgo
Keyword(s):  
Decision Making ◽  
Design Optimization ◽  
System Design ◽  
Systems Design ◽  
System Of Systems ◽  
Sequential Approach ◽  
Multistage Model ◽  
Stage System ◽  
System Design Optimization ◽  
Alternating Directions Method

This paper describes a multilevel, multistage approach to system of systems design optimization where a system design is linked with system allocation along the multistage decision making horizon. The approach is composed of two parts: pseudo-hierarchical formulation (i.e., how to model the stages of multiple, separate decision making processes), and multistage coordination (i.e., how efficiently the proposed model would perform). The pseudo-hierarchical formulation integrates multilevel optimization and multistage programming to capture level-by-level and stage-by-stage system design optimization. The multistage coordination is based on the alternating directions method that is incorporated as an efficient means to solve this inherently largescale optimization problem. An example on collaborative system operation and design between an airline and an aircraft manufacturer validates the methodology where an airline plans to introduce multiple new aircraft to capture dynamically changing demand of the customers. The proposed methodology is validated against the all-in-one approach and the sequential approach.

Sign in / Sign up

Export Citation Format

Share Document