107 search results - page 2 / 22 » Optimal Control of Discrete Hybrid Stochastic Automata |
CIE
2009
Springer
13 years 11 months ago
2009
Springer
We present a technique to associate to stochastic programs written in stochastic Concurrent Constraint Programming a semantics in terms of a lattice of hybrid automata. The aim of ...
HYBRID
2007
Springer
13 years 10 months ago
2007
Springer
This work investigates some of the computational issues involved in the solution of probabilistic reachability problems for discretetime, controlled stochastic hybrid systems. It i...
HYBRID
2007
Springer
13 years 10 months ago
2007
Springer
Hybrid discrete-continuous models, such as Jump Markov Linear Systems, are convenient tools for representing many real-world systems; in the case of fault detection, discrete jumps...
HYBRID
1995
Springer
13 years 8 months ago
1995
Springer
This paper summarizes the definitions and several of the main results of an approach to hybrid systems, which combines finite automata and linear systems, developed by the author...
HYBRID
2001
Springer
13 years 8 months ago
2001
Springer
