Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem (Q624936): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(4 intermediate revisions by 4 users not shown)
Property / describes a project that uses
 
Property / describes a project that uses: ToolboxLS / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/j.automatica.2010.08.006 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2084772009 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Viability theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Stochastic Target Hitting Time and the Problem of Early Retirement / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4417983 / rank
 
Normal rank
Property / cites work
 
Property / cites work: DISCRETE TIME RISK MODELS UNDER RATES OF INTEREST / rank
 
Normal rank
Property / cites work
 
Property / cites work: Ruin probabilities with a Markov chain interest model / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3997210 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Optimal harvesting of stochastic spatial resources / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3136505 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Ruin probabilities with compounding assets for discrete time finite horizon problems, independent period claim sizes and general premium structure. / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Reachability Problem for Uncertain Hybrid Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Ergodic Control of Switching Diffusions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4953390 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hybrid Systems: Computation and Control / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4004190 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On reachability and minimum cost optimal control / rank
 
Normal rank
Property / cites work
 
Property / cites work: The flexible, extensible and efficient toolbox of level set methods / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4953402 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the ruin probabilities in a general economic environment / rank
 
Normal rank
Property / cites work
 
Property / cites work: Ruin theory with compounding assets -- a survey / rank
 
Normal rank
Property / cites work
 
Property / cites work: Ruin models with investment income / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4340161 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Control of ruin probabilities by discrete-time investments / rank
 
Normal rank
Property / cites work
 
Property / cites work: Fishery management under multiple uncertainty / rank
 
Normal rank
Property / cites work
 
Property / cites work: Precise estimates for the ruin probability in finite horizon in a discrete-time model with heavy-tailed insurance and financial risks. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Ruin probabilities for discrete time risk models with stochastic rates of interest / rank
 
Normal rank
Property / cites work
 
Property / cites work: Ruin problems for a discrete time risk model with random interest rate / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 17:49, 3 July 2024

scientific article
Language Label Description Also known as
English
Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem
scientific article

    Statements

    Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem (English)
    0 references
    0 references
    0 references
    0 references
    11 February 2011
    0 references
    hybrid systems
    0 references
    stochastic systems
    0 references
    reachability
    0 references
    safety
    0 references
    target hitting
    0 references
    optimal control
    0 references
    dynamic programming
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references