Design Patterns for Detecting and Mitigating Bias in Edge AI

From smart phones to speakers and watches, Edge Al is deployed on billions of devices to process large volumes of personal data efficiently, privately and in real-time. While Edge Al applications are promising, many recent incidents of bias in Al systems caution that Edge Al too, may systematically discriminate against groups of people based on...

Sailing through fluid mud: Verification and Validation of a CFD model for simulations of ships sailing in muddy areas

The increasing size of today's ships is a major concern for navigation in confined waters. In order to ensure safe manoeuvres, port authorities prescribe, among others, a minimum under-keel clearance that must be maintained by the ships during navigation. However, the seabed of ports situated at the estuaries or along rivers is often covered by...

Eda tools and methodologies for reliable nanoelectronic systems

In recent years, advances in technology have enabled the employment of automated systems to control driving tasks. The idea of electronic devices having complete control over a vehicle promises to change the concept of mobility soon. However, allowing computers to control all the tasks in a vehicle demands sophisticated systems and significant...

Novel Experiments for the Investigation of Non-Ideal Compressible Fluid Dynamics: The ORCHID and First Results of Optical Measurements

The vast number of pioneering theoretical developments inthe area of non-classical gas dynamics together with the rising number ofapplications of organic Rankine cycle (ORC) technology have shaped a new branchof fluid mechanics called non-ideal compressible fluid dynamics (NICFD). Thisfield of fluid mechanics is concerned...

Automatic Design of Verifiable Robot Swarms

The paradigm of swarm robotics aims to enable several independent robots to collaborate together toward collective goals. The distributed nature of a swarm, whereby each robot acts independently in accordance with its perceived environment, is expected to provide the system with a high degree of flexibility, robustness, and scalability. However,...

Intelligent control systems: Learning, interpreting, verification

Automatic control is a technique about designing control devices for controlling ma- chinery processes without human intervention. However, devising controllers using conventional control theory requires first principle design on the basis of the full under- standing of the environment and the plant, which is infeasible for complex control tasks...

Wheel-Rail Interaction: Enhanced explicit finite element modelling, verification and validation

Nowadays, wheel-rail (W/R) interfaces are suffering from the practical problems (e.g. wear, rolling contact defects) with the increase of train speed and traffic density. For accurate prediction of wear and/or growth of rolling contact defects, rapid determination of detailed contact responses (i.e. contact stresses & strains) using...

Quality of Just-in-Time Requirements: Just-Enough and Just-in-Time

The goal of this thesis was to obtain a deeper understanding of the notion of quality for Just-in-Time (JIT) Requirements. JIT requirements are the opposite of up-front requirements. JIT requirements are not analyzed or defined until they are needed meaning that development is allowed to begin with incomplete requirements. We started our...

Formal Abstractions for Automated Verification and Synthesis of Stochastic Systems

Stochastic hybrid systems involve the coupling of discrete, continuous, and probabilistic phenomena, in which the composition of continuous and discrete variables captures the behavior of physical systems interacting with digital, computational devices. Because of their versatility and generality, methods for modeling, analysis, and verification...

Simulation Fidelity Theory and Practice

Simulation fidelity is an intrinsic element of any simulation system, one that all its developers and users have to deal with one way or the other. It is commonly recognized by the modeling and simulation community that simulation fidelity is an essential vehicle in properly assessing the validity and credibility of simulation results....

Grouting for Pile Foundation Improvement

The aim of this research was to examine the use of grouting methods for pile foundation improvement, a generic term that is used here to define both foundation renovation (increasing the bearing capacity of a pile foundation that has insufficient bearing capacity) and foundation protection (safeguarding the piles of the foundation against...

Accurate and Efficient Layout Extraction