ISSUE 01/2009

Published

22.01.2009

Articles

Reachability of fractional positive continuous-time linear systems

Tadeusz Kaczorek

3-7
- PDF
Pointwise completeness and pointwise degeneracy of linear continuous-time fractional order systems

Tadeusz Kaczorek, Mikolaj Buslowicz

8-11
- PDF
Stability analysis of linear continuous-time fractional systems of comensurate order

Mikolaj Buslowicz

12-17
- PDF
Editorial

Wojciech Grega, J. Kornecki Andrew, Janusz Zalewski

20-22
- PDF
Reusing Verilog designs in the sunchronous language Esterel

Menachem Leuchter, Shmuel Tyszberowicz, A. Feldman Yishai

23-29
- PDF
Towards the safety verification of real-time systems with the COQ proof assistant

Olga Tveretina

30-32
- PDF
Imroving dependability of automation for free electron laser FLASH

Boguslaw Koseda, Tomasz Szmuc, Wojciech Cichalewski

33-39
- PDF
Using pre-emption for dependable urban vehicle traffic

Tiberiu Letia, Sergiu Barbu, Florin Dinga

40-45
- PDF
Incorporating fault tolerance into component-based architectures for embedded systems

Shourong Lu, A. Halang Wolfgang

46-51
- PDF
Fault sensitivity of explicit DMC and GPC algorithms

Piotr Gawkowski, Maciej Lawrynczuk, Piotr Marusa, Janusz Sosnowski, Piotr Tatjewski

52-56
- PDF
Speed analysis of a digital controller in time critical applications

Pawel Piatek, Wojciech Grega

57-61
- PDF
Task jitter measurement under RTLinux operating systems

Pavel Moryc, Jindrich Cernohorsky

62-65
- PDF
ILERT - International Learning Environment for Real-Time software-intensive control systems

J. Kornecki Andrew, B. Hilburn Thomas, Wojciech Grega, Miroslav Sveda, Jean-Marc Thiriet

66-71
- PDF

Preface

In the spotlight

72-73
- PDF
Events

74-75
- PDF