Control and verification of high-dimensional systems with DSOS and SDSOS programming.
Anirudha MajumdarAmir Ali AhmadiRuss TedrakePublished in: CDC (2014)
Keyphrases
- high dimensional
- neural network
- distributed systems
- asynchronous circuits
- data acquisition
- intelligent systems
- management system
- control system
- expert systems
- data points
- database
- case study
- knowledge based systems
- complex systems
- knowledge base
- metric space
- object oriented programming
- formal methods
- information systems
- operating environment