@INPROCEEDINGS{cassez-cdc-2010,
  AUTHOR = {Franck Cassez},
  TITLE = {{Dynamic Observers for Fault Diagnosis of Timed Systems}},
  BOOKTITLE = {49th IEEE Conference on Decision and Control and 28th Chinese Control Conference},
  YEAR = {2010},
  ADDRESS = {Atlanta},
  MONTH = DEC,
  PUBLISHER = {IEEE Computer Society},
  urlpaper = {papers/cdc-2010.pdf},
  url_link = {http://arxiv.org/abs/1004.2764},
  ABSTRACT = { In this paper we extend the work on dynamic observers for
fault diagnosis  to timed automata. We
study sensor minimization problems with static observers and
then address the problem of computing the most permissive
dynamic observer for a system given by a timed automaton. },
  mywebpage = {diagnosis},
  show = {},
  keywords = {diagnosis, timed automata},
        Type = {B - International Conferences},

}

{"_id":"ZukvuLvmAMeKH3P7f","bibbaseid":"cassez-dynamicobserversforfaultdiagnosisoftimedsystems-2010","author_short":["Cassez, F."],"bibdata":{"bibtype":"inproceedings","type":"B - International Conferences","author":[{"firstnames":["Franck"],"propositions":[],"lastnames":["Cassez"],"suffixes":[]}],"title":"Dynamic Observers for Fault Diagnosis of Timed Systems","booktitle":"49th IEEE Conference on Decision and Control and 28th Chinese Control Conference","year":"2010","address":"Atlanta","month":"December","publisher":"IEEE Computer Society","urlpaper":"papers/cdc-2010.pdf","url_link":"http://arxiv.org/abs/1004.2764","abstract":"In this paper we extend the work on dynamic observers for fault diagnosis to timed automata. We study sensor minimization problems with static observers and then address the problem of computing the most permissive dynamic observer for a system given by a timed automaton. ","mywebpage":"diagnosis","show":"","keywords":"diagnosis, timed automata","bibtex":"@INPROCEEDINGS{cassez-cdc-2010,\n AUTHOR = {Franck Cassez},\n TITLE = {{Dynamic Observers for Fault Diagnosis of Timed Systems}},\n BOOKTITLE = {49th IEEE Conference on Decision and Control and 28th Chinese Control Conference},\n YEAR = {2010},\n ADDRESS = {Atlanta},\n MONTH = DEC,\n PUBLISHER = {IEEE Computer Society},\n urlpaper = {papers/cdc-2010.pdf},\n url_link = {http://arxiv.org/abs/1004.2764},\n ABSTRACT = { In this paper we extend the work on dynamic observers for\nfault diagnosis to timed automata. We\nstudy sensor minimization problems with static observers and\nthen address the problem of computing the most permissive\ndynamic observer for a system given by a timed automaton. },\n mywebpage = {diagnosis},\n show = {},\n keywords = {diagnosis, timed automata},\n Type = {B - International Conferences},\n\n}\n\n","author_short":["Cassez, F."],"key":"cassez-cdc-2010","id":"cassez-cdc-2010","bibbaseid":"cassez-dynamicobserversforfaultdiagnosisoftimedsystems-2010","role":"author","urls":{"Paper":"http://science.mq.edu.au/~fcassez/bib/papers/cdc-2010.pdf"," link":"http://arxiv.org/abs/1004.2764"},"keyword":["diagnosis","timed automata"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://science.mq.edu.au/~fcassez/bib/franck-bib.bib","dataSources":["8742EsvjQfyP2fYBW","qbqYFWskmoonRB43F","yYF8uwWqay28JyxZC"],"keywords":["diagnosis","timed automata"],"search_terms":["dynamic","observers","fault","diagnosis","timed","systems","cassez"],"title":"Dynamic Observers for Fault Diagnosis of Timed Systems","year":2010}