Metody modelowania algorytmów sterowania w specjalizowanych sterownikach ruchu drogowego

• Autorzy: Firląg K.

Warianty tytułu

EN

Modelling methods of control algorithms in specialised traffic controllers

• Konferencja: 13TH International Conference Computer Systems Aided Science, Industry and Transport "TRANSCOMP 2009"
• Języki publikacji: PL

Abstrakty

PL

W artykule przedstawiono początkowy etap projektowania lokalnych sterowników ruchu drogowego w formie sprzętowych sterowników specjalizowanych, realizowanych w układach programowalnych. Przedstawiono stosowane sposoby opisu algorytmów adaptacyjnego sterowania ruchem drogowym, ze szczególnym uwzględnieniem metod graficznych. Szczególnie skupiono się na metodach modelowania formalnego sprzętowych sterowników cyfrowych, dokonując klasyfikacji modeli oraz wyboru metody korzystnej do modelowania specjalizowanych sterowników ruchu drogowego.

EN

The article presents the initial stage of designing of local traffic controllers in the form of hardware specialised controllers realized in programmable devices. Applied methods have been presented of algorithms description of adaptive traffic control, with significant consideration of graphic methods. Particular attention has been given to methods of formal modelling of digital hardware controllers, classifying the models and selecting advantageous method for modelling specialised traffic controllers.

Słowa kluczowe

PL

algorytmy sterowania ruchem; programowalne struktury logiczne; modele specyfikacji formalnej urządzeń cyfrowych

• Wydawca: Sieć Badawcza Łukasiewicz - Poznański Instytut Technologiczny
• Czasopismo: Logistyka
• Rocznik: 2009
• Tom: nr 6
• Strony: CD--CD
• Opis fizyczny: -pełny tekst, Bibliogr. 14 poz., rys.

Twórcy

autor

Firląg K.

• Wydział Transportu Politechniki Warszawskiej; Warszawa 00-662; Koszykowa 75,

Bibliografia

• [1] Adamski M., Barkalov A.: Architectural and sequential synthesis of digital devices, Zakład Poligraficzny Uniwersytetu Zielonogórskiego, Zielona Góra, 2006.
• [2] Bubnicki Z.: Teoria i algorytmy sterowania, PWN, Warszawa, 2002.
• [3] De Micheli G.: Synteza i optymalizacja układów cyfrowych, Wydawnictwo Naukowo-Techniczne, Warszawa, 1998.
• [4] Dz. U. z 2003 r. Nr 220, poz. 2181, z późn. zm. Rozporządzenie ministra infrastruktury z dnia 3 lipca 2003 r. w sprawie szczegółowych warunków technicznych dla znaków i sygnałów drogowych oraz urządzeń bezpieczeństwa ruchu drogowego i warunków ich umieszczania na drogach.
• [5] Gajski D.: Principles of digital design, Prentice Hall International, 1997.
• [6] Harel D.: Rzecz o istocie informatyki. Algorytmika, Wydawnictwo Naukowo Techniczne, Warszawa, 2008.
• [7] Kawalec P.: Analiza i synteza specjalizowanych układów modelowania i sterowania ruchem w transporcie, Oficyna wydawnicza PW, Warszawa, 2009.
• [8] Kawalec P., Firląg K.: Komputerowe systemy wspomagające analizę i syntezę cyfrowych układów sterowania, Politechnika Radomska, Prace Naukowe - Elektryka nr 1 (6) 2003, Radom, 2003, str.43 - 48.
• [9] Lee B., Lee E. A.: Hierarchical Concurrent Finite state Machine in Ptolemy, Proceeding International Conference on Application of Concurrency to System Diesign, Fukushima, Japan, 1998, p. 34-40.
• [10] Leszczyński J.: Modelowanie systemów i procesów transportowych, OWPW, Warszawa, 1994.
• [11] Leśko M., Guzik J.: Sterowanie ruchem drogowym. Sterowniki i systemy sterowania i nadzoru ruchu, Wydawnictwo Politechniki Śląskiej, Gliwice, 2000.
• [12] Łapiak G.: Wykorzystanie hierarchicznego modelu współbieżnego automatu w projektowaniu sterowników cyfrowych, Oficyna Wydawnicza Uniwersytetu Zielonogórskiego, Zielona Góra, 2005.
• [13] Pasierbiński J., Zbysiński P.: Układy programowalne w praktyce, WKŁ, Warszawa, 2001.
• [14] Zieliński C.: Podstawy projektowania układów cyfrowych, PWN, Warszawa, 2003.