Take a photo of a barcode or cover
Read With Others
Book Information
250 pages • paperback • 2 editions
ISBN/UID: 9781447162094
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 13 Apr 2014
Description
Stochastic reachability analysis (SRA) is a method of analyzing the behavior of control systems which mix discrete and continuous dynamics. For probabilistic discrete systems it has been shown to be a practical verification method but for stochast...
Community Reviews
Content Warnings
250 pages • paperback
ISBN/UID: 9781447162094
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 13 Apr 2014
Description
Stochastic reachability analysis (SRA) is a method of analyzing the behavior of control systems which mix discrete and continuous dynamics. For probabilistic discrete systems it has been shown to be a practical verification method but for stochast...