Model-checking in finite state-space systems with fine-grained abstractions using SPIN

2001 ◽  
pp. 16-36 ◽  
Author(s):  
Marsha Chechik ◽  
Benet Devereux ◽  
Arie Gurfinkel
Keyword(s):  
Model Checking ◽  
State Space ◽  
Space Systems ◽  
Fine Grained ◽  
Finite State ◽  
State Space Systems ◽  
Finite State Space

Rate modulation in dams and ruin problems

1996 ◽  
Vol 33 (2) ◽  
pp. 523-535 ◽  
Author(s):  
Søren Asmussen ◽  
Offer Kella
Keyword(s):  
State Space ◽  
Release Rate ◽  
Risk Process ◽  
The State ◽  
Limiting Distribution ◽  
Process Conditions ◽  
Explicit Formulas ◽  
Rate Modulation ◽  
Finite State ◽  
Finite State Space

We consider a dam in which the release rate depends both on the state and some modulating process. Conditions for the existence of a limiting distribution are established in terms of an associated risk process. The case where the release rate is a product of the state and the modulating process is given special attention, and in particular explicit formulas are obtained for a finite state space Markov modulation.

Sign in / Sign up

Export Citation Format

Share Document