Safety Verification of Nonlinear Switched Systems via Barrier Functions and Barrier Densities.

Aysegül Kivilcim Özkan Karabacak Rafael Wisniewski

Published in: ECC (2019)

Keyphrases

management system
complex systems
asynchronous circuits
neural network
learning systems
linear systems
formal methods
genetic algorithm
learning algorithm
artificial intelligence
information systems
objective function
expert systems
intelligent systems
signature verification
safety analysis