Login / Signup
Extracting finite state representations from recurrent models of Industrial Cyber Physical Systems.
Alessandro Brusaferri
Matteo Matteucci
Stefano Spinelli
Andrea Vitali
Published in:
CoDIT (2020)
Keyphrases
</>
finite state
markov chain
continuous time bayesian networks
model checking
markov decision processes
learning algorithm
decision makers
information systems
probabilistic model
computer systems
intrusion detection
optimal policy
cyber physical systems
finite state transducers