@inproceedings{AsarianMalerPnueliSifakis:SSSC:1998,
    Abstract = {In this work we tackle the following problem: given a timed automaton, restrict its transition relation in a systematic way so that all the remaining behaviors satisfy certain properties. This is an extension of the problem of controller synthesis for discrete event dynamical systems, where in addition to choosing among actions, the controller have the option of doing nothing and let the time pass. The problem is formulated using the notion of a real-time game, and a winning strategy is constructed as a fixed-point of an operator on the space of states and clock configurations.},
    Author = {Asarin, Eugene and Maler, Oded and Pnueli, Amir and Sifakis, Joseph},
    BookTitle = {Proc. of SSSC'98},
    File = {Controller Synthesis for Timed Automata - a - a - a - d.pdf},
    ISSN = {1474-6670},
    Journal = {IFAC Proceedings Volumes},
    Keywords = {timed automata and synthesis of timed systems},
    Number = {18},
    Pages = {447--452},
    Series = {5th IFAC Conference on System Structure and Control},
    Title = {Controller Synthesis for Timed Automata},
    URL = {http://www.sciencedirect.com/science/article/pii/S1474667017420325},
    Volume = {31},
    Year = {1998},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S1474667017420325},
    bdsk-url-2 = {https://doi.org/10.1016/S1474-6670(17)42032-5},
    date-added = {2019-02-22 08:40:09 +0100},
    date-modified = {2020-02-06 11:40:29 +0100},
    doi = {10.1016/S1474-6670(17)42032-5}
}

@inproceedings{AsarianMalerPnueliSifakis:SSSC:1998, Abstract = {In this work we tackle the following problem: given a timed automaton, restrict its transition relation in a systematic way so that all the remaining behaviors satisfy certain properties. This is an extension of the problem of controller synthesis for discrete event dynamical systems, where in addition to choosing among actions, the controller have the option of doing nothing and let the time pass. The problem is formulated using the notion of a real-time game, and a winning strategy is constructed as a fixed-point of an operator on the space of states and clock configurations.}, Author = {Asarin, Eugene and Maler, Oded and Pnueli, Amir and Sifakis, Joseph}, BookTitle = {Proc. of SSSC'98}, File = {Controller Synthesis for Timed Automata - a - a - a - d.pdf}, ISSN = {1474-6670}, Journal = {IFAC Proceedings Volumes}, Keywords = {timed automata and synthesis of timed systems}, Number = {18}, Pages = {447--452}, Series = {5th IFAC Conference on System Structure and Control}, Title = {Controller Synthesis for Timed Automata}, URL = {http://www.sciencedirect.com/science/article/pii/S1474667017420325}, Volume = {31}, Year = {1998}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S1474667017420325}, bdsk-url-2 = {https://doi.org/10.1016/S1474-6670(17)42032-5}, date-added = {2019-02-22 08:40:09 +0100}, date-modified = {2020-02-06 11:40:29 +0100}, doi = {10.1016/S1474-6670(17)42032-5} }