@inproceedings{10.1007/3-540-45500-0_17,
    Abstract = {Hybrid automata have been introduced in both control engineering and computer science as a formal model for the dynamics of hybrid discrete-continuous systems. While computability issues concerning safety properties have been extensively studied, liveness properties have remained largely uninvestigated. In this article, we investigate decidability of state recurrence and of progress properties.},
    Address = {Berlin, Heidelberg},
    Author = {Fr{\"a}nzle, Martin},
    BookTitle = {Theoretical Aspects of Computer Software},
    Editor = {Kobayashi, Naoki and Pierce, Benjamin C.},
    File = {What Will Be Eventually True of Polynomial Hybrid Automata? - Fränzle2001\_Chapter\_WhatWillBeEventuallyTrueOfPoly - o.pdf},
    ISBN = {978-3-540-45500-4},
    Pages = {340--359},
    Publisher = {Springer Berlin Heidelberg},
    Title = {What Will Be Eventually True of Polynomial Hybrid Automata?},
    Year = {2001},
    date-added = {2021-04-29 11:38:02 +0200},
    date-modified = {2021-04-29 11:38:02 +0200},
    doi = {10.1007/3-540-45500-0_17}
}

@inproceedings{10.1007/3-540-45500-0_17, Abstract = {Hybrid automata have been introduced in both control engineering and computer science as a formal model for the dynamics of hybrid discrete-continuous systems. While computability issues concerning safety properties have been extensively studied, liveness properties have remained largely uninvestigated. In this article, we investigate decidability of state recurrence and of progress properties.}, Address = {Berlin, Heidelberg}, Author = {Fr{\"a}nzle, Martin}, BookTitle = {Theoretical Aspects of Computer Software}, Editor = {Kobayashi, Naoki and Pierce, Benjamin C.}, File = {What Will Be Eventually True of Polynomial Hybrid Automata? - Fränzle2001_Chapter_WhatWillBeEventuallyTrueOfPoly - o.pdf}, ISBN = {978-3-540-45500-4}, Pages = {340--359}, Publisher = {Springer Berlin Heidelberg}, Title = {What Will Be Eventually True of Polynomial Hybrid Automata?}, Year = {2001}, date-added = {2021-04-29 11:38:02 +0200}, date-modified = {2021-04-29 11:38:02 +0200}, doi = {10.1007/3-540-45500-0_17} }