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.