Backstepping design for incremental stability of stochastic Hamiltonian systems.

Pushpak Jagtap Majid Zamani

Published in: CDC (2016)

Keyphrases

design issues
knowledge based systems
design criteria
interactive systems
highly modular
management system
computer systems
building blocks
complex systems
human computer interface
support systems
embedded systems
formal methods
design decisions
artificial intelligence
computer aided
case study