183 search results - page 9 / 37 » A Hybrid Testing Methodology for Railway Control Systems |
154
click to vote
HIS
2009
15 years 3 months ago
2009
The problem of failure diagnosis has received a considerable attention in the domain of reliability engineering, process control and computer science. The increasing stringent req...
153
click to vote
HYBRID
2009
Springer
16 years 19 days ago
2009
Springer
Abstract. In this paper, we consider the problem of generating optimized, executable control code from high-level, symbolic specifications. In particular, we construct symbolic co...
150
click to vote
CDC
2008
IEEE
16 years 9 days ago
2008
IEEE
ate Abstractions of Discrete-Time Controlled Stochastic Hybrid Systems Alessandro D’Innocenzo, Alessandro Abate, and Maria D. Di Benedetto — This work proposes a procedure to c...
149
click to vote
RAS
2010
15 years 4 months ago
2010
In this paper we extend the control methodology based on Extended Markov Tracking (EMT) by providing the control algorithm with capabilities to calibrate and even partially recons...
137
click to vote
HYBRID
2009
Springer
16 years 19 days ago
2009
Springer
To reduce the amount of data transfer in networked control systems and wireless sensor networks, measurements are usually taken only when an event occurs, rather than at each synch...