Compositional Synthesis and Most General Controllers

Date

Feb 22, 2013

Time

9:30 AM - 10:30 AM

Speaker

Dipl.-Inf. Joachim Klein

Language

en

Main Topic

Informatik

Other Topics

Informatik

Description

The goal of this thesis is the development of a general framework for the compositional synthesis of controllers for partially observable and partially controllable systems. For compositionality it is crucial that the controllers are as permissive as possible, as they have to ensure that legal choices for subsequent controllers are not ruled out prematurely. We introduce a novel notion of strategies and controllers that allows the compositional synthesis of such most general controllers and provide algorithms for their construction for omega-regular objectives. We apply our approach to the setting of exogenous coordination in the Reo and constraint automata framework and evaluate the implementation in our modeling and verification tool Vereofy. We furthermore consider aspects of the determinization of omega-automata used for objectives specified in Linear Temporal Logic and in other contexts such as probabilistic model checking.

Last modified: Feb 22, 2013, 8:41:06 AM