Augusto Burgueno and Vlad Rusu. Task-system analysis using slope-parametric hybrid automata.In European Conference on Parallelism (EuroPar'97), Passau (Germany), pp 1262-1273,1997, LNCS 1300, distinguished paper.
Abstract
Slope-paramatric hybrid automata (SPHA) are hybrid automata whose
variables can have paramatric slopes. SPHA are useful, in particular, for
modeling task-control systems in which the task speeds can be adjusted for
meeting some safety requirement. In this paper, we present an example of
parametric analysis
for a simple task system. We introduce a prototype verification tool that fully
automates the analysis.
Full postscript text.