15th Triennial World Congress of the International Federation of Automatic Control
Barcelona, 2126 July 2002
Safety and Reliability in Computer Control
Session Slot:
T-We-M13
Area Code:
9e
Paper Title
Authors
Testing Embedded Control Systems Using Hardware-in-the-Loop Simulation and Temporal Logic
Marco A.A. Sanvido Vaclav Cechticky, Walter Schaufelberger
Simulation and Reliability Analysis of Control Systems with Multiversion Software
V.S. Kharchenko, V.V. Sklyar
Numerically Reliable Design for Proportional and Derivative State-Feedback Decoupling Controller
Delin Chu and Michel Malabre
What is Reliable Control?
Koichi Suyama
Conflict Resolution by Negotiation
Mustafa Suphi ERDEN, Kemal LEBLEBİCİOĞLU and Uğur HALICI
Dealing with Exceptions in Safety-Related Embedded Systems
Wolfgang A. Halang and Matjaž Colnarič