Login / Signup
Hybrid Cyberphysical System Verification with Simplex Using Discrete Abstractions.
Stanley Bak
Ashley Greer
Sayan Mitra
Published in:
IEEE Real-Time and Embedded Technology and Applications Symposium (2010)
Keyphrases
</>
simplex algorithm
model checking
formal verification
linear programming
information systems
hybrid learning
star shaped
hybrid approaches
discrete geometry
translation invariant
continuous domains
formal methods
database
high level
image processing
artificial intelligence
machine learning
neural network