143 search results - page 2 / 29 » Hierarchical Hybrid Modeling of Embedded Systems |
ATVA
2006
Springer
13 years 9 months ago
2006
Springer
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...
JLP
2006
13 years 5 months ago
2006
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
JNCA
2007
13 years 5 months ago
2007
The process of monitoring the events occurring in a computer system or network and analyzing them for sign of intrusions is known as intrusion detection system (IDS). This paper p...
FTRTFT
1998
Springer
13 years 9 months ago
1998
Springer
Visual description techniques are particularly important for the design of hybrid systems because specifications of such systems must usually be discussed between engineers from a ...
FSS
2002
13 years 5 months ago
2002
Hybrid neuro-fuzzy systems have been in evidence during the past few years, due to its attractive combination of the learning capacity of arti