I just finished presenting my recent paper on stochastic verification at RSS
2011. There is a conference version online
[http://www.roboticsproceedings.org/rss07/p41.html], with a journal article to
come later.

Last time I talked about linear control, I presented a Linear Quadratic
Regulator as a general purpose hammer for solving linear control problems. In
this post I'm going to explain why

My last few posts have been rather abstract. I thought I'd use this one to go
into some details about the actual system we're working with.
As I mentioned

The purpose of this post is to introduce you to some of the basics of control
theory and to introduce the Linear-Quadratic Regulator
[http://en.wikipedia.org/wiki/Linear-quadratic_regulator], an extremely good