PL
 |
EN
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 11

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available Cooperation of multiple autonomous robots and analysis of their swarm behawior
Czejdo B., Daszczuk W. B., Grabski W., Bhattacharya S.
Autobusy : technika, eksploatacja, systemy transportowe
|
2018
|
R. 19, nr 12
872--879
EN
In this paper, we extended previous studies of cooperating autonomous robots to include situations when environmental changes and changes in the number of robots in the swarm can affect the efficiency to execute tasks assigned to the swarm of robots. We have presented a novel approach based on partition of the robot behavior. The sub-diagrams describing sub-routs allowed us to model advanced interactions between autonomous robots using limited number of state combinations avoiding combinatorial explosion of reachability. We identified the systems for which we can ensure the correctness of robots interactions. New techniques were presented to verify and analyze combined robots’ behavior. The partitioned diagrams allowed us to model advanced interactions between autonomous robots and detect irregularities such as deadlocks, lack of termination etc. The techniques were presented to verify and analyze combined robots’ behavior using model checking approach. The described system, Dedan verifier, is still under development. In the near future, timed and probabilistic verification are planned.
PL
W artykule opisano kontynuację wcześniejszych badań dotyczących współpracy autonomicznych robotów wewnątrz budynku. Obejmują one obejmują sytuacje, w których zmiany środowiska i zmiana liczby robotów w roju mogą poprawić lub pogorszyć efektywność wykonywania zadań przypisanych do roju robotów. Zaprezentowaliśmy nowatorskie podejście z wykorzystaniem dzielenia zachowań robota na zachowania składowe. Poddiagramy opisujące kładowe podmarszruty pozwoliły nam modelować zaawansowane interakcje między autonomicznymi robotami w oparciu o ograniczoną liczbę kombinacji zachowań, unikając eksplozji kombinatorycznej przestrzeni osiągalności. Opisano systemy, dla których możemy zapewnić poprawność interakcji robotów i zaprezentowano techniki weryfikacji i analizy zachowań połączonych robotów. Diagramy podzielone na partycje pozwoliły nam modelować zaawansowane interakcje pomiędzy autonomicznymi robotami i wykrywać nieprawidłowości, takie jak zakleszczenia, brak terminacji itp. Przedstawiono techniki weryfikacji i analizy złożonych zachowań robotów za pomocą techniki weryfikacji modelowej. Opisany system weryfikacji, Dedan, jest wciąż rozwijany. W niedalekiej przyszłości planowana jest weryfikacja z czasem rzeczywistym i probabilistyczna.
2
Content available A study on cooperation of urban transport means: PRT and light rail
Grabski W., Daszczuk W. B.
Transport Problems
|
2017
|
T. 12, z. 4
5--14
EN
It is difficult to organize urban transport in the city center. Existing buildings, narrow streets and working infrastructure make it difficult to use the oldfashion transport means such as trams or buses. The new idea consists in elevation of the transport in the very city above ground level (typical PRT systems cover rare areas like airport or fairgrounds). The study analyzes the hierarchical, layered system consisting of a ring light rail and PRT (Personal Rapid Transit) serving as commuter network. It is shown in the case of an exemplary city that the proposed solution is possible and reasonable. Ridership and vehicle mileage of the entire system are calculated for the light rail analytically, and in the case PRT by simulation.
3
Content available Using Machine Learning to Enhance Vehicles Traffic in ATN (PRT) Systems
Czejdo B., Daszczuk W. B., Baszun M.
Autobusy : technika, eksploatacja, systemy transportowe
|
2017
|
R. 18, nr 12
1484--1489, CD
EN
This paper discusses new techniques to enhance Automated Transit Networks (ATN, previously called Personal Rapid Transit - PRT) based on Artificial Intelligence tools. The main direction is improvement of the cooperation of autonomous modules that use negotiation protocols, following the IoT paradigm. One of the goals is to increase ATN system throughput by tuning up autonomous vehicles cooperation. Machine learning (ML) was used to improve algorithms designed by human programmers. We used “existing controls” corresponding to near-optimal solutions and built refinement models to more accurately relate a system’s dynamics to its performance. A mechanism that mostly influences ATN performance is Empty Vehicle Management (EVM). The algorithms designed by human programmers was used: calls to empty vehicles for waiting passengers and balancing based on reallocation of empty vehicles to achieve better regularity of their settlement. In this paper we discuss how we can improve these algorithms (and tune them to current conditions) by using ML to tailor individual behavioral policies. Using ML techniques was possible because our algorithm is based on a set of parameters. A number of weights and thresholds could be tuned up to give better decisions on moving empty vehicles across the track.
PL
W artykule omówiono nowe techniki usprawniania zautomatyzowanych sieci transportowych (ATN, wcześniej nazywanych Personal Rapid Transit - PRT), opartych na narzędziach sztucznej inteligencji. Głównym kierunkiem jest poprawa współpracy autonomicznych modułów, które używają protokołów negocjacyjnych w paradygmacie IoT. Jednym z celów jest zwiększenie przepustowości systemu transportowego poprzez dostrajanie współpracy autonomicznych pojazdów. Uczenie maszynowe (ML) jest wykorzystywane do poprawy algorytmów opracowanych przez programistów. Użyliśmy "istniejącego sterowania", odpowiadającego suboptymalnym rozwiązaniom, i skonstruowaliśmy modele dostrajania, aby dokładniej odnieść dynamikę systemu do jego wydajności. Mechanizm, który wpływa głównie na wydajność ATN to Zarządzanie Pustymi Pojazdami (Empty Vehicle Management - EVM). Wykorzystano algorytmy opracowane przez programistów: wzywanie pustych pojazdów dla oczekujących pasażerów i równoważenie w oparciu o realokację pustych pojazdów w celu osiągnięcia lepszej regularności ich rozmieszczenia. W tym artykule omówimy, jak można poprawić te algorytmy (i dostroić je do aktualnych warunków), używając ML do dostosowania indywidualnych zasad behawioralnych. Wykorzystanie technik ML było możliwe, ponieważ nasz algorytm oparty jest na zbiorze parametrów. Zestaw współczynników i progów może zostać dostrojony do podejmowania lepszych decyzji o planowaniu ruchu pustych pojazdów na torze.
4
Content available Priority rules on ATN (PRT) intersections
Grabski W., Daszczuk W. B.
Autobusy : technika, eksploatacja, systemy transportowe
|
2017
|
R. 18, nr 12
1503--1506, CD
EN
In Autonomous Transit Networks some basic elements influence the throughput: network structure, maximum velocity, number of vehicles etc. Other parameters like station structure, dynamic routing or vehicle behavior on intersections play minor role. Yet in highly congested nets, when vehicles interfere in the traffic, some subtle decisions may influence overall system ridership. We tested the impact of intersection priority rules on passenger waiting time, which measures the through-put. The dependence occurred its relevance in a crowded network.
PL
W sieciach transportowych ATN (Autonomous Transit Network) na przepustowość mają wpływ jej główne elementy jak struktura sieci, maksymalna prędkość, liczba pojazdów itd. Inne parametry jak struktura przystanków, dynamiczny wybór drogi czy zachowania pojazdów na skrzyżowaniach grają niewielką rolę. Jednak przy dużym zagęszczeniu pojazdy przeszkadzają sobie wzajemnie i pewne subtelne decyzje mogą wpłynąć na zdolność przewozową sieci. Zbadaliśmy wpływ zasad pierwszeństwa na skrzyżowaniach na czas oczekiwania na pojazdy, który jest miarą przepustowości. Zależność okazała się istotna w zatłoczonej sieci.
5
Content available Improving resilience of autonomous moving platforms by real-time analysis of their cooperation
Czejdo B., Bhattacharya S., Baszun M., Daszczuk W. B.
Autobusy : technika, eksploatacja, systemy transportowe
|
2016
|
R. 17, nr 6
1294-1301
EN
Environmental changes, failures, collisions or even terrorist attacks can cause serious malfunctions of the delivery systems. We have presented a novel approach improving resilience of Autonomous Moving Platforms AMPs. The approach is based on multi-level state diagrams describing environmental trigger specifications, movement actions and synchronization primitives. The upper level diagrams allowed us to model advanced interactions between autonomous AMPs and detect irregularities such as deadlocks live-locks etc. The techniques were presented to verify and analyze combined AMPs’ behaviors using model checking technique. The described system, Dedan verifier, is still under development. In the near future, a graphical form of verified system representation is planned.
PL
Zmiany w otoczeniu, awarie, kolizje czy nawet ataki terrorystyczne mogą spowodować poważne awarie w systemach transportowych. W artykule zaprezentowaliśmy nowe podejście do poprawy odporności autonomicznych platform mobilnych (AMPs). Podejście to opiera się na specyfikacji przy pomocy wielopoziomowych diagramach stanów, opisujących wpływ otoczenia, podejmowane akcje komunikacyjne i prymitywy synchronizacyjne. Schematy na górnym poziomie pozwoliły modelować zaawansowane interakcje między autonomicznymi pojazdami i wykrywać nieprawidłowości, takie jak zakleszczenia, częściowe zakleszczenia itp. Zaprezentowano techniki zastosowane w celu weryfikacji i analizy łącznego zachowania pojazdów techniką weryfikacji modelowej. Opisany system weryfikacyjny Dedan jest wciąż w fazie rozwoju. W niedalekiej przyszłości planowana jest graficzna forma reprezentacji weryfikowanego systemu.
6
Content available Discrete event simulation of Personal Rapid Transit (PRT) systems
Daszczuk W. B.
Autobusy : technika, eksploatacja, systemy transportowe
|
2016
|
R. 17, nr 6
1302-1310
EN
The article discusses issues related to the construction of the PRT network simulator and the simulation process: the elements of PRT network structure, their representation in the simulator, the simulation process itself, animation, and automation of the experiments. An example of a simulation environment Feniks is described, elaborated within the framework of the Eco- Mobility project.
PL
W artykule omówiono zagadnienia związane z budową symulatora sieci PRT oraz z samym procesem symulacji: struktury sieci PRT, ich reprezentację w symulatorze, przebieg symulacji, animację i automatyzację eksperymentów. Przedstawiono przykład środowiska symulacyjnego Feniks, wykonanego w ramach projektu Eco-Mobilność.
7
Content available Cooperation of PRT with ring monorail : a case study
Grabski W., Daszczuk W. B.
Autobusy : technika, eksploatacja, systemy transportowe
|
2016
|
R. 17, nr 12
1567--1573
EN
It is difficult to organize urban transport in a city center. Existing buildings, narrow streets and operating infrastructure make it difficult to let old-fashion transport means like tram or bus. In the paper, a raised transport consisting of ring monorail and commuter PRT network are analyzed. The proposed solution consists of fast ring railway called “monorail” and PRT (personal rapid transit) network serving as side roads. These two transportation means form a hierarchically layered system. It is shown on an case of an exemplary city that the proposed solution is possible and reasonable. A ridership of the whole system is obtained: for monorail by analytical calculations and for PRT by simulation.
PL
Zorganizowanie transportu miejskiego w centrum miasta nie jest prostą sprawą. Istniejące budynki, wąskie ulice i działająca infrastruktura utrudniają funkcjonowanie tradycyjnych środków transportu jak tramwaj czy autobus. W artykule przeanalizowano użycie transportu wyniesionego powyżej poziomu gruntu, składającego się z szybkiej lekkiej kolei zwanej „monorail” i systemu PRT (Personal Rapid Transit) służącego jako sieć dojazdowa. Te dwa środki transportu tworzą hierarchię warstw systemu. W artykule pokazano na przykładzie typowego miasta, że zaproponowane rozwiązanie jest możliwe i sensowne. Wyznaczono przepustowość całego systemu: dla kolei analitycznie a dla PRT przez symulację.
8
Distributed management of Personal Rapid Transit (PRT) vehicles under unusual transport conditions
Daszczuk W. B., Mieścicki J.
Logistyka
|
2015
|
nr 4
2896--2901, CD2
EN
The paper presents a flexibility of management of vehicles in Personal Rapid Transit (PRT) network. The algorithm used for delivering empty vehicles for waiting passengers is based on multiparameter analysis. Due to its distributed construction, the algorithm has a horizon parameter, which specifies the maximum distance between stations the communications is performed. Every decision is made basing on an information about situation (number of vehicles standing at a station, number of vehicles travelling to a station, number of passengers waiting) sent between stations, without any central data base containing traffic conditions. The simulation of the traffic in random case (typical) and in unusual case of delivering people to a social event occurring at single place is presented. It is shown that simple manipulation with horizon parameter allows to adapt the network to extremely uneven demand and destination choice.
PL
W artykule opisano elastyczność zarządzania pojazdami w sieci Personal Rapid Transit (PRT). Algorytm użyty do dostarczania pustych pojazdów oczekującym pasażerom jest zbudowany w oparciu o analizę wieloparametryczną. Algorytm ma charakter rozproszony, więc jednym z parametrów jest horyzont, który określa maksymalną odległość pomiędzy przystankami w jakiej jest prowadzona komunikacja. Każda decyzja jest podejmowana w oparciu o informację o bieżącej sytuacji(liczba pojazdów stojących na przystanku, liczba pojazdów zmierzających do przystanku, liczba oczekujących pasażerów) przesyłaną między przystankami, bez centralnej bazy danych zawierającej parametry bieżącego ruchu. Zaprezentowano symulację przypadku losowego (typowego) oraz wyjątkowej sytuacji dowożenia uczestników doimprezy masowej zorganizowanej w jednym miejscu. Pokazano że proste manipulowanie parametrem horyzont pozwala zaadaptować sieć do wyjątkowo niejednorodnych warunków rozkładu żądań i celu podróży.
9
Content available Proposed benchmarks for PRT networks simulation
Mieścicki J., Daszczuk W. B.
Archives of Transport
|
2013
|
Vol. 27-28, iss. 3-4
123--133
EN
Personal Rapid Transit (PRT) is a promising form of urban transport. Its operation relies on the use of small unmanned vehicles which carry the passengers between the stations within a dedicated network. Various aspects of the PRT network performance are frequently evaluated using the discrete-event simulation. The paper supports the need of establishing some reference models for the simulation of PRT networks, targeted mainly at the needs of the research on the network management algorithms. Three models of such PRT network models are proposed and discussed. The presented models can play the role of benchmarks which would be very useful for comparative evaluation of heuristic control algorithms, developed by different research groups.
PL
Personal Rapid Transit (PRT) jest obiecującą formą transportu miejskiego. Jego działanie opiera się na wykorzystaniu małych bezzałogowych pojazdów, które przewożą pasażerów między stacjami w sieci dedykowanej. Różne aspekty wydajności sieci PRT są często oceniane przy użyciu symulacji dyskretnego zdarzenia. Artykuł popiera potrzebę ustanowienia kilku modeli referencyjnych do symulacji sieci PRT, ukierunkowanych głównie na potrzeby badań nad algorytmami zarządzania siecią. Proponowane i omawiane są trzy modele takich sieci PRT. Prezentowane modele mogą pełnić rolę wzorców, które byłyby bardzo przydatne do oceny porównawczej heurystycznych algorytmów sterowania, opracowanych przez różne grupy badawcze.
10
Content available Timed concurrent state machines
Daszczuk W. B.
Computer Science
|
2007
|
Vol. 8, Spec. Ed
23-36
EN
Timed Concurrent State Machines are an application of Alur Timed Automata concept to coincidence-based (rather than interleaving) CSM modeling technique. TCSM support the idea of testing automata, allowing to specify time properties easier than temporal formulas. Also, calculation of a global state space in real-time domain (Region Concurrent State Machines) is defined, allowing to storę a verified system in ready-to-verification form, and to multiply it by various testing automata.
PL
Współbieżne maszyny stanowe z czasem TCSM są aplikacją automatów czasowych Alura w środowisku koincydencyjnym współbieżnych maszyn czasowych CSM (w przeciwieństwie do środowisk przeplotowych). TCSM pasują do idei automatów testujących, które pozwalają wyspecyfikować zależności czasowe łatwiej niż poprzez formuły temporalne. Ponadto zdefiniowano sposób wyznaczania globalnej przestrzeni stanów w dziedzinie czasu (współbieżne maszyny stanowe regionów RCSM), co pozwala przechowywać badany system w postaci gotowej do weryfikacji i mnożyć go przez różne automaty testujące.
11
Integration of industrial DCS with a plant management network.
Grabski W., Krystosik A., Daszczuk W.B., Mieścicki J.
Zeszyty Naukowe. Informatyka / Politechnika Śląska
|
1998
|
z. 34
569-575
EN
The paper describes general requirements and design decisions made in the implementation of Plant Monitoring System which makes data from Distributed Control System available for the users of Management Information Network. The brief description of two working examples is given.
PL
W artykule opisano podstawowe wymagania projektowe i decyzje podjęte przy implementacji Systemu Nadzoru Eksploatacji Bloków Energetycznych, który udostępnia dane z sieci sterowania w sieci zarządzania. Jako przykłady podano krótkie opisy wdrożeń.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.