@inproceedings{Girard:2006:ECR:2097237.2097260,
    Address = {Berlin, Heidelberg},
    Author = {Girard, Antoine and Le Guernic, Colas and Maler, Oded},
    BookTitle = {Proceedings of the 9th International Conference on Hybrid Systems: Computation and Control},
    File = {Efficient Computation of Reachable Sets of Linear Time-invariant Systems with Inputs - Girard, Le Guernic, Maler (1) (0) - a - a - c.pdf},
    ISBN = {3-540-33170-0, 978-3-540-33170-4},
    Keywords = {hybrid systems},
    Location = {Santa Barbara, CA},
    Pages = {257--271},
    Publisher = {Springer-Verlag},
    Series = {HSCC'06},
    Title = {Efficient Computation of Reachable Sets of Linear Time-invariant Systems with Inputs},
    URL = {http://dx.doi.org/10.1007/11730637\_21},
    Year = {2006},
    acmid = {2097260},
    bdsk-url-1 = {http://dx.doi.org/10.1007/11730637\_21},
    date-added = {2013-11-17 15:27:28 +0000},
    date-modified = {2013-11-17 15:33:05 +0000},
    file-2 = {Efficient Computation of Reachable Sets of Linear Time-invariant Systems with Inputs - Girard, Le Guernic, Maler (0) (0) - a - a - c.pdf},
    numpages = {15},
    doi = {10.1007/11730637_21}
}

@inproceedings{Girard:2006:ECR:2097237.2097260, Address = {Berlin, Heidelberg}, Author = {Girard, Antoine and Le Guernic, Colas and Maler, Oded}, BookTitle = {Proceedings of the 9th International Conference on Hybrid Systems: Computation and Control}, File = {Efficient Computation of Reachable Sets of Linear Time-invariant Systems with Inputs - Girard, Le Guernic, Maler (1) (0) - a - a - c.pdf}, ISBN = {3-540-33170-0, 978-3-540-33170-4}, Keywords = {hybrid systems}, Location = {Santa Barbara, CA}, Pages = {257--271}, Publisher = {Springer-Verlag}, Series = {HSCC'06}, Title = {Efficient Computation of Reachable Sets of Linear Time-invariant Systems with Inputs}, URL = {http://dx.doi.org/10.1007/11730637_21}, Year = {2006}, acmid = {2097260}, bdsk-url-1 = {http://dx.doi.org/10.1007/11730637_21}, date-added = {2013-11-17 15:27:28 +0000}, date-modified = {2013-11-17 15:33:05 +0000}, file-2 = {Efficient Computation of Reachable Sets of Linear Time-invariant Systems with Inputs - Girard, Le Guernic, Maler (0) (0) - a - a - c.pdf}, numpages = {15}, doi = {10.1007/11730637_21} }