Sciweavers

Share
HYBRID
2010
Springer

Compositional analysis for linear control systems

10 years 16 days ago
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...
Florian Kerber, Arjan van der Schaft
Added 18 May 2010
Updated 18 May 2010
Type Conference
Year 2010
Where HYBRID
Authors Florian Kerber, Arjan van der Schaft
Comments (0)
books