Browse wiki

From MurrayWiki
Jump to: navigation, search
Probabilistic Safety Analysis of Sensor-Driven Hybrid Automata
Abstract The control programs of complex autonomous …
The control programs of complex autonomous systems that have conditional branching can be modeled as linear hybrid systems. When the state knowledge is perfect, linear hybrid systems with state-based transition conditions can be verified against a specified unsafe set using existing model checking software. This paper introduces a formal method for calculating the failure probability due to state estimation uncertainty of these sensor-driven hybrid systems. Problem complexity is described and some reduction techniques for the failure probability calculation are given. An example goal-based control program is given and the failure probability for that system is calculated.
probability for that system is calculated.  +
Authors Julia M B Braman, Richard M Murray  +
ID 2008s  +
Source Hybrid Systems: Computation and Control, 2008 (submitted)  +
Tag bm09-hscc  +
Title Probabilistic Safety Analysis of Sensor-Driven Hybrid Automata +
Type Preprint  +
Categories Papers
Modification date
This property is a special property in this wiki.
15 May 2016 06:16:45  +
URL
This property is a special property in this wiki.
http://www.cds.caltech.edu/~murray/preprints/bm09-hscc_s.pdf  +
hide properties that link here 
Probabilistic Safety Analysis of Sensor-Driven Hybrid Automata + Title
 

 

Enter the name of the page to start browsing from.