828 search results - page 43 / 166 » Modularity for Timed and Hybrid Systems |
121
click to vote
EUROPAR
2004
Springer
15 years 9 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...
145
click to vote
HYBRID
2001
Springer
15 years 8 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...
HYBRID
2007
Springer
15 years 9 months 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...
132
Voted
ARTS
1997
Springer
15 years 7 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...
104
click to vote
QSIC
2005
IEEE
15 years 9 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...