Internationales Kolloquium über Anwendungen der Informatik und Mathematik in Architektur und Bauwesen : 20. bis 22.7. 2015, Bauhaus-Universität Weimar

The 20th International Conference on the Applications of Computer Science and Mathematics in Architecture and Civil Engineering will be held at the Bauhaus University Weimar from 20th till 22nd July 2015. Architects, computer scientists, mathematicians, and engineers from all over the world will meet in Weimar for an interdisciplinary exchange of experiences, to report on their results in research, development and practice and to discuss. The conference covers a broad range of research areas: numerical analysis, function theoretic methods, partial differential equations, continuum mechanics, engineering applications, coupled problems, computer sciences, and related topics. Several plenary lectures in aforementioned areas will take place during the conference. We invite architects, engineers, designers, computer scientists, mathematicians, planners, project managers, and software developers from business, science and research to participate in the conference

Internationales Kolloquium über Anwendungen der Informatik und Mathematik in Architektur und Bauwesen : 20. bis 22.7. 2015, Bauhaus-Universität Weimar

The 20th International Conference on the Applications of Computer Science and Mathematics in Architecture and Civil Engineering will be held at the Bauhaus University Weimar from 20th till 22nd July 2015. Architects, computer scientists, mathematicians, and engineers from all over the world will meet in Weimar for an interdisciplinary exchange of experiences, to report on their results in research, development and practice and to discuss. The conference covers a broad range of research areas: numerical analysis, function theoretic methods, partial differential equations, continuum mechanics, engineering applications, coupled problems, computer sciences, and related topics. Several plenary lectures in aforementioned areas will take place during the conference. We invite architects, engineers, designers, computer scientists, mathematicians, planners, project managers, and software developers from business, science and research to participate in the conference

Modelling and Simulation of Electrical Energy Systems through a Complex Systems Approach using Agent-Based Models

Complexity science aims to better understand the processes of both natural and man-made systems which are composed of many interacting entities at different scales. A disaggregated approach is proposed for simulating electricity systems, by using agent-based models coupled to continuous ones. The approach can help in acquiring a better understanding of the operation of the system itself, e.g. on emergent phenomena or scale effects; as well as in the improvement and design of future smart grids

Acoustically driven control of mobile robots for source localization in complex ocean environments

Ocean based robotic systems are an opportunity to combine the power of acoustic sensing in the water with sophisticated control schemes. Together these bodies of knowledge could create autonomous systems for mapping acoustic fields and localizing underwater sources. However, existing control schemes have often been designed for land and air robots. This creates challenges for applying these algorithms to complex ocean environments. Acoustic fields are strongly frequency dependent, can rarely be realistically modeled analytically, have complex contours where the feature of interest is not always located at the peak pressure, and include many sources of background noise. This work addresses these challenges for control schemes from three categories: feedback and observer control, gradient ascent control and optimal control. In each case the challenges of applying the control scheme to an acoustic field are enumerated and addressed to create a suite of acoustically driven control schemes. For many of these algorithms, the largest issue is the processing and collection of acoustic data, particularly in the face of noise. Two new methods are developed to solve this issue. The first is the use of Principal Component Analysis as a noise filter for acoustic signals, which is shown to address particularly high levels of noise, while providing the frequency dependent sound pressure levels necessary for subsequent processing. The second method addresses the challenge that an analytical expression of the pressure field is often lacking, due to uncertainties and complexities in the environmental parameters. Basis functions are used to address this. Several candidates are considered, but Legendre polynomials are selected for their low error and reasonable processing time. Additionally, a method of intermediate points is used to approximate high frequency pressure fields with low numbers of collected data points. Following this work, the individual control schemes are explored. A method of observer feedback control is proposed to localize sources by linearizing the acoustic fields. A gradient ascent method for localizing sources in real time is proposed which uses Matched Field Processing and Bayesian filters. These modifications allow the gradient ascent algorithm to be compatible with complex acoustic fields. Finally, an optimal control method is proposed using Pontryagin's Maximum Principle to derive trajectories in real time that balance information gain with control energy. This method is shown to efficiently map an acoustic field, either for optimal sensor placement or to localize sources. The contribution of this work is a new collection of control schemes that use acoustic data to localize acoustically complex sources in a realistic noisy environment, and an understanding of the tradeoffs inherent in applying each of these to the acoustic domain

Student Research Colloquium Proceedings 2010

2010 Student Research Colloquium proceedings include the following: explanation of the Student Research Colloquium passport\u27, a schedule of the day\u27s events, acknowledgement of research sponsors, conference presentation abstracts, formal paper competition participants; poster presentation competition participants; student presenter index, research sponsor index, planning committee, poster and paper presentation judges, registration desk, sponsors, and donors, map of Atwood Memorial Center. Keynote Speaker: Michael (Mick) D. Bower, Security Columnist, Linux Journal, Infrastructure Security Architecture Team Lead, Wells Fargo: Notes from the Trenches: Information Security in the So-Called Real World. In this talk, Mick Bauer will tell war stories from his adventures helping to secure one of our nation\u27s largest banks against the best attack efforts of devious hackers, credit-card scammers, organized crime cartels and the scariest type of adversary which information security professions routinely encounter, the enthusiastic businessperson. In so doing, he will illustrate in thrilling, name-dropping detail how his education, comprised of a Masters in Computer Science from St. Cloud State University and a BFA in Music Education, grounded him in the scientific method, a preference for facts over aspirations and an affinity for lecturing and constructing very long but grammatically coherent sentences, has served him well in what has been an unpredictable but very cool career thus far

Nanosatellites for quantum science and technology

Bringing quantum science and technology to the space frontier offers exciting prospects for both fundamental physics and applications such as long-range secure communication and space-borne quantum probes for inertial sensing with enhanced accuracy and sensitivity. But despite important terrestrial pathfinding precursors on common microgravity platforms and promising proposals to exploit the significant advantages of space quantum missions, large-scale quantum testbeds in space are yet to be realized due to the high costs and leadtimes of traditional “Big Space” satellite development. But the “small space” revolution, spearheaded by the rise of nanosatellites such as CubeSats, is an opportunity to greatly accelerate the progress of quantum space missions by providing easy and affordable access to space and encouraging agile development. We review space quantum science and technology, CubeSats and their rapidly developing capabilities, and how they can be used to advance quantum satellite systems

Health-aware predictive control schemes based on industrial processes

Aplicat embargament des de la data de defensa fins el dia 30 de desembre de 2021The research is motivated by real applications, such as pasteurization plant, water networks and autonomous system, which each of them require a specific control system to provide proper management able to take into account their particular features and operating limits in presence of uncertainties related to their operation and failures from component breakdowns. According to that most of the real systems have nonlinear behaviors, it can be approximated them by polytopic linear uncertain models such as Linear Parameter Varying (LPV) and Takagi-Sugeno (TS) models. Therefore, a new economic Model Predictive Control (MPC) approach based on LPV/TS models is proposed and the stability of the proposed approach is certified by using a region constraint on the terminal state. Besides, the MPC-LPV strategy is extended based on the system with varying delays affecting states and inputs. The control approach allows the controller to accommodate the scheduling parameters and delay change. By computing the prediction of the state variables and delay along a prediction time horizon, the system model can be modified according to the evaluation of the estimated state and delay at each time instant. To increase the system reliability, anticipate the appearance of faults and reduce the operational costs, actuator health monitoring should be considered. Regarding several types of system failures, different strategies are studied for obtaining system failures. First, the damage is assessed with the rainflow-counting algorithm that allows estimating the component’s fatigue and control objective is modified by adding an extra criterion that takes into account the accumulated damage. Besides, two different health-aware economic predictive control strategies that aim to minimize the damage of components are presented. Then, economic health-aware MPC controller is developed to compute the components and system reliability in the MPC model using an LPV modeling approach and maximizes the availability of the system by estimating system reliability. Additionally, another improvement considers chance-constraint programming to compute an optimal list replenishment policy based on a desired risk acceptability level, managing to dynamically designate safety stocks in flowbased networks to satisfy non-stationary flow demands. Finally, an innovative health-aware control approach for autonomous racing vehicles to simultaneously control it to the driving limits and to follow the desired path based on maximization of the battery RUL. The proposed approach is formulated as an optimal on-line robust LMI based MPC driven from Lyapunov stability and controller gain synthesis solved by LPV-LQR problem in LMI formulation with integral action for tracking the trajectory.Esta tesis pretende proporcionar contribuciones teóricas y prácticas sobre seguridad y control de sistemas industriales, especialmente en la forma maten ática de sistemas inciertos. La investigación está motivada por aplicaciones reales, como la planta de pasteurización, las redes de agua y el sistema autónomo, cada uno de los cuales requiere un sistema de control específico para proporcionar una gestión adecuada capaz de tener en cuenta sus características particulares y limites o de operación en presencia de incertidumbres relacionadas con su operación y fallas de averías de componentes. De acuerdo con que la mayoría de los sistemas reales tienen comportamientos no lineales, puede aproximarse a ellos mediante modelos inciertos lineales politopicos como los modelos de Lineal Variación de Parámetros (LPV) y Takagi-Sugeno (TS). Por lo tanto, se propone un nuevo enfoque de Control Predictivo del Modelo (MPC) económico basado en modelos LPV/TS y la estabilidad del enfoque propuesto se certifica mediante el uso de una restricción de región en el estado terminal. Además, la estrategia MPC-LPV se extiende en función del sistema con diferentes demoras que afectan los estados y las entradas. El enfoque de control permite al controlador acomodar los parámetros de programación y retrasar el cambio. Al calcular la predicción de las variables de estado y el retraso a lo largo de un horizonte de tiempo de predicción, el modelo del sistema se puede modificar de acuerdo con la evaluación del estado estimado y el retraso en cada instante de tiempo. Para aumentar la confiabilidad del sistema, anticipar la aparición de fallas y reducir los costos operativos, se debe considerar el monitoreo del estado del actuador. Con respecto a varios tipos de fallas del sistema, se estudian diferentes estrategias para obtener fallas del sistema. Primero, el daño se evalúa con el algoritmo de conteo de flujo de lluvia que permite estimar la fatiga del componente y el objetivo de control se modifica agregando un criterio adicional que tiene en cuenta el daño acumulado. Además, se presentan dos estrategias diferentes de control predictivo económico que tienen en cuenta la salud y tienen como objetivo minimizar el daño de los componentes. Luego, se desarrolla un controlador MPC económico con conciencia de salud para calcular los componentes y la confiabilidad del sistema en el modelo MPC utilizando un enfoque de modelado LPV y maximiza la disponibilidad del sistema mediante la estimación de la confiabilidad del sistema. Además, otra mejora considera la programación de restricción de posibilidades para calcular una política ´optima de reposición de listas basada en un nivel de aceptabilidad de riesgo deseado, logrando designar dinámicamente existencias de seguridad en redes basadas en flujo para satisfacer demandas de flujo no estacionarias. Finalmente, un enfoque innovador de control consciente de la salud para vehículos de carreras autónomos para controlarlo simultáneamente hasta los límites de conducción y seguir el camino deseado basado en la maximización de la bacteria RUL. El diseño del control se divide en dos capas con diferentes escalas de tiempo, planificador de ruta y controlador. El enfoque propuesto está formulado como un MPC robusto en línea optimo basado en LMI impulsado por la estabilidad de Lyapunov y la síntesis de ganancia del controlador resuelta por el problema LPV-LQR en la formulación de LMI con acción integral para el seguimiento de la trayectoria.Postprint (published version

Efficient Real-Time Solutions for Nonlinear Model Predictive Control with Applications

Nonlinear Model Predictive Control is an advanced optimisation methodology widely used for developing optimal Feedback Control Systems that use mathematical models of dynamical systems to predict and optimise their future performance. Its popularity comes from its general ability to handle a wide range of challenges present when developing control systems such as input/output constraints, complex nonlinear dynamics multi-variable systems, dynamic systems with significant delays as well as handling of uncertainty, disturbances and fault-tolerance. One of the main and most important challenges is the computational burden associated with the optimisation, particularly when attempting to implement the underlying methods in fast/real-time systems. To tackle this, recent research has been focused on developing efficient real-time solutions or strategies that could be used to overcome this problem. In this case, efficiency may come in various different ways from mathematical simplifications, to fast optimisation solvers, special algorithms and hardware, as well as tailored auto-generated coding tool-kits which help to make an efficient overall implementation of these type of approaches. This thesis addresses this fundamental problem by proposing a wide variety of methods that could serve as alternatives from which the final user can choose from depending on the requirements specific to the application. The proposed approaches focus specifically of developing efficient real-time NMPC methods which have a significantly reduced computational burden whilst preserving desirable properties of standard NMPC such as nominal stability, recursive feasibility guarantees, good performance, as well as adequate numeric conditioning for their use in platforms with reduced numeric precision such as ``floats'' subject to certain conditions being met. One of the specific aims of this work is to obtain faster solutions than the popular ACADO toolkit, in particular when using condensing-based NMPC solutions under the Real-Time Iteration Scheme, considered for all practical purposes the state-of-the-art standard real-time solution to which all the approaches will be bench-marked against. Moreover, part of the work of this thesis uses the concept of ``auto-generation'' for developing similar tool-kits that apply the proposed approaches. To achieve this, the developed tool-kits were supported by the Eigen 3 library which were observed to result in even better computation times than the ACADO toolkit. Finally, although the work undertaking by this thesis does not look into robust control approaches, the developed methods could be used for improving the performance of the underlying ``online'' optimisation, eg. by being able to perform additional iterations of the underlying SQP optimisation, as well as be used in common robust frameworks where multi-model systems must be simultaneously optimised in real-time. Thus, future work will look into merging the proposed methods with other existing strategies to give an even wider range of alternatives to the final user

Technology and Australia's Future: New technologies and their role in Australia's security, cultural, democratic, social and economic systems

Chapter 1. Introducing technology -- Chapter 2. The shaping of technology -- Chapter 3. Prediction of future technologies -- Chapter 4. The impacts of technology -- Chapter 5. Meanings, attitudes and behaviour -- Chapter 6. Evaluation -- Chapter 7. Intervention -- Conclusion - adapt or wither.This report was commisioned by Australian Council of Learned Academies