309 search results - page 41 / 62 » Modeling Railway Control Systems Using Graph Grammars: A Cas... |
DCC
2007
IEEE
15 years 9 months ago
2007
IEEE
We study the problem of maximizing the expected rate over a slowly fading channel with quantized channel state information at the transmitter (CSIT). This problem has been recentl...
TASE
2010
IEEE
14 years 4 months ago
2010
IEEE
--This paper presents a novel approach to evaluate the response time in networked automation systems (NAS) that use a client/server protocol. The developments introduced are derive...
107
click to vote
ARTS
1997
Springer
15 years 2 months ago
1997
Springer
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...
TACAS
1998
Springer
15 years 2 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
ICICS
2005
Springer
15 years 3 months ago
2005
Springer
Modeling and analysis of information system vulnerabilities helps us to predict possible attacks to networks using the network configuration and vulnerabilities information. As a f...