A simple proof of finite-time stabilizability of without drift systems by discontinuous feedback laws.

Published in: CDC (2013)

Keyphrases

provably correct
learning systems
intelligent systems
feedback mechanisms
data sets
continuous functions
finite number
theorem proving
theorem prover
first order logic
complex systems
distributed systems
management system
video sequences
multi agent
multiscale
case study
learning algorithm