Login / Signup
Model Abstraction for Discrete-Event Systems Using a SAT Solver.
Lihong Cheng
Lei Feng
Published in:
IEEE Access (2023)
Keyphrases
</>
model based diagnosis
discrete event systems
constraint programming
lower bound
mathematical model
constraint satisfaction