Filtern
Erscheinungsjahr
- 2010 (18) (entfernen)
Dokumenttyp
Schlagworte
- ontology (2)
- Annotationsmodell (1)
- Ausstellung (1)
- Authentisierung (1)
- Common Annotation Framework (1)
- Context-aware processes (1)
- Core Ontology on Multimedia (1)
- Datenschutz (1)
- Description Logic (1)
- Description Logics (1)
- Distributed process execution (1)
- E-Mail (1)
- Einchip-Computer (1)
- Forensik (1)
- Forschungsprojekt KMU 2.0 (1)
- IP-Adressen (1)
- Informatik (1)
- Innovation (1)
- Interpretierer (1)
- Knowledge Compilation (1)
- Mehrbenutzer-Annotationssystem (1)
- Mikrocontroller AVR (1)
- Model-Driven Engineering (1)
- Multimedia Metadata Ontology (1)
- Netzwerk kleiner und mittlerer Unternehmen (1)
- OWL (1)
- Ontology (1)
- POIs (1)
- Personal Key Infrastruktur (1)
- Petri net (1)
- Probability propagation nets (1)
- Process tracing (1)
- Programmierumgebung (1)
- Projekt iCity (1)
- Shared Annotation Model (1)
- Shared Annotations (1)
- Web 2.0 (1)
- Zertifikat (1)
- application programming interfaces (1)
- constraint logic programming (1)
- events (1)
- hybrid automata (1)
- iCity project (1)
- kollaboratives Lernen (1)
- mobile interaction (1)
- mobile phone (1)
- multi-agent systems (1)
- myAnnotations (1)
- points of interest (1)
- privacy protection (1)
- public key infrastructure (1)
- semantics (1)
- visualization (1)
Institut
- Fachbereich 4 (18) (entfernen)
Hybrid automata are used as standard means for the specification and analysis of dynamical systems. Several researches have approached them to formally specify reactive Multi-agent systems situated in a physical environment, where the agents react continuously to their environment. The specified systems, in turn, are formally checked with the help of existing hybrid automata verification tools. However, when dealing with multi-agent systems, two problems may be raised. The first problem is a state space problem raised due to the composition process, where the agents have to be parallel composed into an agent capturing all possible behaviors of the multi-agent system prior to the verification phase. The second problem concerns the expressiveness of verification tools when modeling and verifying certain behaviors. Therefore, this paper tackles these problems by showing how multi-agent systems, specified as hybrid automata, can be modeled and verified using constraint logic programming(CLP). In particular, a CLP framework is presented to show how the composition of multi-agent behaviors can be captured dynamically during the verification phase. This can relieve the state space complexity that may occur as a result of the composition process. Additionally, the expressiveness of the CLP model flexibly allows not only to model multi-agent systems, but also to check various properties by means of the reachability analysis. Experiments are promising to show the feasibility of our approach.