Partial-Order Reduction for Performance Analysis of Max-Plus Timed Systems

Abstract

This paper presents a partial-order reduction method for performance analysis of max-plus timed systems. Amax-plus timed system is a network of automata, where the timing behavior of deterministic system tasks (events in an automaton) is captured in (max,+) matrices. These tasks can be characterized in various formalisms like synchronous data flow, Petri… (More)

7 Figures and Tables

Topics

  • Presentations referencing similar topics