31 search results - page 4 / 7 » etfa 2005 |
ETFA
2005
IEEE
14 years 21 hour ago
2005
IEEE
This article covers research work about unmanned helicopters that is being developed by the Portuguese SME IntRoSys, S.A. in the context of a generic project targeting the develop...
ETFA
2005
IEEE
14 years 21 hour ago
2005
IEEE
This work describes the proposal of a set of mechanisms to be applied in distributed component-based systems to allow the development of real-time applications capable of offering...
ETFA
2005
IEEE
14 years 21 hour 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 21 hour 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 21 hour ago
2005
IEEE
The main objective of the REMPLI project1 is to develop a distributed infrastructure suitable for realtime monitoring and control of energy distribution and consumption. PLC techn...