Towards timed automata and multi-agent systems

Authors:
G. Hutzler;H. Klaudel;D. Y. Wang
Affiliations:
LaMI, UMR 8042, Universit d'Evry-Val d'Essonne/CNRS, Evry, France;LaMI, UMR 8042, Universit d'Evry-Val d'Essonne/CNRS, Evry, France;LaMI, UMR 8042, Universit d'Evry-Val d'Essonne/CNRS, Evry, France
Venue:
FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
Year:
2004

Citing 9
Cited 4

Statecharts: A visual formalism for complex systems

Science of Computer Programming
Strategies for real-time system specification

Strategies for real-time system specification
The temporal logic of reactive and concurrent systems

The temporal logic of reactive and concurrent systems
A theory of timed automata

Theoretical Computer Science
Real-Time CORBA

IEEE Transactions on Parallel and Distributed Systems
Real-Time UML: Developing Efficient Objects for Embedded Systems

Real-Time UML: Developing Efficient Objects for Embedded Systems
Multiagent systems specification by UML statecharts aiming at intelligent manufacturing

Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Structured Development for Real-Time Systems

Structured Development for Real-Time Systems
Designing Organized Agents for Cooperation with Real Time Constaints

CRW '98 Proceedings of the First International Workshop on Collective Robotics

Multi-agent systems: modeling and verification using hybrid automata

ProMAS'09 Proceedings of the 7th international conference on Programming multi-agent systems
An interactive virtual guide for the AR based visit of archaeological sites

Journal of Visual Languages and Computing
MAS: qualitative and quantitative reasoning

ProMAS'11 Proceedings of the 9th international conference on Programming Multi-Agent Systems
Modeling a risk detection system for elderly's home-care with a network of timed automata

IWAAL'12 Proceedings of the 4th international conference on Ambient Assisted Living and Home Care

Quantified Score

Hi-index	0.00

Visualization

Abstract

The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of temporal constraints) criteria. In this paper, we propose a global approach for the design of adaptive reactive systems, i.e., systems that dynamically adapt their architecture depending on the context. We use the timed automata formalism for the design of the agents' behavior. This allows evaluating beforehand the properties of the system (regarding logical correctness and timeliness), thanks to model-checking and simulation techniques. This model is enhanced with tools that we developed for the automatic generation of code, allowing to produce very quickly a running multi-agent prototype satisfying the properties of the model.