Verification of discrete time stochastic hybrid systems A stochastic reach-avoid decision problem

Metadata only

Author

Date

2010-12

Type

Journal Article

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

Journal / series

Automatica

Volume

46(12)

Pages / Article No.

1951 - 1961

Publisher

Elsevier

Subject

Hybrid systems; Stochastic systems; Reachability; Safety; Target hitting; Optimal control; Dynamic programming

Organisational unit

03751 - Lygeros, John / Lygeros, John

Notes

Received 16 August 2009, Revised 27 March 2010, Accepted 15 July 2010, Available online 16 September 2010.

More

ETH Bibliography

yes

Altmetrics

Research Collection