Specification and automatic verification of trust-based multi-agent systems

Future Generation Computer Systems ◽

10.1016/j.future.2018.01.040 ◽

2020 ◽

Vol 107 ◽

pp. 1047-1060 ◽

Author(s):

Nagat Drawel ◽

Hongyang Qu ◽

Jamal Bentahar ◽

Elhadi Shakshuki

Keyword(s):

Automatic Verification ◽

Multi Agent Systems ◽

Agent Systems ◽

Download Full-text

Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams

Journal of Applied Logic ◽

10.1016/j.jal.2005.12.010 ◽

2007 ◽

Vol 5 (2) ◽

pp. 235-251 ◽

Author(s):

Franco Raimondi ◽

Alessio Lomuscio

Keyword(s):

Model Checking ◽

Binary Decision Diagrams ◽

Automatic Verification ◽

Decision Diagrams ◽

Multi Agent Systems ◽

Ordered Binary Decision Diagrams ◽

Binary Decision ◽

Agent Systems ◽

Download Full-text

Automatic Verification of Deontic Properties of Multi-agent Systems

Lecture Notes in Computer Science - Deontic Logic in Computer Science ◽

10.1007/978-3-540-25927-5_15 ◽

2004 ◽

pp. 228-242 ◽

Author(s):

Franco Raimondi ◽

Alessio Lomuscio

Keyword(s):

Automatic Verification ◽

Multi Agent Systems ◽

Agent Systems ◽

Download Full-text

Measuring Trust and Automatic Verification in Multi-Agent Systems

10.1109/dsa52907.2021.00041 ◽

2021 ◽

Author(s):

Hongpu Jiang ◽

Yuyu Yuan ◽

Ting Guo ◽

Pengqian Zhao

Keyword(s):

Automatic Verification ◽

Multi Agent Systems ◽

Agent Systems ◽

Download Full-text

Design of an Intelligent System to Support Tutors in Learning Communities Using Multi-Agent Systems and Fuzzy Logic

International Review on Computers and Software (IRECOS) ◽

10.15866/irecos.v10i8.7015 ◽

2015 ◽

Vol 10 (8) ◽

pp. 845 ◽

Author(s):

Youness Chaabi ◽

R. Messoussi ◽

V. Hilaire ◽

Y. Ruichek ◽

K. Lekdioui ◽

...

Keyword(s):

Fuzzy Logic ◽

Learning Communities ◽

Intelligent System ◽

Multi Agent Systems ◽

Agent Systems ◽

Download Full-text

Leader-Following Consensus for Double-Integrator Multi-Agent Systems via Sampled Output Feedback

2020 39th Chinese Control Conference (CCC) ◽

10.23919/ccc50068.2020.9188838 ◽

2020 ◽

Author(s):

Ying Zhang ◽

Youfeng Su

Keyword(s):

Output Feedback ◽

Multi Agent Systems ◽

Agent Systems ◽

Leader Following ◽

Multi Agent ◽

Double Integrator

Download Full-text

Team-Based Blanket Coverage Control for Heterogeneous Multi-agent Systems

2020 39th Chinese Control Conference (CCC) ◽

10.23919/ccc50068.2020.9189045 ◽

2020 ◽

Author(s):

Kaiqi Yang ◽

Xiaoli Wang

Keyword(s):

Multi Agent Systems ◽

Agent Systems ◽

Coverage Control ◽

Download Full-text

Adaptive tracking control of multi-agent systems with unknown nonlinear functions and stochastic noises

2020 39th Chinese Control Conference (CCC) ◽

10.23919/ccc50068.2020.9188436 ◽

2020 ◽

Author(s):

Hui Wang ◽

Qiangde Wang ◽

Chunling Wei

Keyword(s):

Tracking Control ◽

Multi Agent Systems ◽

Nonlinear Functions ◽

Adaptive Tracking Control ◽

Agent Systems ◽

Stochastic Noises ◽

Adaptive Tracking ◽

Download Full-text

Distributed optimal control law design for a class of higher order linear multi-agent systems and its application to Euler-Lagrangian systems

2020 39th Chinese Control Conference (CCC) ◽

10.23919/ccc50068.2020.9188585 ◽

2020 ◽

Author(s):

Ranran Li

Keyword(s):

Optimal Control ◽

Higher Order ◽

Control Law ◽

Lagrangian Systems ◽

Multi Agent Systems ◽

Distributed Optimal Control ◽

Order Linear ◽

Agent Systems ◽

Download Full-text

Group consensus of continuous-time second-order multi-agent systems via asynchronous sampled-data control

2020 39th Chinese Control Conference (CCC) ◽

10.23919/ccc50068.2020.9189242 ◽

2020 ◽

Author(s):

Xiangcong Deng ◽

Junhua He ◽

Jinliang Shao ◽

Wei Xing Zheng

Keyword(s):

Continuous Time ◽

Second Order ◽

Group Consensus ◽

Sampled Data ◽

Multi Agent Systems ◽

Agent Systems ◽

Data Control ◽

Sampled Data Control ◽

Download Full-text

A Coordinated Tracking Control of Multi-Agent Systems Using Data-Driven Methods

2018 37th Chinese Control Conference (CCC) ◽

10.23919/chicc.2018.8483722 ◽

2018 ◽

Author(s):

You Wu ◽

Guo-Ping Liu

Keyword(s):

Tracking Control ◽

Data Driven ◽

Multi Agent Systems ◽

Agent Systems ◽

Multi Agent ◽

Coordinated Tracking

Download Full-text