Architecture Modelling and Formal Analysis of Intelligent Multi-Agent Systems

Modern cyber-physical systems usually assume a certain degree of autonomy. Such systems, like Ambient Assisted Living systems aimed at assisting elderly people in their daily life, often need to pe ...

[1]  Luca de Alfaro,et al.  Stochastic Transition Systems , 1998, CONCUR.

[2]  Jörg P. Müller,et al.  Agent UML: A Formalism for Specifying Multiagent Software Systems , 2001, Int. J. Softw. Eng. Knowl. Eng..

[3]  He Huang,et al.  Multi-agent Cooperation: A Description Logic View , 2005, PRIMA.

[4]  Marta Z. Kwiatkowska,et al.  PRISM: Probabilistic Symbolic Model Checker , 2002, Computer Performance Evaluation / TOOLS.

[5]  Hector J. Levesque,et al.  The cognitive agents specification language and verification environment for multiagent systems , 2002, AAMAS '02.

[6]  Joseph E. Urban,et al.  An Approach to Deriving Reactive Agent Designs from Extensions to the Descartes Specification Language , 2007, Eighth International Symposium on Autonomous Decentralized Systems (ISADS'07).

[7]  Enrico Vicario,et al.  Using Temporal Logic and Model Checking in Automated Recognition of Human Activities for Ambient-Assisted Living , 2013, IEEE Transactions on Human-Machine Systems.

[8]  Gethin Norman,et al.  Model checking for probabilistic timed automata , 2012, Formal Methods in System Design.

[9]  Bengt Jonsson,et al.  A logic for reasoning about time and reliability , 1990, Formal Aspects of Computing.

[10]  Peter H. Feiler,et al.  The Architecture Analysis & Design Language (AADL): An Introduction , 2006 .

[11]  Hai-Bo Yu,et al.  A Description Logic Method of Formalizing the Specification of Multi-Agent System , 2006, 2006 International Conference on Machine Learning and Cybernetics.

[12]  Richard S. Sutton,et al.  Introduction to Reinforcement Learning , 1998 .

[13]  Flávio Oquendo.  π-ADL: an Architecture Description Language based on the higher-order typed π-calculus for specifying dynamic and mobile software architectures , 2004, SOEN.

[14]  Genaína Nunes Rodrigues,et al.  Dependability analysis in the Ambient Assisted Living Domain: An exploratory case study , 2012, J. Syst. Softw..

[15]  Juan M. Corchado,et al.  An Ambient Intelligence Based Multi-Agent System for Alzheimer Health Care , 2009, Int. J. Ambient Comput. Intell..

[16]  Adina Magda Florea,et al.  A Novel Integrated Architecture for Ambient Assisted Living Systems , 2017, 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC).

[17]  Raluca Marinescu,et al.  Assuring Intelligent Ambient Assisted Living Solutions by Statistical Model Checking , 2018, ISoLA.

[18]  Peter H. Feiler,et al.  Model-Based Engineering with AADL , 2012 .