Sign in
Dynamic State Machines for Formalizing Railway Control System Specifications.
Roberto Nardone
Ugo Gentile
Adriano Peron
Massimo Benerecetti
Valeria Vittorini
Stefano Marrone
Renato De Guglielmo
Nicola Mazzocca
Luigi Velardi
Published in:
FTSCS (2014)
Keyphrases
</>
state machines
control system
state machine
petri net
recurrent networks
dynamic environments
control strategy
reactive systems
low level
fuzzy logic
real time
sequence diagrams
high level
business processes
load balancing
information flow
learning algorithm