Use of Timed Automata Models in the Design of Real-time Control Network Elements.

Margaret Naughton Donal Heffernan Gabriel Leen

Published in: ETFA (2006)

Keyphrases

real time control
control system
real time
design process
network design
flexible manufacturing systems
user interface
fully connected
probabilistic model
model checking
metamodel
network topologies