Formal analysis of critical infrastructures by structural identification using constraint programming paradigm

Usman Rauf; Timothy Kernicky; Matthew J. Whelan; Ehab Al-Shaer

doi:10.1007/978-3-319-15248-6_27

Formal analysis of critical infrastructures by structural identification using constraint programming paradigm

Usman Rauf, Timothy Kernicky, Matthew J. Whelan^*, Ehab Al-Shaer

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

1 Scopus citations

Abstract

Structural identification of civil infrastructures, using measured modal properties, remains a promising research field with many applications in performance-based civil engineering and structural health monitoring. In particular, either computationally swift or direct methods for identifying structural models from partially described and incomplete modal parameter estimates are of foremost interest to facilitate near real-time and reliable structural performance assessment and diagnostics. This paper proposes modeling structural systems as Constraint Satisfaction Problems (CSPs) for structural identification to solve for uncertain parameters in structural models. Consistent with measurement data, modal parameter estimates are treated as truncated both in terms of the number of modes measured and the number of measured degrees of freedom relative to the analytical model, which yields a challenging nonlinear inverse eigenvalue problem. Using nonlinear constraints and parameter bounds, the Constraint Programming approach is demonstrated to be capable of properly reconstructing estimates of both uncertain structural parameters and unmeasured modal parameters for a truss model with only a limited number of measured degrees of freedom.

Original language	English
Title of host publication	Dynamics of Civil Structures - Proceedings of the 33rd IMAC, A Conference and Exposition on Structural Dynamics, 2015
Editors	Shamim Pakzad, Juan Caicedo
Publisher	Springer New York LLC
Pages	255-263
Number of pages	9
ISBN (Print)	9783319152479
DOIs	https://doi.org/10.1007/978-3-319-15248-6_27
State	Published - 2015
Externally published	Yes
Event	33rd IMAC, Conference and Exposition on Balancing Simulation and Testing, 2015 - Orlando, United States Duration: 2 Feb 2015 → 5 Feb 2015

Publication series

Name	Conference Proceedings of the Society for Experimental Mechanics Series
Volume	2
ISSN (Print)	2191-5644
ISSN (Electronic)	2191-5652

Conference

Conference	33rd IMAC, Conference and Exposition on Balancing Simulation and Testing, 2015
Country/Territory	United States
City	Orlando
Period	2/02/15 → 5/02/15

Bibliographical note

Publisher Copyright:
© The Society for Experimental Mechanics, Inc. 2015.

Keywords

Constraint programming
Constraint satisfaction problem
Finite element model updating
Structural health monitoring
Structural identification

ASJC Scopus subject areas

General Engineering
Computational Mechanics
Mechanical Engineering

Access to Document

10.1007/978-3-319-15248-6_27

Cite this

Rauf, U., Kernicky, T., Whelan, M. J., & Al-Shaer, E. (2015). Formal analysis of critical infrastructures by structural identification using constraint programming paradigm. In S. Pakzad, & J. Caicedo (Eds.), Dynamics of Civil Structures - Proceedings of the 33rd IMAC, A Conference and Exposition on Structural Dynamics, 2015 (pp. 255-263). (Conference Proceedings of the Society for Experimental Mechanics Series; Vol. 2). Springer New York LLC. https://doi.org/10.1007/978-3-319-15248-6_27

Rauf, Usman ; Kernicky, Timothy ; Whelan, Matthew J. et al. / Formal analysis of critical infrastructures by structural identification using constraint programming paradigm. Dynamics of Civil Structures - Proceedings of the 33rd IMAC, A Conference and Exposition on Structural Dynamics, 2015. editor / Shamim Pakzad ; Juan Caicedo. Springer New York LLC, 2015. pp. 255-263 (Conference Proceedings of the Society for Experimental Mechanics Series).

@inproceedings{49de5e68c99943ccb23b3a610ca7fea0,

title = "Formal analysis of critical infrastructures by structural identification using constraint programming paradigm",

abstract = "Structural identification of civil infrastructures, using measured modal properties, remains a promising research field with many applications in performance-based civil engineering and structural health monitoring. In particular, either computationally swift or direct methods for identifying structural models from partially described and incomplete modal parameter estimates are of foremost interest to facilitate near real-time and reliable structural performance assessment and diagnostics. This paper proposes modeling structural systems as Constraint Satisfaction Problems (CSPs) for structural identification to solve for uncertain parameters in structural models. Consistent with measurement data, modal parameter estimates are treated as truncated both in terms of the number of modes measured and the number of measured degrees of freedom relative to the analytical model, which yields a challenging nonlinear inverse eigenvalue problem. Using nonlinear constraints and parameter bounds, the Constraint Programming approach is demonstrated to be capable of properly reconstructing estimates of both uncertain structural parameters and unmeasured modal parameters for a truss model with only a limited number of measured degrees of freedom.",

keywords = "Constraint programming, Constraint satisfaction problem, Finite element model updating, Structural health monitoring, Structural identification",

author = "Usman Rauf and Timothy Kernicky and Whelan, \{Matthew J.\} and Ehab Al-Shaer",

note = "Publisher Copyright: {\textcopyright} The Society for Experimental Mechanics, Inc. 2015.; 33rd IMAC, Conference and Exposition on Balancing Simulation and Testing, 2015 ; Conference date: 02-02-2015 Through 05-02-2015",

year = "2015",

doi = "10.1007/978-3-319-15248-6\_27",

language = "English",

isbn = "9783319152479",

series = "Conference Proceedings of the Society for Experimental Mechanics Series",

publisher = "Springer New York LLC",

pages = "255--263",

editor = "Shamim Pakzad and Juan Caicedo",

booktitle = "Dynamics of Civil Structures - Proceedings of the 33rd IMAC, A Conference and Exposition on Structural Dynamics, 2015",

}

Rauf, U, Kernicky, T, Whelan, MJ & Al-Shaer, E 2015, Formal analysis of critical infrastructures by structural identification using constraint programming paradigm. in S Pakzad & J Caicedo (eds), Dynamics of Civil Structures - Proceedings of the 33rd IMAC, A Conference and Exposition on Structural Dynamics, 2015. Conference Proceedings of the Society for Experimental Mechanics Series, vol. 2, Springer New York LLC, pp. 255-263, 33rd IMAC, Conference and Exposition on Balancing Simulation and Testing, 2015, Orlando, United States, 2/02/15. https://doi.org/10.1007/978-3-319-15248-6_27

Formal analysis of critical infrastructures by structural identification using constraint programming paradigm. / Rauf, Usman; Kernicky, Timothy; Whelan, Matthew J. et al.
Dynamics of Civil Structures - Proceedings of the 33rd IMAC, A Conference and Exposition on Structural Dynamics, 2015. ed. / Shamim Pakzad; Juan Caicedo. Springer New York LLC, 2015. p. 255-263 (Conference Proceedings of the Society for Experimental Mechanics Series; Vol. 2).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Formal analysis of critical infrastructures by structural identification using constraint programming paradigm

AU - Rauf, Usman

AU - Kernicky, Timothy

AU - Whelan, Matthew J.

AU - Al-Shaer, Ehab

N1 - Publisher Copyright: © The Society for Experimental Mechanics, Inc. 2015.

PY - 2015

Y1 - 2015

N2 - Structural identification of civil infrastructures, using measured modal properties, remains a promising research field with many applications in performance-based civil engineering and structural health monitoring. In particular, either computationally swift or direct methods for identifying structural models from partially described and incomplete modal parameter estimates are of foremost interest to facilitate near real-time and reliable structural performance assessment and diagnostics. This paper proposes modeling structural systems as Constraint Satisfaction Problems (CSPs) for structural identification to solve for uncertain parameters in structural models. Consistent with measurement data, modal parameter estimates are treated as truncated both in terms of the number of modes measured and the number of measured degrees of freedom relative to the analytical model, which yields a challenging nonlinear inverse eigenvalue problem. Using nonlinear constraints and parameter bounds, the Constraint Programming approach is demonstrated to be capable of properly reconstructing estimates of both uncertain structural parameters and unmeasured modal parameters for a truss model with only a limited number of measured degrees of freedom.

AB - Structural identification of civil infrastructures, using measured modal properties, remains a promising research field with many applications in performance-based civil engineering and structural health monitoring. In particular, either computationally swift or direct methods for identifying structural models from partially described and incomplete modal parameter estimates are of foremost interest to facilitate near real-time and reliable structural performance assessment and diagnostics. This paper proposes modeling structural systems as Constraint Satisfaction Problems (CSPs) for structural identification to solve for uncertain parameters in structural models. Consistent with measurement data, modal parameter estimates are treated as truncated both in terms of the number of modes measured and the number of measured degrees of freedom relative to the analytical model, which yields a challenging nonlinear inverse eigenvalue problem. Using nonlinear constraints and parameter bounds, the Constraint Programming approach is demonstrated to be capable of properly reconstructing estimates of both uncertain structural parameters and unmeasured modal parameters for a truss model with only a limited number of measured degrees of freedom.

KW - Constraint programming

KW - Constraint satisfaction problem

KW - Finite element model updating

KW - Structural health monitoring

KW - Structural identification

UR - https://www.scopus.com/pages/publications/84945937069

U2 - 10.1007/978-3-319-15248-6_27

DO - 10.1007/978-3-319-15248-6_27

M3 - Conference contribution

AN - SCOPUS:84945937069

SN - 9783319152479

T3 - Conference Proceedings of the Society for Experimental Mechanics Series

SP - 255

EP - 263

BT - Dynamics of Civil Structures - Proceedings of the 33rd IMAC, A Conference and Exposition on Structural Dynamics, 2015

A2 - Pakzad, Shamim

A2 - Caicedo, Juan

PB - Springer New York LLC

T2 - 33rd IMAC, Conference and Exposition on Balancing Simulation and Testing, 2015

Y2 - 2 February 2015 through 5 February 2015

ER -

Rauf U, Kernicky T, Whelan MJ, Al-Shaer E. Formal analysis of critical infrastructures by structural identification using constraint programming paradigm. In Pakzad S, Caicedo J, editors, Dynamics of Civil Structures - Proceedings of the 33rd IMAC, A Conference and Exposition on Structural Dynamics, 2015. Springer New York LLC. 2015. p. 255-263. (Conference Proceedings of the Society for Experimental Mechanics Series). doi: 10.1007/978-3-319-15248-6_27

Formal analysis of critical infrastructures by structural identification using constraint programming paradigm

Abstract

Publication series

Conference

Bibliographical note

Keywords

ASJC Scopus subject areas

Access to Document

Fingerprint

Cite this