"pilger mill, embedded system, formal methods, UPPAAL, temporal logic"@en . "Emedded syst\u00E9m pro se\u0159\u00EDzen\u00ED poutn\u00ED stolice"@cs . . "Embedded Adjust System for a Pilger Mill"@en . "WSEAS" . "Clanek se zabyva automatizovanym systeme pro serizeni poutni stolice po jeji prestavbe."@cs . "Automatic Control, modeling and simulation (ACMOS'05)" . "3"^^ . "520121" . . "2005-03-13+01:00"^^ . . . . "Ku\u010Dera, Pavel" . "Emedded syst\u00E9m pro se\u0159\u00EDzen\u00ED poutn\u00ED stolice"@cs . "2"^^ . . "Embedded Adjust System for a Pilger Mill" . "31-36" . . . "Fojt\u00EDk, Pavel" . . . "Embedded Adjust System for a Pilger Mill" . . . . . "Embedded Adjust System for a Pilger Mill"@en . "RIV/00216305:26220/05:PU47662" . . "P(GA102/03/1097), P(GA102/05/0663)" . . . "[1CB376F65374]" . "26220" . "Barab\u00E1\u0161, Roman" . "960-8457-12-2" . "This article deals with an embedded system for adjusting of the rolls' position in the pilger mill during its rebuilding. Short introduction into the area of rolling-mills is followed by a detailed description of the pilger rolls and their correct placing inside the mill during the rebuilding period. Then the developed measuring device is described as well as a measuring system evaluating measured data in real-time cooperation with communication system and formal design of the communication protocol."@en . "6"^^ . . . "RIV/00216305:26220/05:PU47662!RIV06-GA0-26220___" . "This article deals with an embedded system for adjusting of the rolls' position in the pilger mill during its rebuilding. Short introduction into the area of rolling-mills is followed by a detailed description of the pilger rolls and their correct placing inside the mill during the rebuilding period. Then the developed measuring device is described as well as a measuring system evaluating measured data in real-time cooperation with communication system and formal design of the communication protocol." . "Praha" . "Praha" . .