Frederic Boniol, Augusto Burgueno, Olivier Roux and Vlad Rusu. Analysis of Slope Parametric Hybrid Automata. In International workshop on Hybrid and Real-Time Systems (HART'97), Grenoble (France), pp 75-81,1997, LNCS 1201.

Abstract

This paper adresses the analysis of slope-paramatric hybrid automata: finding conditions on the slopes of the automaton variables, for some safety property to be verified. The problem is shown decidable in some practical situations (e.g. finding the running speeds of tasks in a real-time application, for all tasks to respect their deadlines). The resolution technique generalizes polyhedral-based symbolic analysis and it involves reasoning about polyhedra with parametric shapes.

Full postscript text.