FORMALLY CORRECT ASYNCHRONOUS CONTROL FOR GUIDEPATH-BASED TRAFFIC SYSTEMS

The paper presents a DES-based controller for an emerging, important class of industrial and public transport media – guidepath-based, zone-controlled, closed traffic systems. We build upon and extend our earlier results concerning the formal methods of control synthesis. An essential requirement for the traffic flow in these systems is that the vehicles maintain their ability to access every location in the underlying guidepath-network, throughout the entire, presumably infinite, length of the system operation. The proposed construction ensures the required qualitative features of the control and gives a formal framework for the development of the computer-aided system that allows an experimental, simulation-based optimization of the parameters that decide about the system efficiency.