Neural Information Processing Systems / A B / CRC Press / / /
Facility
Computer Science Massachusetts Institute of Technology Cambridge / Mathematics Massachusetts Institute of Technology Cambridge / /
IndustryTerm
non-polynomial systems / continuous-time systems / increased computing power / this bound to dynamical systems / nonlinear stochastic hybrid systems / feedback law / binary search / time-invariant systems / control systems / time-varying systems / infinitesimal operator / nonlinear systems / stochastic nonlinear systems / line search / post-processing sum-of-squares programs / rimless wheel systems / stochastic hybrid systems / robotics applications / stochastic dynamical systems / linear systems / /
Organization
International Federation of Automatic Control / Institute of Technology Cambridge / World Congress / Massachusetts Institute of Technology / Stochastic Nonlinear Systems Jacob Steinhardt Russ Tedrake Department / /
Person
Katie Byl / Kevin Blankespoor / Marc Raibert / Stephen Prajna / Mark M. Tobenkin / Andrew Y. Ng / Christine Chevallereau / Pablo A. Parrilo / Adam Coates / Johan Lofberg / Matthew R. James / Alexander Shkolnik / Gabriel Nelson / Michael Levashov / Peter Seiler / Jos F. Sturm / Recent Advances / Antonis Papachristodoulou / Frederick J. Beutler / Rob Playter / Pieter Abbeel / Rick Cory / Benjamin Morris / Ian R. Manchester / Jun Ho Choi / Fen Wu / Eric R. Westervelt / Russ Tedrake / Morgan Quigley / Jacob Steinhardt Russ Tedrake / / /
Finite-Time Regional Verification of Stochastic Nonlinear Systems Jacob Steinhardt Russ Tedrake