2366 search results - page 249 / 474 » Pfaffian Hybrid Systems |
162
click to vote
HYBRID
2007
Springer
16 years 23 days ago
2007
Springer
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...
313
click to vote
SOFTCOMP
2010
15 years 5 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...
198
click to vote
FORMATS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We consider temporal logic formulae specifying constraints in continuous time and space on the behaviors of continuous and hybrid dynamical system admitting uncertain par...
191
click to vote
ATAL
2011
Springer
14 years 6 months ago
2011
Springer
Plug-in hybrid electric vehicles are expected to place a considerable strain on local electricity distribution networks, requiring charging to be coordinated in order to accommoda...
180
click to vote
AINA
2007
IEEE
16 years 29 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...