Abstract | ||
---|---|---|
. This paper addresses the analysis of slope-parametric hybridautomata: finding conditions on the slopes of the automaton variables,for some safety property to be verified. The problem is shown decidablein some practical situations (e.g. finding the running speeds of tasks ina real time application, for all tasks to respect their deadlines). Theresolution technique generalizes polyhedral-based symbolic analysis andit involves reasoning about polyhedra with parametric shapes.... |
Year | DOI | Venue |
---|---|---|
1997 | 10.1007/BFb0014715 | HART |
Keywords | Field | DocType |
slope-parametric hybrid automata,symbolic analysis | Automata theory,GrowCut algorithm,Computer science,Polyhedron,Automaton,Decidability,Theoretical computer science,Parametric statistics,Timed automaton,Symbolic data analysis | Conference |
Volume | ISSN | ISBN |
1201 | 0302-9743 | 3-540-62600-X |
Citations | PageRank | References |
6 | 0.46 | 7 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Frédéric Boniol | 1 | 261 | 28.16 |
Augusto Burgueño | 2 | 109 | 5.88 |
Olivier Roux | 3 | 6 | 0.46 |
Vlad Rusu | 4 | 469 | 32.44 |