Cyber-Physical Systems (CPSs) are defined as the combination of computational elements with physical components. Systems that require communication, computation, and control are by definition CPSs. The complexity of these systems often grows exponentially as they incorporate more elements into their design. As such, many approaches to designing CPSs revolve around the development of Domain Specific Modeling Languages (DSMLs). DSMLs drastically reduce the development time for CPSs by abstracting elements of the development process to a high level. DSMLs can be constrained in such a way that it is impossible to construct structurally invalid models of CPSs. This allows designers to think abstractly and ignore time consuming low level implementation details. However, these methods do not prevent designers from constructing systems that can be invalid in other, more dynamic, ways. That is, structural constraints on a DSML for a CPS do not prevent constraint violations where some analysis must be performed on the system to verify that the constraint has been satisfied. In the state-of-the-art, it is violations on these dynamic constraints that modelers must spend their time designing around. Dynamic constraints can be incorporated into the framework of a DSML by integrating the concepts of automatic feedback control into the DSML with model transformations. The methodology that describes this new approach to Domain Specific Modeling (DSM) is called Dynamic Constraint Feedback (DCF). At a glance: first a DSML is created for a CPS. Next, an interface is developed for two-way interaction between the DSML and external tools. Third, an expert block that can perform analysis on the models is created. The expert block is responsible for determining constraint violations and solutions. Lastly, model transformations are generated based on expert block output and applied to the existing models. This process repeats until a solution is either found or declared to be unreachable.

No description available.

Transient regimes experienced by dynamic systems may have severe impacts on the operation of the aircraft. They are often regulated by dynamic constraints, requiring the dynamic signals to remain within bounds whose values vary with time. The verification of these peculiar types of constraints, which generally requires high-fidelity time-domain simulation, intervenes late in the system development process, thus potentially causing costly design iterations. The research objective of this thesis is to develop a methodology that integrates the verification of dynamic constraints in the early specification of dynamic systems. In order to circumvent the inefficiencies of time-domain simulation, multivariate dynamic surrogate models of the original time-domain simulation models are generated using wavelet neural networks (or wavenets). Concurrently, an alternate approach is formulated, in which the envelope of the dynamic response, extracted via a wavelet-based multiresolution analysis scheme, is subject to transient constraints. Dynamic surrogate models using sigmoid-based neural networks are generated to emulate the transient behavior of the envelope of the time-domain response. The run-time efficiency of the resulting dynamic surrogate models enables the implementation of a data farming approach, in which the full design space is sampled through a Monte-Carlo Simulation. An interactive visualization environment, enabling what-if analyses, is developed; the user can thereby instantaneously comprehend the transient response of the system (or its envelope) and its sensitivities to design and operation variables, as well as filter the design space to have it exhibit only the design scenarios verifying the dynamic constraints. The proposed methodology, along with its foundational hypotheses, is tested on the design and optimization of a 350VDC network, where a generator and its control system are concurrently designed in order to minimize the electrical losses, while ensuring that the transient undervoltage induced by peak demands in the consumption of a motor does not violate transient power quality constraints.

[pt] Otimização estrutural sujeita a carregamentos dinâmicos é um problema desafiador em vários aspectos, a começar pelo grande número de restrições que devem ser atendidas em todos os instantes de tempo. Além disso, o custo computacional para avaliar os gradientes destas restrições é bastante elevado e requer um grande espaço de armazenamento. Na literatura, alguns métodos reduzem o número de restrições avaliando em instantes de tempo selecionados, como o pior caso por exemplo, ou ainda constroem um funcional equivalente, integrando as restrições violadas ao longo do tempo, assim eliminando essa dependência. Nesta dissertação, o método do Carregamento Estático Equivalente (ESL) é utilizado, no qual o problema dinâmico original é transformado em uma sequência de subproblemas de otimização linear estática com múltiplos casos de carga. Um atrativo deste método é a possibilidade da solução de problemas não lineares, evitando o alto custo devido às repetidas análises estruturais e cálculos das restrições. Problemas clássicos de treliças planas submetidas a carregamentos dinâmicos são resolvidos utilizando o método ESL. A função a ser minimizada é a massa da treliça, que está sob restrições de tensão e deslocamento, onde as variáveis de projeto são as áreas da seção transversal dos membros. Além disso, uma interface utilizando ANSYS e MATLAB é desenvolvida para uma abordagem modular, na qual a análise via elementos finitos e a otimização possam ser realizadas separadamente. Este processo viabiliza a otimização de estruturas que apresentam comportamentos não lineares a partir da utilização de diversos softwares comerciais disponíveis no mercado. / [en] Structural optimization subject to dynamic loading is a challenging problem in many aspects, starting with the large number of constraints that must be respected at all instants of time. Furthermore, the computational cost to evaluate the gradients of these constraints is significantly high and requires a large storage space. In the literature, some methods reduce the number of constraints evaluating at selected instants of time, such as the worst case. Alternatively, a single equivalent functional is constructed to eliminate the time dependence by integrating the violated constraints over time. In this work, the Equivalent Static Load (ESL) method is used, in which the original dynamic problem is reduced into a number of static linear optimization problems with multiple load cases. An attractive feature of this method is the possibility of solving non-linear problems, avoiding the high cost due to repeated structural analyzes and constraint calculations. Classical problems of plane trusses subjected to dynamic loads are solved using the ESL method. The function to be minimized is the truss mass, which is subjected to stress and displacement constraints, where the design variables are the cross-sectional areas of the members. In addition, an interface using ANSYS and MATLAB was developed for a modular approach, in which finite element analysis and optimization can be performed separately. This process makes possible the optimization of structures that present non-linear behavior from the use of most structural analysis software packages available on the market.

No description available.

Dans un contexte industriel aéronautique où les problématiques de sécurité constituent un facteur différentiateur clé, l’objectif de cette thèse est de répondre à la problématique ambitieuse de la réduction des accidents de type opérationnel. Les travaux de recherche s’inscrivent dans le domaine des systèmes d’alarmes pour l’évitement de collision qui ne font pas une analyse approfondie des solutions d’évitement par rapport à la situation de danger. En effet, les situations d’urgence en vol ne bénéficient pas à ce jour d’une représentation et d’un guide des solutions associées formels. Bien que certains systèmes d’assistance existent et qu’une partie de la connaissance associée aux situations d’urgence ait pu être identifiée, la génération dynamique d’une séquence de manœuvres sous fortes contraintes de temps et dans un environnement non connu à l’avance représente une voie d’exploration nouvelle. Afin de répondre à cette question et de rendre objective la notion de danger, les travaux de recherche présentés dans cette thèse mettent en confrontation la capacité d’évolution d’un aéronef dans son environnement immédiat avec une enveloppe physique devenant contraignante. Afin de mesurer ce danger, les travaux de recherche ont conduit à construire un module de trajectoires capable d’explorer l’espace en 3D. Cela a permis de tirer des enseignements en terme de flexibilité des manœuvres d’évitement possibles à l’approche du sol. De plus l’elicitation des connaissances des pilotes et des experts d’Airbus Helicopters (ancien Eurocopter) mis en situation d’urgence dans le cas d’accidents reconstitués en simulation a conduit à un ensemble de paramètres pour l’utilisation de la méthode multicritère PROMETHEE II dans le processus de prise de décision relatif au choix de la meilleure trajectoire d’évitement et par conséquent à la génération d’alarmes anti-collision. / In the aeronautics industrial context, the issues related to the safety constitute a highly differentiating factor. This PhD thesis addresses the challenge of operational type accident reduction. The research works are positioned and considered within the context of existing alerting equipments for collision avoidance, who don’t report a thorough analysis of the avoidance manoeuvres with respect to a possible threat. Indeed, in-flight emergency situations are various and do not all have a formal representation of escape procedures to fall back on. Much of operational accident scenarios are related to human mistakes. Even if systems providing assistance already exist, the dynamic generation of a sequence of manoeuvres under high constraints in an unknown environment remain a news research axis, and a key development perspective. In order to address this problematic and make the notion of danger objective, the research works presented in this thesis confront the capabilities of evolution of an aircraft in its immediate environment with possible physical constraints. For that purpose, the study has conducted to generate a module for trajectory generation in the 3D space frame, capable of partitioning and exploring the space ahead and around the aircraft. This has allowed to draw conclusions in terms of flexibility of escape manoeuvres on approach to the terrain. Besides, the elicitation of the Airbus Helicopters (former Eurocopter) experts knowledge put in emergency situations, for reconstituted accident scenarios in simulation, have permitted to derive a certain number of criteria and rules for parametrising the multicriteria method PROMETHEE II in the process for the relative decision-making of the best avoidance trajectory solution. This has given clues for the generation of new alerting rules to prevent the collisions.