Control Synthesis for Partial Differential Equations from Spatio-Temporal Specifications.
Francisco PenedoHarold ParkCalin BeltaPublished in: CDC (2018)
Keyphrases
- partial differential equations
- spatio temporal
- numerical solution
- image denoising
- anisotropic diffusion
- image processing
- image enhancement
- level set
- multiscale
- numerical methods
- energy functional
- fourth order
- problems in image processing
- differential equations
- diffusion equation
- stochastic control
- image analysis
- boundary value problem
- numerical algorithms
- finite difference method
- edge detection
- feature vectors
- object recognition
- computational complexity
- ambrosio tortorelli
- nonlinear partial differential equations