Related papers: Modeling, Stability Analysis, and Testing of a Hyb…
We describe a software framework and a hardware platform used in tandem for the design and analysis of robot autonomy algorithms in simulation and reality. The software, which is open source, containerized, and operating system (OS)…
Control systems on unmanned vehicles are safety-critical systems whose requirements on reliability and safety are ever-increasing. Currently, testing a complex autonomous control system is an expensive and time-consuming process, which…
This article describes algorithms for the hybrid parallelization and SIMD vectorization of molecular dynamics simulations with short-range forces. The parallelization method combines domain decomposition with a thread-based parallelization…
Hybrid-kinetic simulations describe ion-scale kinetic phenomena in space plasmas by considering ions kinetically, i.e. as particles, while electrons are modelled as a fluid. Most of the existing hybrid-kinetic codes neglect the electron…
Full system "end-to-end" measurements in physical testbeds are the gold standard for network systems evaluation but are often not feasible. When physical testbeds are not available we frequently turn to simulation for evaluation.…
Hyperloop system design is a uniquely coupled problem because it involves the simultaneous design of a complex, high-performance vehicle and its accompanying infrastructure. In the clean-sheet design of this new mode of high-speed mass…
The purpose of this paper is the modeling of a repository for modules and interfaces that must include all integrated information system management of a port terminal.Modules will provide a basic framework necessary for automatic management…
The current verification flow of complex systems uses different engines synergistically: virtual prototyping, formal verification, simulation, emulation and FPGA prototyping. However, none is able to verify a complete architecture.…
Simulation and emulation are popular approaches for experimentation in Computer Networks. However, due to their respective inherent drawbacks, existing solutions cannot perform both fast and realistic control plane experiments. To close…
The aerial manipulator (AM) is a systematic operational robotic platform in high standard on algorithm robustness. Directly deploying the algorithms to the practical system will take numerous trial and error costs and even cause destructive…
Hybrid systems are integrations of discrete computation and continuous physical evolution. The physical components of such systems introduce safety requirements, the achievement of which asks for the correct monitoring and control from the…
A quantum simulator is a purposeful quantum machine that can address complex quantum problems in a controllable setting and an efficient manner. This chapter introduces a solid-state quantum simulator platform based on exciton-polaritons,…
1. Introduction 2. Molecular dynamics simulation of amorphous carbon structures 3. Atomistic simulation of the bombardment process during the BEN phase of diamond CVD 4. Growth of amorphous silicon 5. One-dimensional hopping in disordered…
The design and development of power electronics converters pose a multitude of challenges. The evaluation of power electronics converters, particularly when operating at high power levels, presents a significant task, offering designers a…
The manuscript discusses the increasing use of location-aware radio communication systems to support operational processes for the demanding aircraft cabin environment. In this context, the challenges for evaluation and integration of…
Modelling and simulating the traffic of heavily used but secure environments such as seaports and airports is of increasing importance. Errors made when simulating these environments can have long standing economic, social and environmental…
An electronic circuit realization of the logistic difference equation is presented using analog electronics. The behavior of the realized system is evaluated against computer simulations of the same. The circuit is found to exhibit the…
Digital twins have become popular for their ability to monitor and optimize a process or a machine, ideally through its complete life cycle using simulations and sensor data. In this paper, we focus on the challenge of accurate and…
Scientific applications consist of large and computationally-intensive loops. Dynamic loop scheduling (DLS) techniques are used to load balance the execution of such applications. Load imbalance can be caused by variations in loop iteration…
Conducting safety simulations in various simulators, such as the Gazebo simulator, became a very popular means of testing vehicles against potential safety risks (i.e. crashes). However, this was not the case with security testing.…