183 search results - page 1 / 37 » A Hybrid Testing Methodology for Railway Control Systems |
SAFECOMP
2004
Springer
13 years 11 months ago
2004
Springer
FATES
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. Railway control systems are timed and safety-critical. Testing these systems is a key issue. Prior to system testing, the software of a railway control system is tested s...
HYBRID
1997
Springer
13 years 10 months ago
1997
Springer
In this paper we outline the derivation of a hybrid Hamilton-JacobiBellman equation for our Multiple Agent Hybrid Control Architecture (MACHA) [5, 4] and a hybrid system dynamic p...
TASE
2008
IEEE
13 years 5 months ago
2008
IEEE
In this paper we deal with the problem of modeling railway networks with Petri nets so as to apply the theory of supervisory control for discrete event systems to automatically de...
FTCS
1998
13 years 7 months ago
1998
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...