Parametric real-time reasoning
STOC '93 Proceedings of the twenty-fifth annual ACM symposium on Theory of computing
The algorithmic analysis of hybrid systems
Theoretical Computer Science - Special issue on hybrid systems
What's decidable about hybrid automata?
STOC '95 Proceedings of the twenty-seventh annual ACM symposium on Theory of computing
Automatic discovery of linear restraints among variables of a program
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Automatic Symbolic Verification of Embedded Systems
IEEE Transactions on Software Engineering
Task-System Analysis Using Slope-Parametric Hybrid Automata
Euro-Par '97 Proceedings of the Third International Euro-Par Conference on Parallel Processing
Verification of an Audio Control Protocol
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
Analysis of Slope-Parametric Hybrid Automata
HART '97 Proceedings of the International Workshop on Hybrid and Real-Time Systems
Concurrency and Automata on Infinite Sequences
Proceedings of the 5th GI-Conference on Theoretical Computer Science
Decidability of Hybrid Systems with Rectangular Differential Inclusion
CAV '94 Proceedings of the 6th International Conference on Computer Aided Verification
Automated Analysis of an Audio Control Protocol
Proceedings of the 7th International Conference on Computer Aided Verification
RTSS '95 Proceedings of the 16th IEEE Real-Time Systems Symposium
Proof-checking an audio control protocol with LP
Proof-checking an audio control protocol with LP
Introduction to Automata Theory, Languages, and Computation (3rd Edition)
Introduction to Automata Theory, Languages, and Computation (3rd Edition)
A Class of Decidable Parametric Hybrid Systems
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Control Synthesis of Hybrid Systems Based on Predicate Invariance
Hybrid Systems V
Quantitative robustness analysis of flat timed automata
FOSSACS'11/ETAPS'11 Proceedings of the 14th international conference on Foundations of software science and computational structures: part of the joint European conferences on theory and practice of software
| Hi-index | 0.00 |
This paper presents reduction techniques from initialized rectangular automata with slope parameters to linear hybrid automata. The translations are correctness preserving, thereby yielding semial-gorithms for the analysis of slope parameters. The automated analysis technique is used to synthesize new bounds on the independent clock drifts of processes in an audio control protocol. The emptiness problem for slope-parametric rectangular automata is proven undecidable.