@inproceedings{CassezTA07,
  author    = {Franck Cassez and
               Stavros Tripakis and
               Karine Altisen},
  title     = {Sensor Minimization Problems with Static or Dynamic Observers for
               Fault Diagnosis},
  booktitle = {Seventh International Conference on Application of Concurrency to
               System Design {(ACSD} 2007), 10-13 July 2007, Bratislava, Slovak Republic},
  pages     = {90--99},
  year      = {2007},
  editor    = {Twan Basten and
               Gabriel Juh{\'{a}}s and
               Sandeep K. Shukla},
  crossref  = {DBLP:conf/acsd/2007},
  url       = {http://doi.ieeecomputersociety.org/10.1109/ACSD.2007.65},
  doi       = {10.1109/ACSD.2007.65},
  publisher = {{IEEE} Computer Society},
  year      = {2007},
  keyworfs = {fault diagnosis, automata},
  urlpaper = {papers/acsd07.pdf},
          Type = {B - International Conferences},

  urlslides = {papers/slides-acsd-07.pdf},
  abstract = {We study sensor minimization problems in the context of fault diagnosis. Fault diagnosis consists in synthesizing a diagnoser that observes a given plant and identifies faults in the plant as soon as possible after their occurrence. Existing literature on this problem has considered the case of static observers, where the set of observable events does not change during execution of the system. In this paper, we consider static as well as dynamic observers, where the observer can switch sensors on or off, thus dynamically changing the set of events it wishes to observe.}
}

{"_id":"KcLxmHrt253QKT7cj","bibbaseid":"cassez-tripakis-altisen-sensorminimizationproblemswithstaticordynamicobserversforfaultdiagnosis-2007","author_short":["Cassez, F.","Tripakis, S.","Altisen, K."],"bibdata":{"bibtype":"inproceedings","type":"B - International Conferences","author":[{"firstnames":["Franck"],"propositions":[],"lastnames":["Cassez"],"suffixes":[]},{"firstnames":["Stavros"],"propositions":[],"lastnames":["Tripakis"],"suffixes":[]},{"firstnames":["Karine"],"propositions":[],"lastnames":["Altisen"],"suffixes":[]}],"title":"Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis","booktitle":"Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 10-13 July 2007, Bratislava, Slovak Republic","pages":"90–99","year":"2007","editor":[{"firstnames":["Twan"],"propositions":[],"lastnames":["Basten"],"suffixes":[]},{"firstnames":["Gabriel"],"propositions":[],"lastnames":["Juhás"],"suffixes":[]},{"firstnames":["Sandeep","K."],"propositions":[],"lastnames":["Shukla"],"suffixes":[]}],"crossref":"DBLP:conf/acsd/2007","url":"http://doi.ieeecomputersociety.org/10.1109/ACSD.2007.65","doi":"10.1109/ACSD.2007.65","publisher":"IEEE Computer Society","keyworfs":"fault diagnosis, automata","urlpaper":"papers/acsd07.pdf","urlslides":"papers/slides-acsd-07.pdf","abstract":"We study sensor minimization problems in the context of fault diagnosis. Fault diagnosis consists in synthesizing a diagnoser that observes a given plant and identifies faults in the plant as soon as possible after their occurrence. Existing literature on this problem has considered the case of static observers, where the set of observable events does not change during execution of the system. In this paper, we consider static as well as dynamic observers, where the observer can switch sensors on or off, thus dynamically changing the set of events it wishes to observe.","bibtex":"@inproceedings{CassezTA07,\n author = {Franck Cassez and\n Stavros Tripakis and\n Karine Altisen},\n title = {Sensor Minimization Problems with Static or Dynamic Observers for\n Fault Diagnosis},\n booktitle = {Seventh International Conference on Application of Concurrency to\n System Design {(ACSD} 2007), 10-13 July 2007, Bratislava, Slovak Republic},\n pages = {90--99},\n year = {2007},\n editor = {Twan Basten and\n Gabriel Juh{\\'{a}}s and\n Sandeep K. Shukla},\n crossref = {DBLP:conf/acsd/2007},\n url = {http://doi.ieeecomputersociety.org/10.1109/ACSD.2007.65},\n doi = {10.1109/ACSD.2007.65},\n publisher = {{IEEE} Computer Society},\n year = {2007},\n keyworfs = {fault diagnosis, automata},\n urlpaper = {papers/acsd07.pdf},\n Type = {B - International Conferences},\n\n urlslides = {papers/slides-acsd-07.pdf},\n abstract = {We study sensor minimization problems in the context of fault diagnosis. Fault diagnosis consists in synthesizing a diagnoser that observes a given plant and identifies faults in the plant as soon as possible after their occurrence. Existing literature on this problem has considered the case of static observers, where the set of observable events does not change during execution of the system. In this paper, we consider static as well as dynamic observers, where the observer can switch sensors on or off, thus dynamically changing the set of events it wishes to observe.}\n}\n\n","author_short":["Cassez, F.","Tripakis, S.","Altisen, K."],"editor_short":["Basten, T.","Juhás, G.","Shukla, S. K."],"key":"CassezTA07","id":"CassezTA07","bibbaseid":"cassez-tripakis-altisen-sensorminimizationproblemswithstaticordynamicobserversforfaultdiagnosis-2007","role":"author","urls":{"Paper":"http://science.mq.edu.au/~fcassez/bib/papers/acsd07.pdf","Slides":"http://science.mq.edu.au/~fcassez/bib/papers/slides-acsd-07.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://science.mq.edu.au/~fcassez/bib/franck-bib.bib","dataSources":["8742EsvjQfyP2fYBW","qbqYFWskmoonRB43F","yYF8uwWqay28JyxZC"],"keywords":[],"search_terms":["sensor","minimization","problems","static","dynamic","observers","fault","diagnosis","cassez","tripakis","altisen"],"title":"Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis","year":2007}