A Runtime Verification Framework for Control System Simulation.

Selim Ciraci Jason C. Fuller Jeff A. Daily Atefe Makhmalbaf David Callahan

Published in: COMPSAC (2014)

Keyphrases

control system
main contribution
fuzzy logic
real time
mathematical model
simulation environment
databases
real world
information retrieval
artificial intelligence
information systems
model checking
simulation model