4962 search results - page 424 / 993 » Stochastic Model Checking |
116
click to vote
AUTOMATICA
2005
15 years 3 months ago
2005
Model predictive control (MPC) is of interest because it is one of the few control design methods which preserves standard design variables and yet handles constraints. MPC is nor...
146
click to vote
ENTCS
2010
15 years 1 months ago
2010
Molecular biological models usually suffer from a dramatic combinatorial blow up. Indeed, proteins form complexes and can modify each others, which leads to the formation of a hug...
119
Voted
HYBRID
2007
Springer
15 years 10 months 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...
171
click to vote
CP
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In the last decades, the Satisfiability and Constraint Satisfaction Problem frameworks were extended to integrate aspects such as uncertainties, partial observabilities, ...
136
click to vote
NETWORKING
2007
15 years 5 months ago
2007
We evaluate the performance of a class of two-hop relay protocols for mobile ad hoc networks. The interest is on the multicopy two-hop relay (MTR) protocol, where the source may ge...