1
Published 2002
Springer Berlin Heidelberg
Table of Contents: ... -- Control of Switched Hybrid Systems Based on Disjunctive Formulations -- Composing Abstractions of Hybrid...