共 50 条
- [41] An approach for the specification and the verification of multi-agent systems interaction protocols using AUML and Event B MSVVEIS 2008: MODELLING, SIMULATION, VERIFICATION AND VALIDATION OF ENTERPRISE INFORMATION SYSTEMS, 2008, : 190 - 198
- [42] Consensus of Linear Multi-agent Systems via Fully Distributed Event-Triggered Protocols PROCEEDINGS OF THE 36TH CHINESE CONTROL CONFERENCE (CCC 2017), 2017, : 8607 - 8612
- [43] Proving the Effectiveness of Negotiation Protocols KQML in Multi-agent Systems Using Event-B CYBERNETICS AND MATHEMATICS APPLICATIONS IN INTELLIGENT SYSTEMS, CSOC2017, VOL 2, 2017, 574 : 397 - 406
- [44] Specification and verification of multi-agent systems interaction protocols using a combination of AUML and Event B INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, PROCEEDINGS, 2008, 5136 : 102 - 107
- [45] Designing novel adaptive dynamic event-triggered protocols for uncertain multi-agent systems Science China Information Sciences, 2024, 67
- [47] Event-triggered bipartite consensus of multi-agent systems in signed networks AIMS MATHEMATICS, 2022, 7 (04): : 5499 - 5526
- [48] Event-trigged Control for Discrete-time Multi-agent Networks 2013 9TH ASIAN CONTROL CONFERENCE (ASCC), 2013,
- [49] Agreement for Networked Multi-agent Systems with Noisy Communications PROCEEDINGS OF THE 31ST CHINESE CONTROL CONFERENCE, 2012, : 5998 - 6003
- [50] Event based guaranteed cost consensus for distributed multi-agent systems JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS, 2015, 352 (09): : 3546 - 3563