Skip to Main Content
In this paper, we present extensions of the framework of the μ-calculus which allow us to handle in a very generic and extensible way many control problems. The fundamental new tool is a division operator, and two new modalities are given as examples which allow us to handle observability and distinguishability. Furthermore, all this gives rise to a method for the synthesis of controllers which is implemented in a tool presented here.
Date of Conference: 12-15 Dec. 2005