Abstraction-based control synthesis using partial information
dc.rights.license | open | en_US |
hal.structure.identifier | Laboratoire de l'intégration, du matériau au système [IMS] | |
dc.contributor.author | APAZA-PEREZ, W. A. | |
hal.structure.identifier | Laboratoire de l'intégration, du matériau au système [IMS] | |
dc.contributor.author | COMBASTEL, C. | |
hal.structure.identifier | Laboratoire Bordelais de Recherche en Informatique [LaBRI] | |
dc.contributor.author | WALUKIEWICZ, I. | |
hal.structure.identifier | Laboratoire Bordelais de Recherche en Informatique [LaBRI] | |
dc.contributor.author | MUSCHOLL, A. | |
hal.structure.identifier | Laboratoire de l'intégration, du matériau au système [IMS] | |
dc.contributor.author | ZOLGHADRI, A. | |
dc.date.accessioned | 2022-07-13T08:16:11Z | |
dc.date.available | 2022-07-13T08:16:11Z | |
dc.date.issued | 2022-01 | |
dc.identifier.issn | 0947-3580 | en_US |
dc.identifier.uri | oai:crossref.org:10.1016/j.ejcon.2021.11.001 | |
dc.identifier.uri | https://oskar-bordeaux.fr/handle/20.500.12278/140459 | |
dc.description.abstractEn | The problem studied in this paper is that of distributed controller design for interconnected systems using abstraction-based techniques. Controller synthesis for each subsystem uses local distributed sensor information from other subsystems. Such partial information in an abstraction will be characterized in terms of ranking functions which can be deemed as level sets of Lyapunov functions. An effective procedure is proposed for the computation of ranking functions in the case of reach and stay specifications. A step-by-step algorithmic procedure implementing the proposed approach is presented for controller synthesis based on partial information. A numerical example is provided to illustrate the implementation. | |
dc.description.sponsorship | Initiative d'excellence de l'Université de Bordeaux - ANR-10-IDEX-0003 | en_US |
dc.language.iso | EN | en_US |
dc.source | crossref | |
dc.subject.en | Control system synthesis | |
dc.subject.en | Persistency specifications | |
dc.subject.en | Symbolic control | |
dc.subject.en | Compositional method | |
dc.title.en | Abstraction-based control synthesis using partial information | |
dc.type | Article de revue | en_US |
dc.identifier.doi | 10.1016/j.ejcon.2021.11.001 | en_US |
dc.subject.hal | Sciences de l'ingénieur [physics]/Automatique / Robotique | en_US |
bordeaux.journal | European Journal of Control | en_US |
bordeaux.page | 214-222 | en_US |
bordeaux.volume | 63 | en_US |
bordeaux.hal.laboratories | Laboratoire d’Intégration du Matériau au Système (IMS) - UMR 5218 | en_US |
bordeaux.institution | Université de Bordeaux | en_US |
bordeaux.institution | Bordeaux INP | en_US |
bordeaux.institution | CNRS | en_US |
bordeaux.peerReviewed | oui | en_US |
bordeaux.inpress | non | en_US |
bordeaux.import.source | dissemin | |
hal.identifier | hal-03722082 | |
hal.version | 1 | |
hal.date.transferred | 2022-07-13T08:16:13Z | |
hal.export | true | |
workflow.import.source | dissemin | |
dc.rights.cc | Pas de Licence CC | en_US |
bordeaux.COinS | ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.jtitle=European%20Journal%20of%20Control&rft.date=2022-01&rft.volume=63&rft.spage=214-222&rft.epage=214-222&rft.eissn=0947-3580&rft.issn=0947-3580&rft.au=APAZA-PEREZ,%20W.%20A.&COMBASTEL,%20C.&WALUKIEWICZ,%20I.&MUSCHOLL,%20A.&ZOLGHADRI,%20A.&rft.genre=article |
Fichier(s) constituant ce document
Fichiers | Taille | Format | Vue |
---|---|---|---|
Il n'y a pas de fichiers associés à ce document. |