Sciweavers

94 search results - page 3 / 19
» Component based deployment of industrial control systems: a ...
Sort
View
HYBRID
1995
Springer
13 years 9 months ago
Compositional and Uniform Modelling of Hybrid Systems
This paper discusses fundamentals of hybrid system modelling. Emphazis is put on compositionality and the use of multiform time. Compositionality refers to the ability of freely co...
Albert Benveniste
RSP
2000
IEEE
130views Control Systems» more  RSP 2000»
13 years 9 months ago
A Comprehensive Prototyping-Platform for Hardware-Software Codesign
We present a flexible, yet cost-effective prototyping platform for hybrid hardware/software systems. Our approach is based on combining off-the-shelf hardware components with cus...
Andreas Koch
CBSQ
2003
Springer
13 years 10 months ago
Assessment of High Integrity Software Components for Completeness, Consistency, Fault-Tolerance, and Reliability
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
Hye Yeon Kim, Kshamta Jerath, Frederick T. Sheldon
HYBRID
1997
Springer
13 years 9 months ago
Controller Scheduling Using Neural Networks: Implementation and Experimental Results
This paper presents the results of simulation and control experiments using a recently proposed method for real-time switching among a pool of controllers. The switching strategy ...
Enrique D. Ferreira, Bruce H. Krogh
RTAS
2005
IEEE
13 years 11 months ago
Hybrid Supervisory Utilization Control of Real-Time Systems
Feedback control real-time scheduling (FCS) aims at satisfying performance specifications of real-time systems based on adaptive resource management. Existing FCS algorithms often...
Xenofon D. Koutsoukos, Radhika Tekumalla, Balachan...