Show simple item record

dc.contributor.authorGrastien, Alban
dc.contributor.authorTravé-Massuyès, Louise
dc.contributor.authorPuig Cayuela, Vicenç
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament d'Enginyeria de Sistemes, Automàtica i Informàtica Industrial
dc.date.accessioned2017-11-08T13:26:25Z
dc.date.available2017-11-08T13:26:25Z
dc.date.issued2017-07-01
dc.identifier.citationGrastien, A., Travé-Massuyès, L., Puig, V. Solving Diagnosability of Hybrid Systems via Abstraction and Discrete Event Techniques. "IFAC-PapersOnLine", 1 Juliol 2017, vol. 50, núm. 1, p. 5023-5028.
dc.identifier.issn2405-8963
dc.identifier.urihttp://hdl.handle.net/2117/110149
dc.description.abstractThis paper addresses the problem of determining the diagnosability of hybrid systems by abstracting hybrid models to a discrete event setting. From the continuous model the abstraction only remembers two pieces of information: indiscernability between modes (when they are guaranteed to generate different observations) and ephemerality (when the system cannot stay forever in a given set of modes). Then, we use standard discrete event system diagnosability algorithms. The second contribution is an iterative approach to diagnosability that starts from the most abstract discrete event model of the hybrid system. If it is diagnosable, that means that the hybrid system is diagnosable. If it is not, the counterexample generated by the diagnosability procedure is analysed to refine the DES. If no refinement is found, then it can not be proved that the hybrid system is diagnosable. Otherwise, the refinement is included in the abstract DES model and the diagnosability procedure continues.
dc.format.extent6 p.
dc.language.isoeng
dc.rightsAttribution-NonCommercial-NoDerivs 3.0 Spain
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/es/
dc.subjectÀrees temàtiques de la UPC::Informàtica
dc.subject.lcshDiscrete-time systems
dc.subject.otherDiagnosability
dc.subject.otherdiscrete event systems
dc.subject.otherHybrid systems
dc.subject.otherInvariant sets
dc.titleSolving Diagnosability of Hybrid Systems via Abstraction and Discrete Event Techniques
dc.typeArticle
dc.subject.lemacSistemes de temps discret
dc.subject.lemacAnàlisi de sistemes
dc.contributor.groupUniversitat Politècnica de Catalunya. SAC - Sistemes Avançats de Control
dc.identifier.doi10.1016/j.ifacol.2017.08.911
dc.relation.publisherversionhttp://www.sciencedirect.com/science/article/pii/S2405896317313770?via%3Dihub
dc.rights.accessOpen Access
drac.iddocument21590155
dc.description.versionPostprint (published version)
upcommons.citation.authorGrastien, A., Travé-Massuyès, L., Puig, V.
upcommons.citation.publishedtrue
upcommons.citation.publicationNameIFAC-PapersOnLine
upcommons.citation.volume50
upcommons.citation.number1
upcommons.citation.startingPage5023
upcommons.citation.endingPage5028


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

Except where otherwise noted, content on this work is licensed under a Creative Commons license: Attribution-NonCommercial-NoDerivs 3.0 Spain