Qualitative approximate behavior composition

DOI10.1007/978-3-642-33353-8_35MaRDI QIDQ2915091zbMATH OpenOpenAlexFDO

Authors Sebastian Sardiña, Nitin Kumar Yadav

Publication date 21 September 2012

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

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

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)

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.

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

Cites work

• scientific article; zbMATH DE number 3947944 (Why is no real title available?)
• scientific article; zbMATH DE number 4124989 (Why is no real title available?)
• scientific article; zbMATH DE number 2201583 (Why is no real title available?)
• AUTOMATIC SERVICE COMPOSITION VIA SIMULATION
• Alternating-time temporal logic
• Approximation Metrics for Discrete and Continuous Systems
• Qualitative approximate behavior composition
• Synthesis from Component Libraries
• Synthesis of Reactive(1) designs

Cited in

(3)

• Automatic behavior composition synthesis
• scientific article; zbMATH DE number 1956592 (Why is no real title available?)
• Qualitative approximate behavior composition

Describes a project that uses

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)