Synthesis of nonlinear continuous controllers for verifiably correct high-level, reactive behaviors.
Jonathan A. DeCastroHadas Kress-GazitPublished in: Int. J. Robotics Res. (2015)
Keyphrases
- high level
- tracking control
- low level
- control system
- controller synthesis
- piecewise linear
- fuzzy pid
- nonlinear equations
- agent architecture
- human behavior
- texture synthesis
- higher level
- nonlinear systems
- behavior analysis
- discrete data
- data sets
- source code
- complementarity problems
- variable structure
- electronic commerce
- controller design
- stability analysis
- nonlinear functions
- control law
- semantic information
- low level features