The section-wise macroscopic modeling of trafflc flow is considered. A section is supposed t o be bounded by detectors and several kilometers long. To compute a section model without input from the adjacent sections, feasible boundary conditions have to be specified and boundary variables have to be approximated by the detector measurements. These approximations lead to unknown disturbances in the section model, depending on the direction of propagation of information in the trafflc flow. Various approximations of the boundary variables are described and a disturbance modeling approach is proposed. The application of section models in traffic state estimation and the effects on the estimation error are discussed. Simulation tests are showing the performance of the estimation, based on the various boundary approximations.

No abstract

No abstract

A new approach to the study of discrete event systems (DES), characterized by automata, Petri-Nets or related presentations, is proposed. The Boolean Differential Calculus (BDC) supports modeling, analysis and synthesis of DES. This paper not only demonstrates fundamental properties of the BDC, but also presents a synthesis algorithm for the cat-mouse-example.

No abstract