Sciweavers

13717 search results - page 298 / 2744
» Control Systems
Sort
View
FSEN
2009
Springer
15 years 8 months ago
Verification, Performance Analysis and Controller Synthesis for Real-Time Systems
This note aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill [7, 8]. The...
Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane
CCGRID
2004
IEEE
15 years 8 months ago
Adaptive control system for server groups in enterprise data centers
Sven Graupner, J.-M. Chevrot, Nigel Cook, R. Kavan...
CCS
2004
ACM
15 years 8 months ago
Synthesising verified access control systems in XACML
Nan Zhang 0003, Mark Ryan, Dimitar P. Guelev
ETFA
2006
IEEE
15 years 8 months ago
Component based deployment of industrial control systems: a hybrid scheduling approach
This paper deals with the IEC 61499 standard. A function block (FB) is an event triggered component and an application is a distributed FBs network on several devices. We consider...
Mohamed Khalgui, Xavier Rebeuf, Françoise S...