Related papers: Numerical Coverage Estimation for the Symbolic Sim…
A new algorithm for the symbolic computation of polynomial conserved densities for systems of nonlinear evolution equations is presented. The algorithm is implemented in Mathematica. The program condens.m automatically carries out the…
We review and extend, in a self-contained way, the mathematical foundations of numerical simulation methods that are based on the use of random states. The power and versatility of this simulation technology is illustrated by calculations…
This paper presents two approaches to mathematical modelling of a synthetic seismic pulse, and a comparison between them. First, a new analytical model is developed in two-dimensional Cartesian coordinates. Combined with an initial…
Physical systems are modelled and investigated within simulation software in an increasing range of applications. In reality an investigation of the system is often performed by empirical test scenarios which are related to typical…
Simulation especially real-time simulation have been widely used for the design and testing of real-time systems. The advancement of simulation tools has largely attributed to the evolution of computing technologies. With the reduced cost…
It is often difficult to quantitatively determine if a new molecular simulation algorithm or software properly implements sampling of the desired thermodynamic ensemble. We present some simple statistical analysis procedures to allow…
Data-driven, model-free analytics are natural choices for discovery and forecasting of complex, nonlinear systems. Methods that operate in the system state-space require either an explicit multidimensional state-space, or, one approximated…
Symbolic models or abstractions are known to be powerful tools for the control design of cyber-physical systems (CPSs) with logic specifications. In this paper, we investigate a novel learning-based approach to the construction of symbolic…
Existing theoretical stabilization results for linear, hyperbolic multi-dimensional problems are extended to the discretized multi-dimensional problems. In contrast to existing theoretical and numerical analysis in the spatially…
A statistical model for data emanating from digital image sensors is developed and used to define a notion of the system level photon counting accuracy given a specified quantization strategy. The photon counting accuracy for three example…
A numerical method is presented for first-principle simulations of charged colloidal dispersions in electrolyte solutions. Utilizing a smoothed profile for colloid-solvent boundaries, efficient mesoscopic simulations are enabled for…
We propose quantum-mechanical systems in which the number of spatial dimensions is promoted to a dynamical quantum variable, making the effective dimension state-dependent. Interestingly, systems of this form can exhibit enhanced symmetries…
Cyber-Physical Systems (CPS) operate in dynamic environments, leading to different types of uncertainty. This work provides a comprehensive review of uncertainty representations and categorizes them based on the dimensions used to represent…
This work aims to describe a mathematical model and a numerical method to simulate a thin anisotropic composite membrane moving and deforming in 3D space under a dynamic load of an arbitrary time and space profile. The model and the method…
Mathematical methods provide useful framework for the analysis and design of complex systems. In newer contexts such as biology, however, there is a need to both adapt existing methods as well as to develop new ones. Using a combination of…
Previous work has largely considered the fairness of image captioning systems through the underspecified lens of "bias." In contrast, we present a set of techniques for measuring five types of representational harms, as well as the…
We propose a method to estimate the mechanical parameters of fabrics using a casual capture setup with a depth camera. Our approach enables to create mechanically-correct digital representations of real-world textile materials, which is a…
Decentralized state estimation in a communication-constrained sensor network is considered. The exchanged estimates are dimension-reduced to reduce the communication load using a linear mapping to a lower-dimensional space. The mean squared…
Numeric simulations based on the Huygens-Fresnel method allow one to develop intuition about the behavior of coherent light in diffraction and interference experiments. They give an opportunity to numerically observe and appreciate a number…
Compressed sensing is a method that allows a significant reduction in the number of samples required for accurate measurements in many applications in experimental sciences and engineering. In this work, we show that compressed sensing can…