Analysis of timed automata with guards in dioids algebra

Abstract : In this paper, we propose a new linear representation to model the behavior of Timed Automata with Guards (TAGs) using the formalism of dioids algebra. This linear modeling is used to define the parallel composition and properties of determinism for TAGs. The contribution is illustrated with an example of a jobshop to analyze the performances of this system.
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01326722
Contributor : Julien Niguez <>
Submitted on : Sunday, June 5, 2016 - 10:58:22 AM
Last modification on : Thursday, November 30, 2017 - 1:19:26 AM
Long-term archiving on : Tuesday, September 6, 2016 - 10:10:03 AM

File

vf.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01326722, version 1

Citation

Julien Niguez, Saïd Amari, Jean-Marc Faure. Analysis of timed automata with guards in dioids algebra. WODES 2016, 13th International Workshop on Discrete Event Systems, May 2016, Xi'an, China. ⟨hal-01326722⟩

Share

Metrics

Record views

158

Files downloads

180