Paper Info
Title
Towards A Distributed Plan Execution Monitoring Framework
Abstract
Distributed monitoring is challenging yet essential in order to address scalability issues observed in the context of large-scale plan execution. A formal framework can be very helpful in analyzing and reasoning about plan specification, execution, and monitoring. In this paper, we elaborate on a distributed monitoring calculus framework that allows specifying and executing plans for multi-agent systems in a distributed environment. The framework allows taking into account a highly dynamic and uncertain environment that can be a contributor to the changing conditions possibly disrupting and causing the plan to fail. Furthermore, the calculus provides sound foundations for designing and evaluating monitoring algorithms and protocols. In order to achieve effective monitoring, we propose an automatabased approach, inspired by runtime security verification research initiatives. The proposed automata allow enforcing monitoring properties while the given plan is executed at the agent's side. (c) 2013 The Authors. Published by Elsevier B.V.
Year
DOI
Venue
2013
10.1016/j.procs.2013.06.144
4TH INTERNATIONAL CONFERENCE ON AMBIENT SYSTEMS, NETWORKS AND TECHNOLOGIES (ANT 2013), THE 3RD INTERNATIONAL CONFERENCE ON SUSTAINABLE ENERGY INFORMATION TECHNOLOGY (SEIT-2013)
Keywords
Field
DocType
Distributed Monitoring, Muti-Agent Systems, Formal Reasoning, Automata, Process Calculus
Data mining,Formal reasoning,Distributed Computing Environment,Computer science,Automaton,Spec#,Process calculus,Scalability,Distributed computing
Conference
Volume
ISSN
Citations 
19
1877-0509
0
PageRank 
References 
Authors
0.34
8
6
Name
Order
Citations
PageRank
Yosr Jarraya117314.52
Sujoy Ray2214.42
Andrei Soeanu3437.49
Mourad Debbabi41467144.47
Mohamad Allouche531.07
Jean Berger610.69