Login / Signup
Sensor Graphs for Discrete Event Modeling Applied to Formal Verification of PLCs.
Tord Alenljung
Bengt Lennartson
Mona Noori Hosseini
Published in:
IEEE Trans. Control. Syst. Technol. (2012)
Keyphrases
</>
discrete event
formal verification
discrete event simulation
mathematical modeling
simulation model
dynamic systems
real time
model checker
model checking
control system
state space
data integration
hybrid systems
symbolic model checking
multiple faults