Otwarty dostęp

Intelligent agent for formal modelling of temporal multi-agent systems

Awais Qasim

Awais Qasim

  • GC UniversityLahore, Pakistan
  • University of SalfordSalford, UK
Wyszukaj tego autora
Sciendo|Google Scholar
Qasim, Awais
, 
Zeeshan Aziz

Zeeshan Aziz

University of SalfordSalford, UK
Wyszukaj tego autora
Sciendo|Google Scholar
Aziz, Zeeshan
, 
Syed Asad Raza Kazmi

Syed Asad Raza Kazmi

GC UniversityLahore, Pakistan
Wyszukaj tego autora
Sciendo|Google Scholar
Kazmi, Syed Asad Raza
, 
Adnan Khalid

Adnan Khalid

GC UniversityLahore, Pakistan
Wyszukaj tego autora
Sciendo|Google Scholar
Khalid, Adnan
, 
Ilyas Fakhir

Ilyas Fakhir

GC UniversityLahore, Pakistan
Wyszukaj tego autora
Sciendo|Google Scholar
Fakhir, Ilyas
 oraz 
Jawad Hassan

Jawad Hassan

Lahore Garrison UniversityLahore, Pakistan
Wyszukaj tego autora
Sciendo|Google Scholar
Hassan, Jawad
  
05 lut 2020
Intelligent agent for formal modelling of temporal multi-agent systems's Cover Image
O artykule
Poprzedni artykuł
Następny artykuł
Zacytuj
Pobierz okładkę
Kategoria artykułu: Research-Article
Data publikacji: 05 lut 2020
Zakres stron: 1 - 13
Otrzymano: 10 gru 2019
DOI: https://doi.org/10.21307/ijssis-2020-003
Słowa kluczowe
© 2020 Awais Qasim et al., published by Sciendo
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

Figure 1:

Proposed SA-ARTIS-agent architecture.
Proposed SA-ARTIS-agent architecture.

Figure 2:

Overview of single traffic monitoring station.
Overview of single traffic monitoring station.

Figure 3:

Timed Petri-Net model of the Muslim Town Mor signal.
Timed Petri-Net model of the Muslim Town Mor signal.

Figure 4:

Self-adaptive SIMBA-Agent architecture.
Self-adaptive SIMBA-Agent architecture.

Figure 5:

Flow chart describing the agent’s initiation and working process.
Flow chart describing the agent’s initiation and working process.

Formal verification of the traffic monitoring system_

Query Formula Result
Is MTM3 signal’s green light working? EF (MTM Signal.MTM3 Red=0 and MTM Signal.MTM3 Yellow=0 and MTM Signal.MTM3 Green=1) Satisfied
Is MTM3 signal’s yellow light working? EF (MTM Signal.MTM3 Red=0 and MTM Signal.MTM3 Yellow=1 and MTM Signal.MTM3 Green=0) Satisfied
Is MTM3 signal’s red light working? EF (MTM Signal.MTM3 Red=1 and MTM Signal.MTM3 Yellow=0 and MTM Signal.MTM3 Green=0) Satisfied
Is MTM4 signal working? EF ((MTM Signal.MTM4 Red=1and MTM Signal.MTM4 Yellow=0 and MTM Signal.MTM4 Green=0) or (MTM Signal.MTM4 Red=0 and MTM Signal.MTM4 Yellow=1 and MTM Signal.MTM4 Green=0) or (MTM Signal.MTM4 Red=0 and MTM Signal.MTM4 Yellow=0 and MTM Signal.MTM4 Green=1)) Satisfied
Is MTM4 signal’s green light working? EF (MTM Signal.MTM4 Red=0 and MTM Signal.MTM4 Yellow=0 and MTM Signal.MTM4 Green=1) Satisfied
Is MTM4 signal’s yellow light working? EF (MTM Signal.MTM4 Red=0 and MTM Signal.MTM4 Yellow=1 and MTM Signal.MTM4 Green=0) Satisfied
Is MTM4 signal’s red light working? EF (MTM Signal.MTM4 Red=1 and MTM Signal.MTM4 Yellow=0 and MTM Signal.MTM4 Green=0) Satisfied
Język:
Angielski
Częstotliwość wydawania:
1 razy w roku
Dziedziny czasopisma:
Inżynieria, Wstępy i przeglądy, Inżynieria, inne
Kanał RSS czasopisma