Login / Signup
A direct proof of Conley's decomposition for well-posed hybrid inclusions.
Rafal Goebel
Published in:
Syst. Control. Lett. (2023)
Keyphrases
</>
hierarchical decomposition
linear logic
neural network
real world
image processing
theorem prover
theorem proving
hybrid approaches
databases
learning algorithm
case study
hidden markov models
wavelet packet
hybrid learning
decomposition methods
image decomposition