Modely pro koordinaci silně závislých světelných křižovatek

Abstract

Disertační práce se zabývá navrhováním koordinace světelných křižovatek prostřednictvím Petriho sítí a matematického aparátu spektrální analýzy max-plus algebry. V úvodu je analyzována problematika koordinace světelných křižovatek a popsán současný stav jejího řešení v České republice a v zahraničí. Následuje modelování logiky řízení izolovaných světelných křižovatek v Petriho sítích a modelování koordinace vybraných silně závislých světelných křižovatek rovnicemi max-plus algebry. V rámci konkrétních návrhů jsou také popsány použité softwarové nástroje Snoopy, Pipe2 a Scilab. Na závěr je provedeno vyhodnocení jednotlivých počítačových experimentů, formulovány vyplývající doporučení pro praxi a shrnuty vědecké přínosy práce.

The thesis deals with the coordination of traffic lights design by Petri nets and mathematical analysis of the spectral max-plus algebra. In the introduction it is analyzed the problem of coordination of traffic lights and describes the current state of its solution in the Czech Republic and abroad. The following control logic modeling isolated traffic lights in the Petri net modeling and coordination of selected traffic lights are heavily dependent equations max-plus algebra. The specific proposals are also described software tools used Snoopy, Pipe2 and Scilab. Finally, an evaluation of all computer experiments, resulting formulated recommendations for practice and summarizes the benefits of scientific work.