Preventive maintenance is the essential part of many maintenance plans. From the production point of view, the flexibility of the maintenance intervals enhances the manufacturing efficiency. On the contrary, the maintenance departments tend to know the timing of the long term maintenance plans as certain as possible. In a single-machine production environment, this paper proposes a simulation–o...

In this paper we develop a prescriptive framework for the stabilising controller design based on approximate discrete-time models for nonlinear Networked Control Systems (NCSs) with time-varying sampling intervals, potentially large time-varying delays and packet dropouts. As opposed to emulation-based approaches where the effects of sampling-and-hold and delays are ignored in the phase of cont...

Hybrid cc is a constraint-based programming language aimed for simple modeling and rigorous simulation of hybrid systems. The existing implementation of Hybrid cc uses intervals to handle partially specified models. Although the implementation solves nonlinear equations and ordinary differential equations (ODEs) based on interval arithmetic, discrete changes are not properly computed with inter...

Noting that the number of gluons in the hadron wave function is discrete, and their formation in the chain of small x evolution occurs over discrete rapidity intervals of ∆y ≃ 1/αs, we formulate the discrete version of the Balitsky–Kovchegov evolution equation and show that its solution behaves chaotically in the phenomenologically interesting kinematic region.

Continuous, wherein observations are made at every instant of time, for example electrocardiograms, lie detectors, etc. A continuous time series can be denoted as [x(t)]. Continuous time series are sampled (measured) at discrete time points and are ultimately treated as discrete series. Discrete, wherein observations are made at (usually) equispaced intervals. A discrete time series can be repr...

We detail an approach to safety-critical verification using barrier functions. Our method requires limited system data verify a system's ability keep positive candidate function $h$ at discrete-time intervals over its trajectories. Spec...