Gro¨bner bases: a computational approach to commutative algebra
Gro¨bner bases: a computational approach to commutative algebra
Parametric real-time reasoning
STOC '93 Proceedings of the twenty-fifth annual ACM symposium on Theory of computing
Theoretical Computer Science
The algorithmic analysis of hybrid systems
Theoretical Computer Science - Special issue on hybrid systems
Reachability analysis of dynamical systems having piecewise-constant derivatives
Theoretical Computer Science - Special issue on hybrid systems
Real-time system = discrete system + clock variables
Theories and experiences for real-time system development
Parametric timing analysis for real-time systems
Information and Computation
Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition
Proceedings of the 2nd GI Conference on Automata Theory and Formal Languages
Task-System Analysis Using Slope-Parametric Hybrid Automata
Euro-Par '97 Proceedings of the Third International Euro-Par Conference on Parallel Processing
HYTECH: The Cornell HYbrid TECHnology Tool
Hybrid Systems II
Analysis of Slope-Parametric Hybrid Automata
HART '97 Proceedings of the International Workshop on Hybrid and Real-Time Systems
Proceedings of the Real-Time: Theory in Practice, REX Workshop
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
A Class of Decidable Parametric Hybrid Systems
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Hi-index | 0.00 |
We address the ambitious problem of synthesizing the parameters which stand for the execution speeds in time constrained executions of a real-time system. The core of the paper is a new method based on the Gröbner bases and the so-called Cylindrical Algebraic Decomposition in order to design a simplification algorithm and a test inclusion upon sets of inequalities. The method is illustrated throughout the paper with a small example.