Qualitative approximate behavior composition

DOI10.1007/978-3-642-33353-8_35zbMATH Open1361.68282arXiv1207.3863OpenAlexW2117853997MaRDI QIDQ2915091FDOQ2915091

Authors: Sebastian Sardiña, Nitin Kumar Yadav 

Publication date: 21 September 2012

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Abstract: The behavior composition problem involves automatically building a controller that is able to realize a desired, but unavailable, target system (e.g., a house surveillance) by suitably coordinating a set of available components (e.g., video cameras, blinds, lamps, a vacuum cleaner, phones, etc.) Previous work has almost exclusively aimed at bringing about the desired component in its totality, which is highly unsatisfactory for unsolvable problems. In this work, we develop an approach for approximate behavior composition without departing from the classical setting, thus making the problem applicable to a much wider range of cases. Based on the notion of simulation, we characterize what a maximal controller and the "closest" implementable target module (optimal approximation) are, and show how these can be computed using ATL model checking technology for a special case. We show the uniqueness of optimal approximations, and prove their soundness and completeness with respect to their imported controllers.

Full work available at URL: https://arxiv.org/abs/1207.3863

Recommendations

• Automatic behavior composition synthesis
• The modal transition system control problem
• Compositional construction of approximate abstractions
• Compositional construction of most general controllers
• A compositional framework for controller synthesis

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42) Discrete event control/observation systems (93C65) Temporal logic (03B44)

Cites Work

• Alternating-time temporal logic
• Approximation Metrics for Discrete and Continuous Systems
• AUTOMATIC SERVICE COMPOSITION VIA SIMULATION
• Title not available (Why is that?)
• Title not available (Why is that?)
• Synthesis of Reactive(1) designs
• Title not available (Why is that?)
• Synthesis from Component Libraries
• Qualitative approximate behavior composition

Cited In (3)

• Automatic behavior composition synthesis
• Title not available (Why is that?)
• Qualitative approximate behavior composition

Uses Software

• MCMAS

This page was built for publication: Qualitative approximate behavior composition

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2915091)