Programming Verifiable Heterogeneous Agent Systems

被引：0
|
作者：
Dennis, Louise A. [1 ]
Fisher, Michael [1 ]
机构：
[1] Univ Liverpool, Dept Comp Sci, Liverpool, Merseyside, England
来源：
PROGRAMMING MULTI-AGENT SYSTEMS | 2009年 / 5442卷
基金：
英国工程与自然科学研究理事会;
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Our overall aim is to provide a verification framework for practical multi-agent systems. To achieve practicality, we must be able to describe and implement heterogeneous multi-agent systems. To achieve verifiability, we must define semantics appropriately for use in formal verification. In this paper, we tackle the problem of implementing heterogeneous multi-agent systems in a semantically clear, and appropriate, way.
引用
收藏
页码：40 / 55
页数：16
相关论文
共 50 条
  • [31] PARUS: A parallel programming framework for heterogeneous multiprocessor systems
    Salnikov, Alexey N.
    RECENT ADVANCES IN PARALLEL VIRTUAL MACHINE AND MESSAGE PASSING INTERFACE, 2006, 4192 : 408 - 409
  • [32] Increasing the Efficiency of the DaCS Programming Model for Heterogeneous Systems
    Cytowski, Maciej
    Niezgodka, Marek
    PARALLEL PROCESSING AND APPLIED MATHEMATICS, PT I, 2012, 7203 : 710 - 719
  • [33] A Comparative Study of Programming Environments Exploiting Heterogeneous Systems
    Ko, Bongsuk
    Han, Seunghun
    Park, Yongjun
    Jeon, Moongu
    Lee, Byeongcheol
    IEEE ACCESS, 2017, 5 : 10081 - 10092
  • [34] Semiglobal Suboptimal Output Regulation for Heterogeneous Multi-Agent Systems With Input Saturation via Adaptive Dynamic Programming
    Wang, Bingjie
    Xu, Lei
    Yi, Xinlei
    Jia, Yao
    Yang, Tao
    IEEE TRANSACTIONS ON NEURAL NETWORKS AND LEARNING SYSTEMS, 2024, 35 (03) : 3242 - 3250
  • [35] Exploring Parallel Programming Models for Heterogeneous Computing Systems
    Daga, Mayank
    Tschirhart, Zachary S.
    Freitag, Chip
    2015 IEEE INTERNATIONAL SYMPOSIUM ON WORKLOAD CHARACTERIZATION (IISWC), 2015, : 98 - 107
  • [36] Simplifying Heterogeneous Embedded Systems Programming Based on OpenMP
    Huang, Lei
    Chapman, Barbara
    PARALLEL COMPUTING: FROM MULTICORES AND GPU'S TO PETASCALE, 2010, 19 : 728 - 735
  • [37] Programming Heterogeneous Systems from an Image Processing DSL
    Pu, Jing
    Bell, Steven
    Yang, Xuan
    Setter, Jeff
    Richardson, Stephen
    Ragan-Kelley, Jonathan
    Horowitz, Mark
    ACM TRANSACTIONS ON ARCHITECTURE AND CODE OPTIMIZATION, 2017, 14 (03)
  • [38] A uniform approach for programming distributed heterogeneous computing systems
    Grasso, Ivan
    Pellegrini, Simone
    Cosenza, Biagio
    Fahringer, Thomas
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2014, 74 (12) : 3228 - 3239
  • [39] Architectural support for multilanguage parallel programming on heterogeneous systems
    Bisiani, Roberto
    Forin, Alessandro
    1600, Association for Computing Machinery (21):
  • [40] Verifiable concurrent programming using concurrency controllers
    Betin-Can, A
    Bultan, T
    19TH INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2004, : 248 - 257
12345