Supervisory control for collision avoidance in vehicular networks using discrete event abstractions
详细信息 查看全文
- 作者：Eric Dallal ; Alessandro Colombo ; Domitilla Del Vecchio…
- 关键词：Discrete event systems ; Abstraction ; Vehicle control ; Supervisory control
- 刊名：Discrete Event Dynamic Systems
- 出版年：2017
- 出版时间：March 2017
- 年：2017
- 卷：27
- 期：1
- 页码：1-44
- 全文大小：
- 刊物类别：Mathematics and Statistics
- 刊物主题：Systems Theory, Control; Operation Research/Decision Theory; Convex and Discrete Geometry; Electrical Engineering; Manufacturing, Machines, Tools;
- 出版者：Springer US
- ISSN：1573-7594
- 卷排序：27
文摘
We consider the problem of controlling a set of vehicles at an intersection, in the presence of uncontrolled vehicles and a bounded disturbance. We begin by discretizing the system in space and time to construct a suitable discrete event system (DES) abstraction, and formally define the problem to be solved as that of constructing a supervisor over the discrete state space that is safe (i.e., collision-free), non-deadlocking (i.e., the vehicles all cross the intersection eventually), and maximally permissive with respect to the chosen discretization. We show how to model the uncontrolled vehicles and the disturbance through uncontrollable events of the DES abstraction. We define two types of relations between systems and their abstraction: state reduction and exact state reduction. We prove that, when the abstraction is a state reduction of a continuous system, then we can obtain a safe, non-deadlocking, and maximally permissive memoryless supervisor. This is obtained by translating safety and non-deadlocking specifications to the abstract domain, synthesizing the supervisor in this domain, and finally translating the supervisor back to the concrete domain. We show that, when the abstraction is an exact state reduction, the resulting supervisor will be maximally permissive among the class of all supervisors, not merely memoryless ones. Finally, we provide a customized algorithm and demonstrate its scalability through simulation.