Abstract Information systems (IS) use, the dominant theoretical paradigm for explaining how
users apply IS artifacts toward goal attainment, gives primacy to human agency in the user …

Fault-tolerant cooperative control of multiagent systems has attracted ever-increasing
attention in recent years due to the fact that multiple agents can provide much more …

Large-scale multiagent reinforcement learning requires huge computation and space costs,
and the too-long execution process makes it hard to train policies for agents. This work …

摘要互联系统的容错控制是近年来控制领域的研究热点, 具有重要的理论价值和实际意义.
本文阐述了互联系统容错控制的基本结构和主要思想, 总结了带有机械互联 …

The development of accurate models for cyber-physical systems (CPSs) is hampered by the
complexity of these systems, fundamental differences in the operation of cyber and physical …

Computing is increasingly ubiquitous, with everyday items including smartphones, cars,
clothes and household appliances gaining increasingly sophisticated computing and …

We study the problem of verifying role-based multi-agent systems, where the number of
components cannot be determined at design time. We give a semantics that captures …

The overarching objective of the proposed doctoral researches to build a qualitative and
quantitative understanding of dependability in cyber physical systems (CPS). The existing …

This book presents a summary of the research achieved by Katia Potiron during her Ph. D.
Thesis defended on 14 April 2010 at the University Paris 6. This thesis was co-supervised by …

Distributed cooperative applications are now increasingly being designed as a set of
autonomous entities, named agents, which interact and coordinate (thus named a multi …