Temporal Logic Control of Discrete-Time Piecewise Affine Systems

In  IEEE Transactions on Automatic Control

Details

TypeArticle
URLhttp://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber=6104370
Pages1491–1504
Volume57
Number6
> Publications > Temporal Logic Control of Discrete-Time Piecewise Affine Systems