Login / Signup

Modelling and temporal evaluation of networked control systems using timed automata with guards and (max, +) algebra.

Ferhat TamssaouetSaïd Amari
Published in: Int. J. Syst. Sci. (2018)
Keyphrases
  • timed automata
  • networked control systems
  • model checking
  • feedback control
  • temporal constraints
  • theorem prover