]> 2026-07-03T23:04:08+00:00 Probabilistic Safety Analysis of Sensor-Driven Hybrid Automata 0 en 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. Julia M B Braman, Richard M Murray 2008s Hybrid Systems: Computation and Control, 2008 (submitted) bm09-hscc Preprint 2016-05-15T06:16:45Z 2457523.7616319 Probabilistic Safety Analysis of Sensor-Driven Hybrid Automata Title 102 en Title