We define a notion of implementation for real-time Abstract State Machines (ASM) with instantaneous actions by machines with delayed actions. The time is continuous, and time constraints are metric. It is clear that not every machine of the first type can be implemented by a machine of the second type. We describe sufficient conditions on ASM that permit to construct such an implementation in a...

State Machines: Verification Problems and Computational Power Von der Fakultät für Mathematik, Informatik und Naturwissenschaften der Rheinisch-Westfälischen Technischen Hochschule Aachen zur Erlangung des akademischen Grades einer Doktorin der Naturwissenschaften genehmigte Dissertation

The monitoring of cutting force components is one the possibilities to control machining processes from point view its stability, machine tool spindle or loading. This paper presents and compares results experimental longitudinal sawing pine wood with 4 saw discs different teeth number (16 24) rake angle (10° 20°) during up (conventional) down (climb) revolutions (4000 min-1, 5000 6000 min-1) f...

State Machines: A Generic Model of Computation

State Machines: Verification Problems and Complexity