Dynamics of control

J. W. Sanders; Matteo Turilli

doi:10.1109/TASE.2007.21

Dynamics of control

J. W. Sanders, Matteo Turilli

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

5 Scopus citations

Abstract

This paper proposes a notion, the 'ambit' of an action, that allows the degree of distribution of an action in a multi-agent system to be quantified without regard to its functionality. It demonstrates the use of that notion in the design, analysis and implementation of dynamically-reconfigurable multi-agent systems. It distinguishes between the extensional (or system) view and intensional (or agent-based) view of such a system and shows how, using the notion of ambit, the step-wise derivation paradigm of Formal Methods can be used to derive the latter from the former. In closing it addresses the manner in which these ideas inform studies in the ethics of systems of artificial agents.

Original language	English (US)
Title of host publication	First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07
Pages	440-449
Number of pages	10
DOIs	https://doi.org/10.1109/TASE.2007.21
State	Published - 2007
Externally published	Yes
Event	1st Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07 - Shanghai, China Duration: Jun 6 2007 → Jun 8 2007

Publication series

Name	First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07

Conference

Conference	1st Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07
Country/Territory	China
City	Shanghai
Period	6/6/07 → 6/8/07

All Science Journal Classification (ASJC) codes

General Computer Science

Access to Document

10.1109/TASE.2007.21

Cite this

@inproceedings{e75d43c4e7a94527a695df90c44a0e68,

title = "Dynamics of control",

abstract = "This paper proposes a notion, the 'ambit' of an action, that allows the degree of distribution of an action in a multi-agent system to be quantified without regard to its functionality. It demonstrates the use of that notion in the design, analysis and implementation of dynamically-reconfigurable multi-agent systems. It distinguishes between the extensional (or system) view and intensional (or agent-based) view of such a system and shows how, using the notion of ambit, the step-wise derivation paradigm of Formal Methods can be used to derive the latter from the former. In closing it addresses the manner in which these ideas inform studies in the ethics of systems of artificial agents.",

author = "Sanders, {J. W.} and Matteo Turilli",

year = "2007",

doi = "10.1109/TASE.2007.21",

language = "English (US)",

isbn = "0769528562",

series = "First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07",

pages = "440--449",

booktitle = "First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07",

note = "1st Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07 ; Conference date: 06-06-2007 Through 08-06-2007",

}

Sanders, JW & Turilli, M 2007, Dynamics of control. in First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07., 4239987, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07, pp. 440-449, 1st Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07, Shanghai, China, 6/6/07. https://doi.org/10.1109/TASE.2007.21

TY - GEN

T1 - Dynamics of control

AU - Sanders, J. W.

AU - Turilli, Matteo

PY - 2007

Y1 - 2007

N2 - This paper proposes a notion, the 'ambit' of an action, that allows the degree of distribution of an action in a multi-agent system to be quantified without regard to its functionality. It demonstrates the use of that notion in the design, analysis and implementation of dynamically-reconfigurable multi-agent systems. It distinguishes between the extensional (or system) view and intensional (or agent-based) view of such a system and shows how, using the notion of ambit, the step-wise derivation paradigm of Formal Methods can be used to derive the latter from the former. In closing it addresses the manner in which these ideas inform studies in the ethics of systems of artificial agents.

AB - This paper proposes a notion, the 'ambit' of an action, that allows the degree of distribution of an action in a multi-agent system to be quantified without regard to its functionality. It demonstrates the use of that notion in the design, analysis and implementation of dynamically-reconfigurable multi-agent systems. It distinguishes between the extensional (or system) view and intensional (or agent-based) view of such a system and shows how, using the notion of ambit, the step-wise derivation paradigm of Formal Methods can be used to derive the latter from the former. In closing it addresses the manner in which these ideas inform studies in the ethics of systems of artificial agents.

UR - http://www.scopus.com/inward/record.url?scp=34548836009&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=34548836009&partnerID=8YFLogxK

U2 - 10.1109/TASE.2007.21

DO - 10.1109/TASE.2007.21

M3 - Conference contribution

AN - SCOPUS:34548836009

SN - 0769528562

SN - 9780769528564

T3 - First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07

SP - 440

EP - 449

BT - First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07

T2 - 1st Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07

Y2 - 6 June 2007 through 8 June 2007

ER -

Dynamics of control

Abstract

Publication series

Conference

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this