Solving Diagnosability of Hybrid Systems via Abstraction and Discrete Event Techniques

Autor: Vicenç Puig, Alban Grastien, Louise Travé-Massuyès
Přispěvatelé: Universitat Politècnica de Catalunya. Departament d'Enginyeria de Sistemes, Automàtica i Informàtica Industrial, Universitat Politècnica de Catalunya. SAC - Sistemes Avançats de Control, National ICT Australia [Sydney] (NICTA), Équipe DIagnostic, Supervision et COnduite (LAAS-DISCO), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, SAC - Advanced Control Systems Group, Universitat Politècnica de Catalunya [Barcelona] (UPC), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)
Rok vydání: 2017
Předmět:
030213 general clinical medicine
0209 industrial biotechnology
Hybrid systems
Informàtica::Automàtica i control [Àrees temàtiques de la UPC]
hybrid systems discrete event systems
02 engineering and technology
Diagnosability
Invariant sets
[INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Event model
Set (abstract data type)
03 medical and health sciences
020901 industrial engineering & automation
0302 clinical medicine
Informàtica [Àrees temàtiques de la UPC]
[INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering
Sistemes híbrids
Anàlisi de sistemes
Sistemes de temps discret
Mathematics
Abstraction (linguistics)
Event (probability theory)
Automatic control
Discrete event system
Continuous modelling
16. Peace & justice
Control automàtic
Discrete event systems DES
Control and Systems Engineering
Hybrid system
Discrete-time systems
discrete event systems
Algorithm
Counterexample
Zdroj: Recercat. Dipósit de la Recerca de Catalunya
instname
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
20th IFAC World Congress
20th IFAC World Congress, Jul 2017, Toulouse, France. pp.5023-5028, ⟨10.1016/j.ifacol.2017.08.911⟩
ISSN: 2405-8963
DOI: 10.1016/j.ifacol.2017.08.911
Popis: International audience; This 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.
Databáze: OpenAIRE
Externí odkaz: