Applying Formal Methods to Specify Security Requirements in Multi–Agent Systems

Proceedings of the 2018 Federated Conference on Computer Science and Information Systems ◽

10.15439/2018f262 ◽

2018 ◽

Author(s):

Vinitha Hannah Subburaj ◽

Joseph E. Urban

Keyword(s):

Formal Methods ◽

Security Requirements ◽

Multi Agent Systems ◽

Agent Systems ◽

Download Full-text

Specifying Security Requirements in Multi-agent Systems Using the Descartes-Agent Specification Language and AUML

Lecture Notes in Business Information Processing - Information Technology for Management: Emerging Research and Applications ◽

10.1007/978-3-030-15154-6_6 ◽

2019 ◽

pp. 93-111 ◽

Author(s):

Vinitha Hannah Subburaj ◽

Joseph E. Urban

Keyword(s):

Specification Language ◽

Security Requirements ◽

Multi Agent Systems ◽

Agent Systems ◽

Download Full-text

Multi-agent Systems and Security Requirements Analysis

Software Engineering for Multi-Agent Systems II - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24625-1_3 ◽

2004 ◽

pp. 35-48 ◽

Author(s):

Paolo Bresciani ◽

Paolo Giorgini ◽

Haralambos Mouratidis ◽

Gordon Manson

Keyword(s):

Requirements Analysis ◽

Security Requirements ◽

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

An Improved Distributed Control on Output Regulation for Heterogeneous Multi-Agent Systems

2018 37th Chinese Control Conference (CCC) ◽

10.23919/chicc.2018.8482711 ◽

2018 ◽

Author(s):

Ji-Lie Zhang ◽

Tao Feng ◽

Fei Yan ◽

Yiduo Zhou

Keyword(s):

Distributed Control ◽

Output Regulation ◽

Multi Agent Systems ◽

Agent Systems ◽

Download Full-text