@article{AkTrWe:SuperHA:2018,
title = {Superposition {Principle} in {Composable} {Hybrid} {Automata}},
volume = {157},
doi = {10.3233/FI-2018-1630},
abstract = {Hybrid automata are a well-established modelling approach. The formalism is used in many real-time and control systems engineering projects, which makes model composition an increasingly relevant topic. A well-defined composition support allows concurrent engineer- ing activities and the validation of larger systems. However, many existing publications seldom consider it or make unrealistic assumptions on the model design.
The article discusses the common problems with hybrid automata composition and presents a new formalism, called linear time-invariant hybrid automata (LTI-HA), which targets specifically these issues. Our approach considers the superposition principle for flow functions, which makes it specifically useful for practical modelling purposes in the spacecraft and control domain. We compare the approach to well-known related ideas, such as hybrid I/O automata. Several proper- ties of composition, such as commutativity, are proven.},
number = {Concurrency, Specification, and Programming: Special Issue of Selected Papers of CS\&P 2016},
journal = {Fundamenta Informaticae},
author = {Jafar Akhundov and Peter Tröger and Matthias Werner},
year = {2018},
pages = {321--339},
