Compositional analysis for linear control systems

The complexity of physical and engineering systems, both in terms of the governing physical phenomena and the number of subprocesses involved, is mirrored in ever more complex mathematical models. While the demand for precise models is indisputable, the analysis of such system models remains challenging. Adopting techniques from computer science makes available a framework for compositional analysis of interconnected control systems. Simulation relations relate process models with their specifications thus checking whether the derived model behaves as desired. Based on that, compositional and assume-guarantee reasoning rules decompose the actual verification task into several subtasks that can be checked with less computational effort. Thus, modularly composed system models can be treated with modular analysis techniques. In this paper, we want to give an overview of how these concepts can be applied to analyze linear continuous-time systems (LTI). Motivated by the underlying physi...

• Type: Conference
• Year: 2010
• Where: HYBRID
• Authors: Florian Kerber, Arjan van der Schaft
• Keywords: Analysis Techniques, Assume-guarantee Reasoning, Compositional Analysis, HYBRID 2010, Hybrid Systems