1287 search results - page 35 / 258 » Reduction of Timed Hybrid Systems |
175
click to vote
CMSB
2008
Springer
15 years 7 months ago
2008
Springer
Kinetic models for biochemical systems often comprise a large amount of coupled differential equations with species concentrations varying on different time scales. In this paper w...
150
click to vote
HYBRID
1994
Springer
15 years 10 months ago
1994
Springer
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
147
click to vote
GPC
2007
Springer
16 years 2 days ago
2007
Springer
Abstract. Geoscience analysis is currently limited by cumbersome access and manipulation of large datasets from remote sources. Due to their data-heavy and compute-light nature, th...
296
click to vote
SOFTCOMP
2010
15 years 4 months ago
2010
Abstract This paper presents an extension of MOVICAB-IDS, a Hybrid Intelligent Intrusion Detection System characterized by incorporating temporal control to enable real-time proces...
174
click to vote
AINA
2007
IEEE
16 years 8 days ago
2007
IEEE
Embedded signal processing system is a typical type of application in embedded domain. Such systems typically have requirements on high real-time responsiveness and large buffer c...