Have a personal or library account? Click to login

Intelligent agent for formal modelling of temporal multi-agent systems

International Journal on Smart Sensing and Intelligent Systems
Volume 13 (2020): Issue 1 (January 2020)
By:
Open Access
|Feb 2020

Figures & Tables

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_

QueryFormulaResult
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
DOI: https://doi.org/10.21307/ijssis-2020-003 | Journal eISSN: 1178-5608
Journal RSS Feed
Language: English
Page range: 1 - 13
Submitted on: Dec 10, 2019
Published on: Feb 5, 2020
Published by: Professor Subhas Chandra Mukhopadhyay
In partnership with: Paradigm Publishing Services
Publication frequency: 1 issue per year
Keywords:
Formal methods,
Self-adaptation,
Autonomic computing,
Multi-agent systems,
Real-time systems,
TCOZ
Related subjects:
Engineering,
Introductions and overviews,
Engineering, other

© 2020 Awais Qasim, Zeeshan Aziz, Syed Asad Raza Kazmi, Adnan Khalid, Ilyas Fakhir, Jawad Hassan, published by Professor Subhas Chandra Mukhopadhyay
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.

Previous articleVolume 13 (2020): Issue 1 (January 2020)Next article