14190 search results - page 30 / 2838 » Abstractions for hybrid systems |
98
Voted
HYBRID
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. In this paper we model coupled genetic and metabolic networks as hybrid systems. The vector fields are multi - affine, i.e., have only product - type nonlinearities to a...
HYBRID
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
HYBRID
2007
Springer
15 years 6 months ago
2007
Springer
112
click to vote
MATA
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Intrusion detection systems are quickly becoming a standard requirement in building a network security infrastructure. Although many established techniques and commercial...
ENTCS
2006
14 years 11 months ago
2006
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...