Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
721908 | IFAC Proceedings Volumes | 2006 | 6 Pages |
Abstract
The analysis of error propagation in an Air Traffic Management (ATM) environment is addressed. The theory of Hybrid Systems is used to model the error evolution, an observability problem for a Markov Chain with discrete output symbols associated to the transitions is stated, and a runtime observer is proposed for estimating the probability of a given discrete state to be active. Sufficient conditions are given for characterizing the decidability of the addressed observability problem. The results are related to previous works on location observability of deterministic hybrid systems, and are used to analyze an ATM case study, the “clearance to change the flight plan“.
Related Topics
Physical Sciences and Engineering
Engineering
Computational Mechanics
Authors
M.D. Di Benedetto, S. Di Gennaro, A. D'Innocenzo,