@InProceedings{   DsouzaMadhusudan:STACS:2002,
  Author        = "D'Souza, Deepak and Madhusudan, P.",
  Editor        = "Alt, Helmut and Ferreira, Afonso",
  Abstract      = "We study the problem of control synthesis for a timed plant and an external timed specification, modelled as timed automata. Our main result is that the problem is decidable when we are given a priori the resources for the controller (the number of clocks, observational power of clocks, etc.) and when the specification is an $\omega$-regular timed language describing undesired behaviours. We also show that for deterministic specifications, if there is a controller at all, then there is one which uses the combined resources of the plant and specification. The decidability of other related problems is also investigated.",
  Address       = "Berlin, Heidelberg",
  BookTitle     = "Proc. of STACS'02",
  date-added    = "2020-01-09 20:17:25 +0100",
  date-modified = "2020-01-29 12:57:06 +0100",
  ISBN          = "978-3-540-45841-8",
  Pages         = "571--582",
  Publisher     = "Springer Berlin Heidelberg",
  Title         = "Timed Control Synthesis for External Specifications",
  Year          = "2002",
  File          = "Timed Control Synthesis for External Specifications - a - a - i.pdf"
}

@InProceedings{ DsouzaMadhusudan:STACS:2002, Author = "D'Souza, Deepak and Madhusudan, P.", Editor = "Alt, Helmut and Ferreira, Afonso", Abstract = "We study the problem of control synthesis for a timed plant and an external timed specification, modelled as timed automata. Our main result is that the problem is decidable when we are given a priori the resources for the controller (the number of clocks, observational power of clocks, etc.) and when the specification is an $\omega$-regular timed language describing undesired behaviours. We also show that for deterministic specifications, if there is a controller at all, then there is one which uses the combined resources of the plant and specification. The decidability of other related problems is also investigated.", Address = "Berlin, Heidelberg", BookTitle = "Proc. of STACS'02", date-added = "2020-01-09 20:17:25 +0100", date-modified = "2020-01-29 12:57:06 +0100", ISBN = "978-3-540-45841-8", Pages = "571--582", Publisher = "Springer Berlin Heidelberg", Title = "Timed Control Synthesis for External Specifications", Year = "2002", File = "Timed Control Synthesis for External Specifications - a - a - i.pdf" }