Login / Signup

Formal analysis and control of timed automata with guards using (max, +) and (min, +) algebras.

Fatima Ait OumezianeRedouane KaraSaïd Amari
Published in: Int. J. Syst. Sci. (2020)
Keyphrases
  • formal analysis
  • timed automata
  • model checking
  • formal methods
  • control system
  • agent model
  • ban logic
  • knowledge base