@inproceedings{3c8e20f318674c4a9fe499b320940908,
title = "Modular analysis of discrete controllers for distributed hybrid systems",
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.",
keywords = "Abstraction, Assumption/Commitment, Discrete controllers, Model checking, Verification",
author = "Goran Frehse and Olaf Stursberg and Sebastian Engell and Ralf Huuck and Ben Lukoschus",
note = "Publisher Copyright: Copyright {\textcopyright} 2002 IFAC.; 15th World Congress of the International Federation of Automatic Control, 2002 ; Conference date: 21-07-2002 Through 26-07-2002",
year = "2002",
month = jan,
day = "1",
doi = "10.3182/20020721-6-es-1901.00566",
language = "English",
isbn = "9783902661746",
series = "IFAC Proceedings Volumes (IFAC-PapersOnline)",
publisher = "IFAC Secretariat",
number = "1",
pages = "469--474",
editor = "Gabriel Ferrate and Camacho, \{Eduardo F.\} and Luis Basanez and \{de la Puente\}, \{Juan. A.\}",
booktitle = "IFAC Proceedings Volumes (IFAC-PapersOnline)",
edition = "1",
}