Related papers: Development of the Simulator for the Global Orbit …
We consider several electronic circuits, which represent dynamical systems with hyperbolic chaotic attractors of Smale-Williams type, and demonstrate results of their simulation using the software package NI Multisim 10. The developed…
A new generation of exoplanet research beckons and with it the need for simulation tools that accurately predict signal and noise in transit spectroscopy observations. We developed ExoSim: an end-to-end simulator that models noise and…
Algorithms to simulate the ring-exchange models using the projected entangled pair states (PEPS) are developed. We generalize the imaginary time evolution (ITE) method to optimize PEPS wave functions for the models with ring-exchange…
In a recent experiment, Barreiro et al. demonstrated the fundamental building blocks of an open-system quantum simulator with trapped ions [Nature 470, 486 (2011)]. Using up to five ions, single- and multi-qubit entangling gate operations…
An early-stage version of simulation package ' ELSES' (Extra-Large-Scale Electronic-Structure calculation) is developed for electronic structure and dynamics of large systems, particularly, nm-scale or 10nm-scale systems (www.elses.jp).…
We propose a hybrid process calculus for modelling and reasoning on cyber-physical systems (CPS{s}). The dynamics of the calculus is expressed in terms of a labelled transition system in the SOS style of Plotkin. This is used to define a…
We present a loop-shaping approach to coherent feedback (CF) control. By formulating the coupling between a quantum system and its environment in terms of the noise power spectrum, our method enables direct manipulation of the effective…
Results of a three-dimensional, flux-driven, electrostatic, global, two-fluid turbulence simulation for a 5-field period stellarator with an island divertor are presented. The numerical simulation is carried out with the GBS code, recently…
Existing evaluation paradigms for Autonomous Vehicles (AVs) face critical limitations. Real-world evaluation is often challenging due to safety concerns and a lack of reproducibility, whereas closed-loop simulation can face insufficient…
In this work we use intersection of different pseudo-orbits obtained by interval extensions to reduce the bounds of the exact solution provided by the toolbox Intlab. The method is applied on the logistic map.
It is shown that an oblique projection based feedback control is able to stabilize the state of the Kuramoto-Sivashinsky equation, evolving in rectangular domains, to a given time-dependent trajectory. The number of actuators is finite and…
We developed a 6D multi-particle tracking program CETASim in C++ programming language to simulate intensity-dependent effects in electron storage rings. The program can simulate the beam collective effects due to short-range/long-range…
Bottom-up quantum simulators have been developed to quantify the role of various interactions, dimensionality, and structure in creating electronic states of matter. Here, we demonstrated a solid-state quantum simulator emulating molecular…
CEA Irfu Saclay is involved as partner in the ESS accelerator construction through different work-packages: controls for several RF test stands, for cryomodule demonstrators, for the RFQ coupler test and for the conditioning around 120…
VPIC is a general purpose Particle-in-Cell simulation code for modeling plasma phenomena such as magnetic reconnection, fusion, solar weather, and laser-plasma interaction in three dimensions using large numbers of particles. VPIC's…
We study the application of a new method for simulating nonlinear dynamics of many-body spin systems using quantum measurement and feedback [Mu\~noz-Arias et al., Phys. Rev. Lett. 124, 110503 (2020)] to a broad class of many-body models…
In the design of complex quantum systems like ion traps for quantum computing, it is usually desired to stabilize a particular system state or make the system state track a desired trajectory. Several control theoretical approaches based on…
One of the common tasks required for designing new plasma scenarios or evaluating capabilities of a tokamak is to design the desired equilibria using a Grad-Shafranov (GS) equilibrium solver. However, most standard equilibrium solvers are…
In this paper, we design a symbolic output feedback controller of a cyber-physical system (CPS). The physical plant is modeled by an infinite transition system. We consider the situation that a finite abstracted system of the physical…
The EPICS based control system of the ISAC radioactive beam facility supervises several sub-systems, which are controlled by PLCs. Most of the devices are protected by non-trivial interlocks, which are implemented with ladder-logic…