Login / Signup
Verifying Safety and Persistence Properties of Hybrid Systems Using Flowpipes and Continuous Invariants.
Andrew Sogokon
Paul B. Jackson
Taylor T. Johnson
Published in:
NFM (2017)
Keyphrases
</>
hybrid systems
black box
intelligent systems
artificial intelligence
meta learning
computational intelligence
soft computing
neural network
expert systems
complex systems
discrete event
fuzzy logic
knowledge acquisition
test set