Browse wiki
From MurrayWiki
Probabilistic Safety Analysis of SensorDriven 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 statebased 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 sensordriven hybrid systems. Problem complexity is described and some reduction techniques for the failure probability calculation are given. An example goalbased 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  bm09hscc + 
Title  Probabilistic Safety Analysis of SensorDriven 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/bm09hscc_s.pdf + 
hide properties that link here 
Probabilistic Safety Analysis of SensorDriven Hybrid Automata +  Title 
