828 search results - page 43 / 166 » Modularity for Timed and Hybrid Systems |
149
click to vote
EUROPAR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Simulation platforms for network processing still have difficulties in finding a good compromise between speed and accuracy. This makes it difficult to identify the caus...
179
click to vote
HYBRID
2001
Springer
15 years 10 months ago
2001
Springer
Efficient algorithms exist for fault detection and isolation of physical systems based on functional redundancy. In a qualitative approach, this redundancy can be captured by a tem...
125
click to vote
HYBRID
2007
Springer
16 years 3 days ago
2007
Springer
The standard approach in feedback control systems is to sample and control periodically. For some applications, such as networked control systems or severely energy-constrained sys...
166
click to vote
ARTS
1997
Springer
15 years 10 months ago
1997
Springer
We introduce a mathematical model of the timed behaviour of components with streams as input and output using a hierarchy of timing concepts. We distinguish non-timed streams, dis...
130
click to vote
QSIC
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper describes a system to automatically mark student programs. It is a real time examination system that provides an environment for the compilation and execution of softwa...