Inhalt des Dokuments
Abstraction-based Hybrid Control Synthesis v2
From Fachgebiet Regelungssysteme TU Berlin
Description
Hybrid systems are characterised by the interaction of continuous and discrete-event components. Such systems are ubiquitous, and from an engineering point of view, the systematic design of hybrid control systems is of particular importance. Our research has been mostly concerned with the following specific aspects.