ETFA
2005
IEEE
14 years 5 months ago
2005
IEEE
ETFA
2005
IEEE
14 years 5 months ago
2005
IEEE
This paper describes formal modeling and verification of automation systems from the system engineering point of view. Reuse of model components is the key issue in order to bring...
ETFA
2005
IEEE
14 years 5 months ago
2005
IEEE
: Since their first usage simulators have been employed in training staff in civil aeronautics and in military fields to improve driving skills without compromising safety of peopl...
ETFA
2005
IEEE
14 years 5 months ago
2005
IEEE
This work-in-progress (WIP) paper presents Server-CAN and highlights its operation and possible vulnerabilities from a fault tolerance point of view. The paper extends earlier wor...
ETFA
2005
IEEE
14 years 5 months ago
2005
IEEE
In this paper we deal with the problem of determining a set of decentralized controllers for P/T nets that are able to impose a given global specification on the net behaviour. M...
ETFA
2005
IEEE
14 years 5 months ago
2005
IEEE
ETFA
2005
IEEE
14 years 5 months ago
2005
IEEE
This paper explains the modelling of distributed discrete-event systems in one single simulation model. Our purpose was to evaluate the design of the distributed system and to hig...
ETFA
2005
IEEE
14 years 5 months ago
2005
IEEE
In this paper we consider a quantized discrete-time linear quadratic regulator (DLQR) problem, namely a DLQR problem where the input u may only take values in a given finite set ...
ETFA
2005
IEEE
14 years 5 months ago
2005
IEEE
Industrial control systems architectures have been evolving to the decentralization of control tasks. This evolution associated with the time-critical nature of these tasks, incre...
ETFA
2005
IEEE
14 years 5 months ago
2005
IEEE
The X-by-Wire systems in cars can only be accepted if they provide at least the same dependability than the traditional ones. In this paper we propose a new approach to evaluate t...