Abstractions of Stochastic Hybrid Systems

  title={Abstractions of Stochastic Hybrid Systems},
  author={M. L. Bujorianu and M. C. Bujorianu and John Lygeros},
  journal={Proceedings of the 44th IEEE Conference on Decision and Control},
Many control systems have large, infinite state space that can not be easily abstracted. One method to analyse and verify these systems is reachability analysis. It is frequently used for air traffic control and power plants. Because of lack of complete information about the environment or unpredicted changes, the stochastic approach is a viable alternative. In this paper, different ways of introducing rechability under uncertainty are presented. A new concept of stochastic bisimulation is… CONTINUE READING

From This Paper

Topics from this paper.
5 Citations
37 References
Similar Papers

Similar Papers

Loading similar papers…