4520 search results - page 102 / 904 » Algebraic Techniques for Timed Systems |
194
click to vote
IJCNN
2007
IEEE
16 years 20 days ago
2007
IEEE
— This paper suggests a constructive fuzzy system modeling for time series prediction. The model proposed is based on Takagi-Sugeno system and it comprises two phases. First, a f...
187
click to vote
ERSA
2009
15 years 4 months ago
2009
- The FPGA (re)configuration is a time-consuming process and a bottleneck in FPGA-based Run-Time Reconfigurable (RTR) systems. In this paper, we present a High Level Synthesis (HLS...
169
click to vote
ICRA
2007
IEEE
16 years 20 days ago
2007
IEEE
— This paper extends the notion of residuals for fault detection, well known in the continuous system to the timed discrete events systems. The aim is to design the fault indicat...
193
click to vote
CBSE
2004
Springer
15 years 11 months ago
2004
Springer
Safety critical embedded real-time systems represent a class of systems that has attracted relatively little attention in research addressing component based software engineering. ...
168
click to vote
IPPS
2006
IEEE
16 years 12 days ago
2006
IEEE
We show that timed automata can be used to model and to analyze timeliness properties of embedded system architectures. Using a case study inspired by industrial practice, we pres...