DMCA
Modular analysis of discrete controllers for distributed hybrid systems (2002)
| Venue: | IN: IFAC WORLD CONGRESS |
| Citations: | 5 - 2 self |
BibTeX
@INPROCEEDINGS{Frehse02modularanalysis,
author = {Goran Frehse and Olaf Stursberg and Sebastian Engell and Ralf Huuck and Ben Lukoschus},
title = {Modular analysis of discrete controllers for distributed hybrid systems},
booktitle = {IN: IFAC WORLD CONGRESS},
year = {2002},
publisher = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
The algorithmic analysis of control systems for large and distributed hybrid systems is considerably restricted by its computational complexity. In order to enable the verification of discrete controllers for such hybrid systems, this contribution proposes an approach that combines decomposition, model checking and deduction. The system under examination is first decomposed into a set of modules represented by communicating linear hybrid automata. The Assumption/Commitment method is used to to prove properties of coupled modules and to derive conclusions about the behavior of the entire system. The individual Assumption/Commitment-pairs are proven using established methods for model checking.
