3D B-Rep meshing for real-time data-based geometric parametric analysis

Parametric Timing Analysis for Real-Time Systems

We extend a TCTL model-checking problem to a parametric timing analysis problem for real-time systems and develop new techniques for solving it. The algorithm we present here accepts timed transition system descriptions and parametric TCTL formulas with timing parameter variables of unknown sizes and can give back general linear equations of timing parameter variables whose solutions make the s...

Automatic surface repairing, defeaturing and meshing algorithms based on an extended B-rep

APPROXIMATION OF 3D-PARAMETRIC FUNCTIONS BY BICUBIC B-SPLINE FUNCTIONS

In this paper we propose a method to approximate a parametric 3 D-function by bicubic B-spline functions

Geometric Analysis of 3D Electron Microscopy Data

We present a complete pipeline for the segmentation and analysis of 3-dimensional electron microscopy data. Considerable algorithmic optimizations and parallelization have been applied to make the system applicable to data as large as 8 gigavoxels. Discrete geometry plays a prominent role at several processing stages (initial watershed segmentation, cell complex representation, reduction of ove...

Parametric Real-Time System Feasibility Analysis Using Parametric Timed Automata

Real-time applications are playing an increasingly significant role in our life. The cost and risk involved in their design leads to the need for a correct and robust modelling of the system before its deployment. Many approaches have been proposed to verify the schedulability of real-time task system. A frequent limitation is that they force the task activation to restrictive patterns (e.g. pe...