Compositional Synthesis and Most General Controllers

Datum

22.02.2013

Zeit

09:30 - 10:30

Sprecher

Dipl.-Inf. Joachim Klein

Sprache

en

Hauptthema

Informatik

Andere Themen

Informatik

Beschreibung

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.

Letztmalig verändert: 22.02.2013, 08:41:06