Worst-case analysis of discrete systems based on conditional abstractions

Recently, a methodology for worst-case analysis of systems with discrete observable signals has been proposed. We extend this methodology to make use of conditional system abstractions that are valid only in some system states. We show that the response-time analysis for single-processor systems is particularly well suited for use of such abstractions. We use an example to demonstrate that significantly better response-time bounds can be obtained using conditional abstractions