9051 search results - page 21 / 1811 » On detectability of stochastic systems |
HYBRID
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. In this paper, we study the problem of controlling the expected exit time from a region for a class of stochastic hybrid systems. That is, we find the least costly feedb...
ICTAC
2005
Springer
15 years 5 months ago
2005
Springer
In distributed and mobile systems with volatile bandwidth and fragile connectivity, non-functional aspects like performance and reliability become more and more important. To forma...
RP
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We compare several languages for specifying Markovian population models such as queuing networks and chemical reaction networks. These languages —matrix descriptions, s...
120
click to vote
IEEEARES
2006
IEEE
15 years 5 months ago
2006
IEEE
Failure diagnosis in large and complex systems is a critical task. A discrete event system (DES) approach to the problem of failure diagnosis is presented in this paper. A classic...
TSMC
2008
14 years 11 months ago
2008
Stochastic hybrid system (SHS) models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reacha...