Sciweavers

143 search results - page 2 / 29
» Hierarchical Hybrid Modeling of Embedded Systems
Sort
View
ATVA
2006
Springer
158views Hardware» more  ATVA 2006»
14 years 2 months ago
Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems
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...
Hang Su, Graham Hemingway, Kai Chen, T. John Koo
JLP
2006
126views more  JLP 2006»
13 years 10 months ago
Compositional modeling and refinement for hierarchical hybrid systems
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 ...
Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky
JNCA
2007
179views more  JNCA 2007»
13 years 10 months ago
Modeling intrusion detection system using hybrid intelligent systems
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...
Sandhya Peddabachigari, Ajith Abraham, Crina Grosa...
FTRTFT
1998
Springer
14 years 3 months ago
A Modular Visual Model for Hybrid Systems
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 ...
Radu Grosu, Thomas Stauner, Manfred Broy
FSS
2002
94views more  FSS 2002»
13 years 10 months ago
Hierarchical neuro-fuzzy quadtree models
Hybrid neuro-fuzzy systems have been in evidence during the past few years, due to its attractive combination of the learning capacity of arti
Flávio Joaquim de Souza, Marley B. R. Vella...