Sciweavers

131

Voted

CDC
2009
IEEE

147views Control Systems» more CDC 2009»

A probabilistic approach for control of a stochastic system from LTL specifications

15 years 1 months ago

We consider the problem of controlling a continuous-time linear stochastic system from a specification given as a Linear Temporal Logic (LTL) formula over a set of linear predicate...

Morteza Lahijanian, Sean B. Andersson, Calin Belta

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers