Attributes | Values |
---|
rdf:type
| |
Description
| - Obtaining initial conditions and parameterizations leading to a model consistent with available measurements or safety specifications is important for many applications. Examples include model (in-)validation, prediction, fault diagnosis, and controller design. We present an approach to determine inner- and outer-approximations of the set containing all consistent initial conditions/parameterizations for nonlinear (polynomial) continuous-time systems. These approximations are found by occupation measures that encode the system dynamics and measurements, and give rise to an infinitedimensional linear program. We exploit the flexibility and linearity of the decision problem to incorporate unknown-butbounded and pointwise-in-time state and output constraints, a feature which was not addressed in previous works. The infinitedimensional linear program is relaxed by a hierarchy of LMI problems that provide certificates in case no consistent initial condition/parameterization exists. Furthermore, the applied LMI relaxation guarantees that the approximations converge (almost uniformly) to the true consistent set. We illustrate the approach with a biochemical reaction network involving unknown initial conditions and parameters.
- Obtaining initial conditions and parameterizations leading to a model consistent with available measurements or safety specifications is important for many applications. Examples include model (in-)validation, prediction, fault diagnosis, and controller design. We present an approach to determine inner- and outer-approximations of the set containing all consistent initial conditions/parameterizations for nonlinear (polynomial) continuous-time systems. These approximations are found by occupation measures that encode the system dynamics and measurements, and give rise to an infinitedimensional linear program. We exploit the flexibility and linearity of the decision problem to incorporate unknown-butbounded and pointwise-in-time state and output constraints, a feature which was not addressed in previous works. The infinitedimensional linear program is relaxed by a hierarchy of LMI problems that provide certificates in case no consistent initial condition/parameterization exists. Furthermore, the applied LMI relaxation guarantees that the approximations converge (almost uniformly) to the true consistent set. We illustrate the approach with a biochemical reaction network involving unknown initial conditions and parameters. (en)
|
Title
| - Estimation of Consistent Parameter Sets for Continuous-time Nonlinear Systems Using Occupation Measures and LMI Relaxations
- Estimation of Consistent Parameter Sets for Continuous-time Nonlinear Systems Using Occupation Measures and LMI Relaxations (en)
|
skos:prefLabel
| - Estimation of Consistent Parameter Sets for Continuous-time Nonlinear Systems Using Occupation Measures and LMI Relaxations
- Estimation of Consistent Parameter Sets for Continuous-time Nonlinear Systems Using Occupation Measures and LMI Relaxations (en)
|
skos:notation
| - RIV/68407700:21230/13:00211486!RIV15-GA0-21230___
|
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| |
http://linked.open...vai/riv/dodaniDat
| |
http://linked.open...aciTvurceVysledku
| |
http://linked.open.../riv/druhVysledku
| |
http://linked.open...iv/duvernostUdaju
| |
http://linked.open...titaPredkladatele
| |
http://linked.open...dnocenehoVysledku
| |
http://linked.open...ai/riv/idVysledku
| - RIV/68407700:21230/13:00211486
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - Polynomial systems; nonlinear systems; linear matrix inequalities (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...v/mistoKonaniAkce
| |
http://linked.open...i/riv/mistoVydani
| |
http://linked.open...i/riv/nazevZdroje
| - Proceedings of the 52nd IEEE Conference on Decision and Control
|
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...vavai/riv/projekt
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...iv/tvurceVysledku
| - Henrion, Didier
- Findeisen, R.
- Rumschinski, P.
- Streif, S.
|
http://linked.open...vavai/riv/typAkce
| |
http://linked.open.../riv/zahajeniAkce
| |
issn
| |
number of pages
| |
http://bibframe.org/vocab/doi
| |
http://purl.org/ne...btex#hasPublisher
| |
https://schema.org/isbn
| |
http://localhost/t...ganizacniJednotka
| |