One-counter nets (OCN) are finite automata equipped with a counter that can store non-negative integer values, and that cannot be tested for zero. Equivalently, these are exactly 1-dimensional vector addition systems with states. We show that both strong and weak simulation preorder on OCN are PSPACE-complete.

This work exposes a largely unexplored vector of physical-layer attacks with demonstrated consequences in automobiles. By modifying the physical environment around analog sensors such as Antilock Braking Systems (ABS), we exploit weaknesses in wheel speed sensors so that a malicious attacker can inject arbitrary measurements to the ABS computer which in turn can cause lifethreatening situations...

A semiautomated single channel aperture-impedance particle counter was developed as a prototype for a reference platelet count for assigning values to reference preparations used in automated blood cell counts. The instrument is equipped with sheath flow and an aperture orifice of 50 microns in diameter and 60 microns in length to eliminate non-axial flow and minimise coincidence errors. Use of...

One common mobile robot design consists of three ‘omniwheels’ arranged at the vertices of an equilateral triangle, with wheel axles aligned with the rays from the center of the triangle to each wheel. Omniwheels, like standard wheels, are driven by the motors in a direction perpendicular to the wheel axle, but unlike standard wheels, can slip in a direction parallel to the axle. Unlike a steere...

Original scientific paper By introducing a novel permanent magnetic bi-stable electromagnetic clutch unit (PMBECU) in the driveline of directly-driven electric vehicle, a flexible connection between motor and hub is realized with characteristic of separated starting process of drive motor and wheel load. Firstly, the working principle and power supply scheme for the PMBECU is discussed. Then th...

Two of the important parameters in grinding operation are surface roughness of the workpiece and the amount of consumed energy. These parameters are strongly affected by the condition of grinding wheel surface which is dependent on the dressing parameters. Predicting the roughness of the grinding wheel surface after dressing with known dressing parameters can improve the grinding process. Resea...

The dynamics of a railway vehicle are driven by the geometry and conditions at the wheel-rail contact. Typically the condition and shape of the wheel and rail are monitored separately and off-line. The work presented here is part of ongoing research into on-line modelbased estimation of parameters in the wheel-rail contact dynamics. This paper outlines a practical approach to estimating a nonli...