3053 search results - page 343 / 611 » Hybrid Systems Diagnosis |
167
click to vote
HYBRID
2007
Springer
16 years 26 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...
317
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...
201
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...
326
click to vote
HYBRID
2011
Springer
14 years 6 months ago
2011
Springer
We investigate a state feedback Linear Quadratic Regulation problem with a constraint on the number of actuation signals that can be updated simultaneously. Such a constraint aris...
181
click to vote
AINA
2007
IEEE
16 years 1 months 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...