Mostra el registre d'ítem simple
Solving diagnosability of hybrid systems via abstraction and discrete event techniques
dc.contributor.author | Grastien, Alban |
dc.contributor.author | Travé-Massuyès, Louise |
dc.contributor.author | Puig Cayuela, Vicenç |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament d'Enginyeria de Sistemes, Automàtica i Informàtica Industrial |
dc.date.accessioned | 2018-01-24T07:44:28Z |
dc.date.available | 2018-01-24T07:44:28Z |
dc.date.issued | 2017 |
dc.identifier.citation | Grastien, A., Travé-Massuyès, L., Puig, V. Solving diagnosability of hybrid systems via abstraction and discrete event techniques. A: World Congress of the International Federation of Automatic Control. "IFAC 2017: 20th World Congress of the International Federation of Automatic Control: Toulouse, France: July 9-14, 2017: proceedings book". Toulouse: 2017, p. 5023-5028. |
dc.identifier.uri | http://hdl.handle.net/2117/113124 |
dc.description.abstract | This paper addresses the problem of determining the diagnosability of hybrid systems by abstracting hybrid models to a discrete event ,etting. 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.extent | 6 p. |
dc.language.iso | eng |
dc.rights | Attribution-NonCommercial-NoDerivs 3.0 Spain |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Automàtica i control |
dc.subject.lcsh | Automatic control |
dc.subject.lcsh | Hybrid systems |
dc.subject.other | Diagnosability |
dc.subject.other | hybrid systems discrete event systems |
dc.subject.other | invariant sets |
dc.title | Solving diagnosability of hybrid systems via abstraction and discrete event techniques |
dc.type | Conference report |
dc.subject.lemac | Control automàtic |
dc.subject.lemac | Sistemes híbrids |
dc.contributor.group | Universitat Politècnica de Catalunya. SAC - Sistemes Avançats de Control |
dc.identifier.doi | 10.1016/j.ifacol.2017.08.911 |
dc.description.peerreviewed | Peer Reviewed |
dc.relation.publisherversion | https://www.sciencedirect.com/science/article/pii/S2405896317313770 |
dc.rights.access | Open Access |
local.identifier.drac | 21715351 |
dc.description.version | Postprint (author's final draft) |
local.citation.author | Grastien, A.; Travé-Massuyès, L.; Puig, V. |
local.citation.contributor | World Congress of the International Federation of Automatic Control |
local.citation.pubplace | Toulouse |
local.citation.publicationName | IFAC 2017: 20th World Congress of the International Federation of Automatic Control: Toulouse, France: July 9-14, 2017: proceedings book |
local.citation.startingPage | 5023 |
local.citation.endingPage | 5028 |