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.



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.