离散时间系统的随机可达性:在飞机避碰中的应用

42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475) Pub Date : 2003-12-09 DOI:10.1109/CDC.2003.1272482

Oliver Watkins, J. Lygeros

{"title":"离散时间系统的随机可达性:在飞机避碰中的应用","authors":"Oliver Watkins, J. Lygeros","doi":"10.1109/CDC.2003.1272482","DOIUrl":null,"url":null,"abstract":"Methods of approximating reachability probabilities and their possible application to the problem of conflict detection in air traffic control are presented. A general description of stochastic reachability for discrete time systems and an analytical formulation for their solution is given. We then outline the problem of separation assurance in air traffic control and the role of conflict detection within this. A randomized conflict detection algorithm is described in detail and its performance is compared with another conflict detection algorithm.","PeriodicalId":371853,"journal":{"name":"42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475)","volume":"28 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2003-12-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"47","resultStr":"{\"title\":\"Stochastic reachability for discrete time systems: an application to aircraft collision avoidance\",\"authors\":\"Oliver Watkins, J. Lygeros\",\"doi\":\"10.1109/CDC.2003.1272482\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Methods of approximating reachability probabilities and their possible application to the problem of conflict detection in air traffic control are presented. A general description of stochastic reachability for discrete time systems and an analytical formulation for their solution is given. We then outline the problem of separation assurance in air traffic control and the role of conflict detection within this. A randomized conflict detection algorithm is described in detail and its performance is compared with another conflict detection algorithm.\",\"PeriodicalId\":371853,\"journal\":{\"name\":\"42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475)\",\"volume\":\"28 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2003-12-09\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"47\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CDC.2003.1272482\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CDC.2003.1272482","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 47

摘要

提出了可达概率的逼近方法及其在空中交通管制中冲突检测问题中的应用。给出了离散时间系统随机可达性的一般描述及其解的解析表达式。然后，我们概述了空中交通管制中的分离保证问题以及冲突检测在其中的作用。详细介绍了一种随机冲突检测算法，并与另一种冲突检测算法进行了性能比较。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Stochastic reachability for discrete time systems: an application to aircraft collision avoidance

Methods of approximating reachability probabilities and their possible application to the problem of conflict detection in air traffic control are presented. A general description of stochastic reachability for discrete time systems and an analytical formulation for their solution is given. We then outline the problem of separation assurance in air traffic control and the role of conflict detection within this. A randomized conflict detection algorithm is described in detail and its performance is compared with another conflict detection algorithm.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475)

自引率

0.00%

发文量