Open Access

Intelligent agent for formal modelling of temporal multi-agent systems

Awais Qasim

Awais Qasim

  • GC UniversityLahore, Pakistan
  • University of SalfordSalford, UK
Search for this author on
Sciendo|Google Scholar
Qasim, Awais
, 
Zeeshan Aziz

Zeeshan Aziz

University of SalfordSalford, UK
Search for this author on
Sciendo|Google Scholar
Aziz, Zeeshan
, 
Syed Asad Raza Kazmi

Syed Asad Raza Kazmi

GC UniversityLahore, Pakistan
Search for this author on
Sciendo|Google Scholar
Kazmi, Syed Asad Raza
, 
Adnan Khalid

Adnan Khalid

GC UniversityLahore, Pakistan
Search for this author on
Sciendo|Google Scholar
Khalid, Adnan
, 
Ilyas Fakhir

Ilyas Fakhir

GC UniversityLahore, Pakistan
Search for this author on
Sciendo|Google Scholar
Fakhir, Ilyas
 and 
Jawad Hassan

Jawad Hassan

Lahore Garrison UniversityLahore, Pakistan
Search for this author on
Sciendo|Google Scholar
Hassan, Jawad
  
Feb 05, 2020
Intelligent agent for formal modelling of temporal multi-agent systems's Cover Image
About this article
Previous Article
Next Article
Cite
Download Cover
Article Category: Research-Article
Published Online: Feb 05, 2020
Page range: 1 - 13
Received: Dec 10, 2019
DOI: https://doi.org/10.21307/ijssis-2020-003
Keywords
© 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
Language:
English
Publication timeframe:
1 times per year
Journal Subjects:
Engineering, Introductions and Overviews, Engineering, other
Journal RSS Feed