Volume 36; Issue 1

Main
IFAC Proceedings Volumes
Volume 36; Issue 1

IFAC Proceedings Volumes

Volume 36; Issue 1

1

Assessment of Software Development Tools for Safety-Critical Real-Time Systems *

Kornecki, Andrew, Zalewski, Janusz

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 761 KB

english, 2003

2

Software Industrial Controller - “soft PLC”

Chmiel, Miroslaw, Hrynkiewicz, Edward, Milik, Adam, Zak, Krzysztof

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 707 KB

english, 2003

3

Reinterpretation of the IEC 61131 Ladder Diagram To Event Driven Program Based on the Dataflow Model

Choinski, Dariusz

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 567 KB

english, 2003

4

Universal System for Buildings Automation

Lukas, Vit, Koziorek, Jiri

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 686 KB

english, 2003

5

Accelerated Co-Simulation of Hardware-Software System Based on Configurable Hardware Accelertor and Selective Simulation

Milik, Adam, Hrynkiewicz, Edward

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 741 KB

english, 2003

6

Data Concentrator Using Microprocesor Unit IPC@CHIP S12

Laszczyk, Piotr, Zyzański, Piotr

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 456 KB

english, 2003

7

Uncertainty in Resistance-to-Code Converters Based on Microcontrollers Measuring Time Intervals

Jordana, Josep, Reverter, Ferran, Casas, Óscar, Pallàs-Areny, Ramon

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 615 KB

english, 2003

8

General-Purpose PC-Based Sequencing Controller with TCP/IP Communication

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 688 KB

english, 2003

9

Modern Control Methods On The Microcomputer Controllers

Vašek, Vladimír, Dolinay, Jan

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 697 KB

english, 2003

10

Software Compatibility of Motorola Microcontrollers

Vašek, Vladimír, Dostálek, Petr

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 549 KB

english, 2003

11

Programmable TCP/IP Network Simulator for Testing of Control Systems

Plesowicz, Przemyslaw

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 440 KB

english, 2003

12

Implementation of Neural Network for Image Processing on the FPGA Programmable Systems

Wiatr, Kazimierz, Chwiej, Paweł

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 689 KB

english, 2003

13

Introduction to Formal Synthesis

Forczek, Miroslaw, Zayczenko, Sergei, Hrynkiewicz, Katarzyna

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 634 KB

english, 2003

14

Implementation of Assertions Checkers in Software and Hardware Verification Environments

Forczek, Miroslaw, Hrynkiewicz, Katarzyna

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 563 KB

english, 2003

15

MLAV. Object Oriented Methodology for the Analysis and Modelling of the Control Logic of Discrete Event Systems

González, Víctor M., Mateos, Felipe, Ng, Amos H.C.

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 731 KB

english, 2003

16

Handel-C Implementation of Handwritten Digits Recognition

Gorgoń, Marek, Jabłoński, Mirosław

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 603 KB

english, 2003

17

A Comparative Analysis of Continuous-and Discrete-Time Field Programmable Analogue Arrays

Błaszkowski, Adam, Ciążyński, Władysław, Garlicki, Marek, Kulisz, Józef

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 743 KB

english, 2003

18

An Universal Approach to Logic Synthesis of Digital Circuits

Rawski, Mariusz, Nowicka, Mirosława, Tomaszewicz, Paweł, Łuba, Tadeusz

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 737 KB

english, 2003

19

Matlab Based Closed Set Speaker Recognition

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 668 KB

english, 2003

20

An Analysis of Bussgang Methods in Blind Channel Equalization

Dziwoki, Grzegorz

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 637 KB

english, 2003

21

Active Noise Control Using Two-Input Two-Output Feedforward System

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 608 KB

english, 2003

22

Implementation of DSP Algorithms Using High-Level Approach

Barva, Martin, Zezulka, František

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 371 KB

english, 2003

23

A Technique for Modeling Vocal-Tract Acoustic Properties

Izydorczyk, Jacek

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 568 KB

english, 2003

24

The Low Cost Measuring of the Magnitude of the Sinusoidal Complex Waveform

Rymarski, Zbigniew, Kulawik, Maciej

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 411 KB

english, 2003

25

Integration of a Long Test Pattern Generator Composed of T-Type Flip-Flops into a Scan Path

Garbolino, Tomasz, Hlawiczka, Andrzej

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 599 KB

english, 2003

26

On-Chip Testing of Linear Time Invariant Systems Using Maximum-Length Sequences

Rufer, Libor, Simeu, Emmanuel, Mir, Salvador

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 485 KB

english, 2003

27

The VHDL Model of Error Detection and Correction Subsystem for High Reliable Microcomputer Control

Mitrych, Jiří, Musil, Vladislav, Vlček, Karel

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 334 KB

english, 2003

28

Short Range Radio Data Transfer For Process Automation

Bradáč, Zdeněk, Bradáč, František, Zezulka, František

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 371 KB

english, 2003

29

Algorithms Applications to Determine Optimum Trajectories of the Controlled Process

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 368 KB

english, 2003

30

The Characteristics of the Multiport Averaging Probe with Different Types of the Shape

Orlíková, Ing. Soňa

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 468 KB

english, 2003

31

The Sun Collector

David, Románek, Radek, Taraba, Hana, Soušková

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 320 KB

english, 2003

32

Programmable Flow Correction in Application to Neutralization Pilot Plant

Stebel, Krzysztof

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 419 KB

english, 2003

33

Programmable Measurement Converter Based on Advanced Methods for Phase Shift- and Frequency-to-Code Conversion

Kirianaki, Nikolay V., Yurish, Sergey Y.

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 348 KB

english, 2003

34

Creation of Application by the Kernel Extension for the use of Framework

Penhaker, Ing. Marek

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 456 KB

english, 2003

35

Can Bus Communication Modelling

Kotzian, Jiří, Rehberger, Ivo, Srovnal, Vilém

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 477 KB

english, 2003

36

Technological Control System in Linux

Slanina, Zdenek, Srovnal, Vilem

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 359 KB

english, 2003

37

Embedded Control System with LCD Display, Keyboard and Communication Interfaces

Andrej, Bencúr, David, Vala, Hana, Soušková

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 321 KB

english, 2003

38

Operating Systems for Embedded Computers

Kočíš, Tomáš, Srovnal, Vilém

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 602 KB

english, 2003

39

Microcontroller Device for Measurement of Inclination Angle

Wcislik, Miroslaw, Rolek, Jarosław

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 368 KB

english, 2003

40

Embedded Control System for Temperature Controlling

Šín, Karel, Kotzian, Jiří, Srovnal, Vilém

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 315 KB

english, 2003

41

Graphical Framework-Supported Digital Design

Kasik, Vladimir

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 310 KB

english, 2003

42

Modifications of Macro-Cells that Facilitate Utilization of Logic Resources Included into Programmable Structures

Pucher, Krzysztof, Polok, Dariusz

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 645 KB

english, 2003

43

Sensitivity Analysis and Sensitivity Invariants of Similar Networks of Active Two-Ports in Cascade Connections

Kukiełka, Andrzej

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 329 KB

english, 2003

44

Preface

Vlcek, Karel, Srovnal, Vilem

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 110 KB

english, 2003

45

Executable Specifications with Rapid Prototyping for Embedded Distributed Systems

Švéda, Miroslav

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 752 KB

english, 2003

46

Embedded Remote Measurement and Control System Apply GSM

Hájovský, Radovan, Horák, Bohumil, Kotzián, Jiří, Koziorek, Jiří, Srovnal, Vilém

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 694 KB

english, 2003

47

Network Node for Temperature Control of Scientific Equipment for Material Processing in Space Station

Zdenek, J., Koucky, L., Mnuk, P.

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 461 KB

english, 2003

48

Software Implemented Fault Inserters

Sosnowski, J., Lesiak, A., Gawkowski, P., Wlodawiec, P.

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 728 KB

english, 2003

49

Design and Verification of Real-Time UML System Models

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 413 KB

english, 2003

50

Virtual Control of Robot

Kučera, Pavel, Honzík, Petr, Zezulka, František

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 330 KB

english, 2003

51

System Level Integration Circuits

Nowiński, Maciej, Rudnicki, Tomasz

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 820 KB

english, 2003

52

Synchronization for OFDM Modulation

Szebeszczyk, Marcin

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 397 KB

english, 2003

53

Easy Programmable Controller for Hybrid Exothermic Reactor

Metzger, Mieczyslaw

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 634 KB

english, 2003

54

Labview-Based Configurable Virtual Controller for Distributed Parameter Reactors

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 493 KB

english, 2003

55

Microcomputer Based Control of Frequency Regulator in Induction Motors

Adam, George K.

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 761 KB

english, 2003

56

DSP in Power Quality Monitoring Device

Wcislik, Miroslaw, Kazala, Robert

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 617 KB

english, 2003

57

Microcontroller Based Programmable Signal Generator

Gontean, Aurel, Lucaciu, Liviu, Dan, Balan

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 413 KB

english, 2003

58

Design and Implementation of Digital Controllers on FPGA Devices

Guibert, C., Boulbair, Z., Auger, F., Loron, L.

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 704 KB

english, 2003

59

A Pipeline Scheduling Algorithm for High-Level Synthesis

Sllame, Azeddien M.

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 798 KB

english, 2003

60

DOP – A Simple Processor Core for Educational Purposes

Bečvář, Miloš, Pluháček, Alois, Daněček, Jiří

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 680 KB

english, 2003

61

Scalable Multiplication and Inversion Unit for ECDSA

Schmidt, Jan, Novotný, Martin

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 677 KB

english, 2003

62

A Multi-Protocol Cache Controller

Kutálek, Vladimír, Dvořák, Václav

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 750 KB

english, 2003

63

Programmable ASIC-Based Analogue-DSP Interface for Real-Time Data Collection

Mooney, O., Mahdi, A.E., Grout, I.A.

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 734 KB

english, 2003

64

High Performance Cross-Correlator

Št'astný, Jakub

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 690 KB

english, 2003

65

On Determining the Speed of Circuits Implemented With LUT-Based FPGA'S

Krasniewski, Andrzej

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 812 KB

english, 2003

66

Verification of Fault-Tolerant Embedded Computer Systems Using Higher-Level Simulation Model

Hlavička, Jan, Racek, Stanislav, Grillinger, Petr

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 854 KB

english, 2003

67

High-Performance Design Approach to Algorithmic A/D Converter Using new Types of Switched-Current Memory Cells

Šubrt, Ondřej, Drechsler, Petr

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 430 KB

english, 2003

68

Speech Communications Applications

Kłosowski, Piotr

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 365 KB

english, 2003

69

Quality Transmission of Additional Image Information by 2D Image Basis

Hrianka, Miroslav, Slusarčík, Marek

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 362 KB

english, 2003

70

Feedback Loops Detection for RT Circuit Test Application Purposes Based on an Algebraic Method

Mika, Daniel, Kotásek, Zdenĕk

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 594 KB

english, 2003

71

Development in Safety and Reliability of Programmable Devices and Systems

Zezulka, František, Bradáč, Zdeněk

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 429 KB

english, 2003

72

Motor Control System with Smart Gate Driver

Kubiczek, Zdeněk

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 401 KB

english, 2003

73

Impact of Decomposition Direction on Synthesis Effectiveness

Hrynkiewicz, Edward, Kania, Dariusz

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 600 KB

english, 2003

74

The Laboratory for PLD Education – Technical Equipment Design and Development

Kasik, Vladimir

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 318 KB

english, 2003

75

Sensing and Processing of Phonocardiographic Signal By PC Sound Card

Bernatík, Radim

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 436 KB

english, 2003

76

Designed of Module Control Based on DTMF Signaling

Więcławek, Wojciech

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 348 KB

english, 2003

77

Evaluation of Heart Rate Variability from ECG Signal

Štula, Tomáš

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 400 KB

english, 2003

78

Emc Measurement System

Hájovský, Radovan, Gelnar, Petr, Filipová, Blanka

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 395 KB

english, 2003

79

Telemetry of Pletysmograpbycal Record and its Processing

Semkovič, Ing. Jan, Penhaker, Ing. Marek

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 481 KB

english, 2003

80

Author Index

Journal:

IFAC Proceedings Volumes

Year:

2003

File:

PDF, 82 KB

2003

81

Programming of Sequential System in Ladder Diagram Language

Miroslaw, Wcislik

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 366 KB

english, 2003

82

Time-Triggered and Event-Triggered Real-Time Computing for Distributed Control Systems

Wajs, W., P., Wais

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 392 KB

english, 2003

83

INVAR – A Benchmark Generation Tool

Danĕk, Martin, Kuneš, Michal

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 573 KB

english, 2003

84

Nested Loops Degree Impact on RTL Digital Circuit Testability 1

Strnadel, Josef

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 544 KB

english, 2003

85

On-Line Identification for Active Noise Control

Błażej, Małgorzata

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 652 KB

english, 2003

86

2D Multicomponent Wavelet Transform Implementation in FPGA

Crha, Ludĕk, Venard, Olivier, Blanchard, Yves, Lionti, Rosolino

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 593 KB

english, 2003

87

Signal Transmission Problems in High Distorted Environments

Izydorczyk, Jacek, Kncharczyk, Marcin

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 500 KB

english, 2003

88

The Model of a Voice-Controlled Lift

Cernys, P., Kubilius, V., Macerauskas, V., Ratkevicius, K.

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 604 KB

english, 2003

89

Signal Watermarking by Wavelet Transformation Schemes

Snášel, Václav, Šin, Karel, Vlček, Karel

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 356 KB

english, 2003

90

Turbo Code Paradigm and SISO Implementations

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 826 KB

english, 2003

91

Speech Identification in Embedded Systems Using DSP

Macháček, Zdenĕk, Šín, Karel, Srovnal, Vilém

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 427 KB

english, 2003