Scipediacontent: Scipediacontent moved page Draft Content 516801498 to Lygeros et al 2008a

2021-01-25T18:49:31Z

Scipediacontent moved page Draft Content 516801498 to Lygeros et al 2008a

Scipediacontent: Created page with " == Abstract == Many control systems have large, infinite state space that can not be easily abstracted. One method to analyse and verify these systems is reachability analys..."

2021-01-25T18:49:27Z

Created page with " == Abstract == Many control systems have large, infinite state space that can not be easily abstracted. One method to analyse and verify these systems is reachability analys..."

New page

== Abstract ==

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 introduced and its connection with the reachability analysis is established. The work is mainly motivated by safety critical situations in air traffic control (like collision detection and avoidance) and formal tools are based on stochastic analysis.

== Original document ==

The different versions of the original document can be found in:

* [http://dx.doi.org/10.1109/cdc.2005.1582906 http://dx.doi.org/10.1109/cdc.2005.1582906]

* [https://research.utwente.nl/en/publications/abstractions-of-stochastic-hybrid-systems(00b19ae4-34df-4705-8b3b-01bd25c64f57).html https://research.utwente.nl/en/publications/abstractions-of-stochastic-hybrid-systems(00b19ae4-34df-4705-8b3b-01bd25c64f57).html]

* [https://research.utwente.nl/en/publications/abstractions-of-stochastic-hybrid-systems(53512610-9b86-400f-8868-ecd6098279b5).html https://research.utwente.nl/en/publications/abstractions-of-stochastic-hybrid-systems(53512610-9b86-400f-8868-ecd6098279b5).html]

* [https://ris.utwente.nl/ws/files/5100776/BisimJOct06_ver5.pdf https://ris.utwente.nl/ws/files/5100776/BisimJOct06_ver5.pdf]

* [http://xplorestaging.ieee.org/ielx5/10559/33412/01582906.pdf?arnumber=1582906 http://xplorestaging.ieee.org/ielx5/10559/33412/01582906.pdf?arnumber=1582906],
: [http://dx.doi.org/10.1109/cdc.2005.1582906 http://dx.doi.org/10.1109/cdc.2005.1582906]

* [https://research.utwente.nl/en/publications/abstractions-of-stochastic-hybrid-systems https://research.utwente.nl/en/publications/abstractions-of-stochastic-hybrid-systems],
: [https://www.narcis.nl/publication/RecordID/oai%3Aris.utwente.nl%3Apublications%2F00b19ae4-34df-4705-8b3b-01bd25c64f57 https://www.narcis.nl/publication/RecordID/oai%3Aris.utwente.nl%3Apublications%2F00b19ae4-34df-4705-8b3b-01bd25c64f57],
: [https://academic.microsoft.com/#/detail/2159972574 https://academic.microsoft.com/#/detail/2159972574]

← Older revision	Revision as of 18:49, 25 January 2021
(No difference)

Lygeros et al 2008a - Revision history

Scipediacontent: Scipediacontent moved page Draft Content 516801498 to Lygeros et al 2008a

Scipediacontent: Created page with " == Abstract == Many control systems have large, infinite state space that can not be easily abstracted. One method to analyse and verify these systems is reachability analys..."