Safe Reachability Verification of Nonlinear Switched Systems via a Barrier Density.

Aysegül Kivilcim Özkan Karabacak Rafael Wisniewski

Published in: CDC (2019)

Keyphrases

formal methods
information systems
real time
model checking
learning systems
building blocks
knowledge based systems
management system
machine learning
search engine
image processing
face recognition
artificial intelligence
computer systems
learning algorithm
neural network
databases
density function
database