Functional sets with typed symbols: Mixed zonotopes and Polynotopes for hybrid nonlinear reachability and filtering
dc.rights.license | embargo | en_US |
hal.structure.identifier | Laboratoire de l'intégration, du matériau au système [IMS] | |
dc.contributor.author | COMBASTEL, Christophe
IDREF: 154886122 | |
dc.date.accessioned | 2022-11-08T09:07:01Z | |
dc.date.available | 2022-11-08T09:07:01Z | |
dc.date.issued | 2022-09-01 | |
dc.identifier.issn | 0005-1098 | en_US |
dc.identifier.uri | oai:crossref.org:10.1016/j.automatica.2022.110457 | |
dc.identifier.uri | https://oskar-bordeaux.fr/handle/20.500.12278/170222 | |
dc.description.abstract | Verification and synthesis of Cyber–Physical Systems (CPS) are challenging and still raise numerous issues so far. In this paper, based on a new concept of mixed sets defined as function images of symbol type domains, a compositional approach combining eager and lazy evaluations is proposed. Syntax and semantics are explicitly distinguished. Both continuous (interval) and discrete (signed, boolean) symbol types are used to model dependencies through linear and polynomial functions, so leading to mixed zonotopic and polynotopic sets. Polynotopes extend sparse polynomial zonotopes with typed symbols. Polynotopes can both propagate a mixed encoding of intervals and describe the behavior of logic gates. A functional completeness result is given, as well as an inclusion method for elementary nonlinear and switching functions. A Polynotopic Kalman Filter (PKF) is then proposed as a hybrid nonlinear extension of Zonotopic Kalman Filters (ZKF). Bridges with a stochastic uncertainty paradigm are briefly outlined. Finally, several discrete, continuous and hybrid numerical examples including comparisons illustrate the effectiveness of the theoretical results. | |
dc.language.iso | EN | en_US |
dc.source | crossref | |
dc.subject | Functional sets | |
dc.subject | Polynomial dependencies | |
dc.subject | Mixed encoding | |
dc.subject | Logic | |
dc.subject | Hybrid dynamic systems | |
dc.subject | Reachability | |
dc.subject | Robust state estimation | |
dc.subject | Kalman filters | |
dc.subject | Zonotopes | |
dc.subject | Polynotopes | |
dc.title.en | Functional sets with typed symbols: Mixed zonotopes and Polynotopes for hybrid nonlinear reachability and filtering | |
dc.type | Article de revue | en_US |
dc.identifier.doi | 10.1016/j.automatica.2022.110457 | en_US |
dc.subject.hal | Sciences de l'ingénieur [physics] | en_US |
dc.identifier.arxiv | 2009.07387 | en_US |
bordeaux.journal | Automatica | en_US |
bordeaux.page | 110457 | en_US |
bordeaux.volume | 143 | 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-03843335 | |
hal.version | 1 | |
hal.date.transferred | 2022-11-08T09:07:05Z | |
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=Automatica&rft.date=2022-09-01&rft.volume=143&rft.spage=110457&rft.epage=110457&rft.eissn=0005-1098&rft.issn=0005-1098&rft.au=COMBASTEL,%20Christophe&rft.genre=article |