Integer parameter synthesis for real-time systems

HIGHLIGHTS

• who: Aleksandra Jovanovic and colleagues from the France France have published the research: Integer Parameter Synthesis for Real-Time Systems, in the Journal: (JOURNAL)
• what: - the authors provide subclass of parametric timed automata (PTA) that the authors can actually and efficiently analyze and the authors argue that it retains most of the practical usefulness of PTA for the modeling of real-time systems. The authors show that the problem of the existence of parameter values such that some TCTL property satisfied PSPACE-complete. The authors therefore propose a different way of subclassing PTA: instead of . . .
  

   

  

  If you want to have access to all the content you need to log in!

  Thanks :)

  Username or E-mail:

  If you don't have an account, you can create one here.