2014
DOI: 10.1007/s10515-014-0168-9
|View full text |Cite
|
Sign up to set email alerts
|

Practical verification of decision-making in agent-based autonomous systems

Abstract: We present a verification methodology for analysing the decision-making component in agent-based hybrid systems. Traditionally hybrid automata have been used to both implement and verify such systems, but hybrid automata based modelling, programming and verification techniques scale poorly as the complexity of discrete decision-making increases making them unattractive in situations where complex logical reasoning is required. In the programming of complex systems it has, therefore, become common to separate o… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
59
0
1

Year Published

2016
2016
2020
2020

Publication Types

Select...
7
1
1

Relationship

1
8

Authors

Journals

citations
Cited by 85 publications
(60 citation statements)
references
References 84 publications
0
59
0
1
Order By: Relevance
“…Ennek alapján az MI rendszerek esetében célszerű lehet azok működésének helyességét a rendszer tudásának fényében ellenőrizni, elkerülve a valós környezet modellezésének problémáit (Dennis, 2013). A tervezési idő ismeretének hiánya a tanulási algoritmusok használatára ösztökél az ágens szoftverén belül, amely által az ellenőrzés még nehezebbé válik: a statisztikai tanulás elmélete megad un.…”
Section: Ellenőrzésunclassified
“…Ennek alapján az MI rendszerek esetében célszerű lehet azok működésének helyességét a rendszer tudásának fényében ellenőrizni, elkerülve a valós környezet modellezésének problémáit (Dennis, 2013). A tervezési idő ismeretének hiánya a tanulási algoritmusok használatára ösztökél az ágens szoftverén belül, amely által az ellenőrzés még nehezebbé válik: a statisztikai tanulás elmélete megad un.…”
Section: Ellenőrzésunclassified
“…BDI models need to be constructed for the software under test and all other components of the simulation that interact with the real robot in a task. The code is modelled as a BDI agent, capturing the high-level decision making present in software for autonomous robots; see [9] for a recent example. To facilitate modelling, it is useful that the robotic software under test is encoded as an 1 //Initial beliefs 2 //Initial goals 3 !reset.…”
Section: Bdi-based Test Generationmentioning
confidence: 99%
“…Similarly, we indicate the process of abstraction engine, A, reading a value ′ . This allows us to simply define a semantics for perception in (10).…”
Section: Fig 4 Refined Architecture For Agent-based Hybrid Systems mentioning
confidence: 99%
“…We refer to the EASS language and associated environment support as the EASS framework. The EASS framework was used in an extensive case study for the architecture involving satellite and space craft systems [13,10].…”
Section: Introductionmentioning
confidence: 99%